Integrity constraints representation in Object-Oriented databases

  • A. Formica
  • M. Missikoff
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 752)


This paper presents a Data Definition Language (DDL), called TQL, based on an Object-Oriented data model characterized by the possibility of expressing integrity constraints in the schema of the database. This work originates from the need to enrich the amount of knowledge represented, declaratively, in the database schema and processed by the Database Management Systems (DBMS). The proposed approach allows the reduction of the amount of code in methods. However, by increasing the power of the DDL, the possibility of introducing errors in the schema also increases. Therefore, rich data models require enhanced checking facilities in order to support the design phase. In the paper, after having formally presented the language TQL, the notions of satisfiability and correctness of a TQL schema, which are strictly related to the notion of legal database state, are introduced. These issues are presented using a formal approach based on a denotational semantics which concerns both the structural part of the schema and the integrity constraints.


Integrity constraints Object-Oriented database database semantics Typing ISA Hierarchy 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S.Abiteboul, C.Beeri, “On the power of Languages for Manipulating Complex Objects”, International Workshop on Theory and Applications of Nested Relations and Complex Objects, Darmstadt, 1987.Google Scholar
  2. 2.
    P. Asirelli, P. Inverardi, A. Mustaro, “Improving Integrity Constraint Checking in Deductive Databases”, Lecture Notes in Computer Science 326, 72–86, ICDT'88, 1988.Google Scholar
  3. 3.
    M.Atkinson, F.Bancilhon, D.DeWitt, K.Dittrich, D.Maier, S.Zdonik, “The Object-Oriented Database System Manifesto”, Technical Report, Altair 30–89, 1989.Google Scholar
  4. 4.
    J.Banerjee, H.Chou, J.F.Garza, W.Kim, D.Woelk, N.Ballou, “Data Model Issues for Object-Oriented Applications”, Readings in Database Systems, M.Stonebraker (Ed.), Morgan Kaufmann Pub., 1988.Google Scholar
  5. 5.
    C.Beeri, “A formal approach to object-oriented databases”, Data & Knowledge Engineering 5, 353–382, North-Holland, 1990.Google Scholar
  6. 6.
    F.Bancilhon, S.Khoshafian, “A calculus for complex objects”, Proc. of ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, 1986.Google Scholar
  7. 7.
    R.J.Brachman, H.J.Levesque, “The tractability of Subsumption in Frame-Based Description Languages”, Proc. of National Conference on Artificial Intelligence-AAAI 84, 34–37, Austin, 1984.Google Scholar
  8. 8.
    E.Bertino, D.Musto, “Correctness of Semantic Integrity Checking in Database Management Systems”, Acta Informatica 26, 25–57, 1988.Google Scholar
  9. 9.
    S.Ceri, J.Widom, “Deriving Production Rules for Constraint Maintenance”, Proc. of the 16th VLDB Conference, Brisbane, Australia 1990.Google Scholar
  10. 10.
    A.Formica, M.Missikoff, “Materialization of recursive objects in Object-Oriented Databases”, Proc. of the Ninth International Symposium Applied Informatics, Innsbruck, 1991.Google Scholar
  11. 11.
    A.Formica, M.Missikoff, S.Vazzana, “An Object-Oriented Data Model for Artificial Intelligence Applications”, Next Generation Information Systems Technology, LNCS 504, Springer Verlag, 1991.Google Scholar
  12. 12.
    R.Gernert, N.Greif, “Modelling of Complex Objects and Semantic Integrity Constraints in Product Databases”, Informatik Informationem-Report No.2/1990, Berlin 1990.Google Scholar
  13. 13.
    N.Gehani, H.V.Jagadish, “Ode as an Active Database: Constraints and Triggers”, Proc. of the 17th VLDB Conference, Barcelona, Sept. 1991.Google Scholar
  14. 14.
    R.Hull, R.King, “Semantic data modeling: survey, applications and research issues”, ACM Computing Survey 19.Google Scholar
  15. 15.
    J.G.Hughes, “Object-Oriented Databases”, Prentice Hall, Cambridge, 1991.Google Scholar
  16. 16.
    R. Kowalski, F.Sadri, P.Soper, “Integrity Checking In Deductive Databases”, Proc. of the 13th VLDB Conference, 61–69, Brighton, 1987.Google Scholar
  17. 17.
    G.M.Kuper, M.Y.Vardi, “A New Approach to Database Logic”, Proc. of ACM Symposium on Principles on Database Systems, 1984.Google Scholar
  18. 18.
    C.Lecluse, P.Richard, “The O2 database programming language”, Proc. of VLDB '89 Conference, Amsterdam, 1989.Google Scholar
  19. 19.
    C.Lecluse, P.Richard, “Modeling Complex Structures in Object-Oriented Databases”, Proc. of ACM PODS Conference, 1989.Google Scholar
  20. 20.
    C.Lecluse, P.Richard, F.Velez, “O2: an Object-Oriented Data Model”, Proc. of ACM SIGMOD Conference, Chicago, 1988.Google Scholar
  21. 21.
    D.C.Tsichritzis, F.H.Lochovsky, “Data Models”, Prentice-Hall, Englewood Cliffs, 1982.Google Scholar
  22. 22.
    M.Missikoff, H.Lam, “Mosaico: A Specification and Rapid Prototyping Environment for Object-Oriented Database Applications”, Technical Note December 1992.Google Scholar
  23. 23.
    G.Moerkotte, S.Karl, “Efficient Consistency Control in Deductive Databases”, Lecture Notes in Computer Science 326, 118–128, ICDT'88, 1988.Google Scholar
  24. 24.
    A.Motro, “Integrity = Validity + Completeness”, ACM Transactions on Database Systems, Vol.14, No.4, 480–502, December 1989.Google Scholar
  25. 25.
    M.Missikoff, S.Vazzana, “OOL: an Object Oriented Language for Knowledge Representation”, Proc. of IV International Symposium on Knowledge Engineering, Barcelona, May 1990.Google Scholar
  26. 26.
    X.Qian, G.Wiederhold, “Knowledge-based Integrity Constraint Validation”, Proc. of the 12th VLDB Conference, Kyoto, Japan 1986.Google Scholar
  27. 27.
    H.J.Schek, M.H.Scholl, “The Relational Model with Relation-Valued Attributes”, Information Systems, Vol.11, No.2, 1986.Google Scholar
  28. 28.
    A.Shepherd, L.Kerschberg, “Constraint Management in Expert Database Systems”, Proc. of First Int'l Workshop on Expert Database Systems, L.Kerschberg (Ed.), Benjamin/Cummings Publ., Menlo Park, 1986.Google Scholar
  29. 29.
    S.D. Urban, L.M.L. Delcambre, “Constraint Analysis: a Design Process for Specifying Operations”, Transactions on Knowledge and Data Engineering, March 1991.Google Scholar
  30. 30.
    S.D. Urban, “ALICE: An Assertion Language for Integrity Constraint Expression”, COMPSAC Proceedings, Orlando, September 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • A. Formica
    • 1
  • M. Missikoff
    • 1
  1. 1.IASI CNRRomeItaly

Personalised recommendations