Abstract
Deductive object oriented database languages are faced with the problem of dealing with the new concepts of the object oriented approach: object identity, inheritance, method, and complex object structure. Complex object structures raise a consistency problem for derived objects. To the best of our knowledge, no method has been proposed to do a static check of the consistency of deductive programs dealing with complex objects. In this paper we propose a solution based on a deductive language, called ERCLog, for an object and relationship data model. ERCLog explicitly manages the cardinalities of the attributes of the objects and of the links between objects. This information allows the static checking of the consistency of the programs.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S.Abiteboul, S.Grambach. A Logic-based Language with Functions and Sets. ACM Transactions on Database Systems. Vol. 16, No. 1, March 1991, pp 1–30.
S.Abiteboul, P.C.Kanellakis, Object Identity as a Query Language Primitive. Proc. ACM-SIGMOD Int. Conf. on the Management of Data, Portland, OR, April 1989.
S.Abiteboul, R.Hull. Data Functions, Datalog and Negation. Proc. of the ACM SIGMOD Int. Conf. on the Management of Data, 1989. pp. 143–153
F.Bancilhon. Object-Oriented Database Systems. Proc. ACM PODS, 152–162, 1988
C.Beeri, S.Noqvi, O.Shmnueli, S.Tsur. Sets and Negation in a Logic Database Language (LDL1). Proc. of the ACM SIGACT/SIGMOD Symposium on Principles of Database Systems. 1987, pp 27–37
F.Cacace, S.Ceri, S.Crespi-Reghizzi, L.Tanca, R.Zicari. Integrating Object-Oriented Data Modeling with a Rule-based Programming Paradigm. Proc. ACM-SIGMOD Int. Conf. on the Management of Data, Atlantic City, May 1990
D.Calvanese, M.Lenzerini, On the interaction Between ISA and Cardinality Constraints. Proc. of 10th Int. Conf. on Data Engineering, Houston, Texas, February, 1994.
R.G.G. Cattell (Eds), The Object Database Standard: ODMG-93. Morgan Kaufmann, 1994
R.Elmasri, S.Navathe, Fundamentals of Database Systems. Benjamin and Cummings Publ. Co., Menlo Park, California, 1988
S.Ferg. Cardinality Concepts in Entity-Relationship Modeling. Proc. of the 10th Int. Conf. on Entity-Relationship Approach, San Mateo, CA, October 1991
A.A.Fernandes, N.W.Paton, M.H.Williams, and A.Bowles. Approaches to Deductive Object-Oriented Databases. Information and Software Technology. 34(2), December 1992, pp. 787–803.
A.Formica, M.Missikoff, Correctness of ISA Hierarchies in Object-Oriented Database Schemas. 4th Int. Conf. on Extending Database Technology. Cambridge, U.K. March 1994. Lecture Notes in Computer Science 779, Springer-Verlag.
R.Hull, C.K.Yap. The Format Model: A Theory of Database Organization. J.ACM 31, 3 (July 1984), pp 518–537.
R.Hull, R.King, Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, No.3, September 1987.
M.Kifer, G.Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. Proc. of the ACM SIGMOD Int. Conf. on Management of Data. Portland, OR, June 1989
G.M.Kuper, M.Y.Vardi. The Logical Data Model. ACM Transactions on Database Systems, Vol. 18, No. 3, Sept. 1993. pp 379–413.
S.Spaccapietra, C.Parent. ERC+: An Object based Entity Relationship Approach, in Conceptual Modeling, Database and CASE: An integrated View of Information System Development, P.Loucopoulos and R. Zicari Eds. John Wiley, 1992.
B.Thalheim. Fundamentals of Cardinality Constraints. Proc. of the 11th Int. Conf. on the Entity-Relationship Approach ER-92, pp 7–23, Spring-Verlag, 1992
X.Ye, C.Parent and S.Spaccapietra, Derived Objects and Classes in DOOD systems. Proc. of 5th International Workshop on the Deductive Approach to Information Systems and Databases, September 19–21, 1994. Costa Brava, Spain.
X.Ye. Structure Constraints in Database Schemas v.s. Argument Constraints in Rules of Logic-based Database Languages. Research Report of EPFL-DI-LBD, June 1994.
X.Ye. rule-based database language ERCLog. Research report of EPFL-DI-LBD, 1994]
C.Zaniolo, Object identity and Inheritance in Deductive Databases — An Evolutionary Approach. First Int. Conf. DOOD'89, Kyoto, 1989
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ye, X., Parent, C., Spaccapietra, S. (1994). Cardinality consistency of derived objects in DOOD systems. In: Loucopoulos, P. (eds) Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering. ER 1994. Lecture Notes in Computer Science, vol 881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58786-1_85
Download citation
DOI: https://doi.org/10.1007/3-540-58786-1_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58786-6
Online ISBN: 978-3-540-49100-2
eBook Packages: Springer Book Archive