Abstract
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.
This research has been partially supported by “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of CNR, Subproject 5, Group Logidata+, and Subproject 6, Group Infokit.
Preview
Unable to display preview. Download preview PDF.
References
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.
P. Asirelli, P. Inverardi, A. Mustaro, “Improving Integrity Constraint Checking in Deductive Databases”, Lecture Notes in Computer Science 326, 72–86, ICDT'88, 1988.
M.Atkinson, F.Bancilhon, D.DeWitt, K.Dittrich, D.Maier, S.Zdonik, “The Object-Oriented Database System Manifesto”, Technical Report, Altair 30–89, 1989.
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.
C.Beeri, “A formal approach to object-oriented databases”, Data & Knowledge Engineering 5, 353–382, North-Holland, 1990.
F.Bancilhon, S.Khoshafian, “A calculus for complex objects”, Proc. of ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, 1986.
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.
E.Bertino, D.Musto, “Correctness of Semantic Integrity Checking in Database Management Systems”, Acta Informatica 26, 25–57, 1988.
S.Ceri, J.Widom, “Deriving Production Rules for Constraint Maintenance”, Proc. of the 16th VLDB Conference, Brisbane, Australia 1990.
A.Formica, M.Missikoff, “Materialization of recursive objects in Object-Oriented Databases”, Proc. of the Ninth International Symposium Applied Informatics, Innsbruck, 1991.
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.
R.Gernert, N.Greif, “Modelling of Complex Objects and Semantic Integrity Constraints in Product Databases”, Informatik Informationem-Report No.2/1990, Berlin 1990.
N.Gehani, H.V.Jagadish, “Ode as an Active Database: Constraints and Triggers”, Proc. of the 17th VLDB Conference, Barcelona, Sept. 1991.
R.Hull, R.King, “Semantic data modeling: survey, applications and research issues”, ACM Computing Survey 19.
J.G.Hughes, “Object-Oriented Databases”, Prentice Hall, Cambridge, 1991.
R. Kowalski, F.Sadri, P.Soper, “Integrity Checking In Deductive Databases”, Proc. of the 13th VLDB Conference, 61–69, Brighton, 1987.
G.M.Kuper, M.Y.Vardi, “A New Approach to Database Logic”, Proc. of ACM Symposium on Principles on Database Systems, 1984.
C.Lecluse, P.Richard, “The O2 database programming language”, Proc. of VLDB '89 Conference, Amsterdam, 1989.
C.Lecluse, P.Richard, “Modeling Complex Structures in Object-Oriented Databases”, Proc. of ACM PODS Conference, 1989.
C.Lecluse, P.Richard, F.Velez, “O2: an Object-Oriented Data Model”, Proc. of ACM SIGMOD Conference, Chicago, 1988.
D.C.Tsichritzis, F.H.Lochovsky, “Data Models”, Prentice-Hall, Englewood Cliffs, 1982.
M.Missikoff, H.Lam, “Mosaico: A Specification and Rapid Prototyping Environment for Object-Oriented Database Applications”, Technical Note December 1992.
G.Moerkotte, S.Karl, “Efficient Consistency Control in Deductive Databases”, Lecture Notes in Computer Science 326, 118–128, ICDT'88, 1988.
A.Motro, “Integrity = Validity + Completeness”, ACM Transactions on Database Systems, Vol.14, No.4, 480–502, December 1989.
M.Missikoff, S.Vazzana, “OOL: an Object Oriented Language for Knowledge Representation”, Proc. of IV International Symposium on Knowledge Engineering, Barcelona, May 1990.
X.Qian, G.Wiederhold, “Knowledge-based Integrity Constraint Validation”, Proc. of the 12th VLDB Conference, Kyoto, Japan 1986.
H.J.Schek, M.H.Scholl, “The Relational Model with Relation-Valued Attributes”, Information Systems, Vol.11, No.2, 1986.
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.
S.D. Urban, L.M.L. Delcambre, “Constraint Analysis: a Design Process for Specifying Operations”, Transactions on Knowledge and Data Engineering, March 1991.
S.D. Urban, “ALICE: An Assertion Language for Integrity Constraint Expression”, COMPSAC Proceedings, Orlando, September 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Formica, A., Missikoff, M. (1993). Integrity constraints representation in Object-Oriented databases. In: Finin, T.W., Nicholas, C.K., Yesha, Y. (eds) Information and Knowledge Management Expanding the Definition of “Database”. CIKM 1992. Lecture Notes in Computer Science, vol 752. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57419-0_5
Download citation
DOI: https://doi.org/10.1007/3-540-57419-0_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57419-4
Online ISBN: 978-3-540-48148-5
eBook Packages: Springer Book Archive