Abstract
We revisit the notion of deep equality among objects in an object database from a formal point of view. We present three natural formalizations of deep equality: one based on the infinite value-trees associated with objects, one based on the greatest fixpoint of an operator on equivalence relations among objects, and one based on indistinguishability of objects using observations of atomic values reachable from the objects. These three definitions are then shown to be equivalent. The characterization in terms of greatest fixpoints also yields a polynomial-time algorithm for checking deep equality. We also study the expressibility of deep equality in deductive database languages.
Work performed while on leave at INRIA as a research assistant of the Belgian National Fund for Scientific Research (N.F.W.O.).
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In J. Clifford, B. Lindsay, and D. Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, volume 18:2 of SIGMOD Record, pages 159–173. ACM Press, 1989.
F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Building an object-oriented database system: The story of O2. Morgan Kaufmann, 1992.
P. Buneman, S.B. Davidson, and D. Suciu. Programming constructs for unstructured data. Department of Computer and Information Science, University of Pennsylvania, 1995. To appear in the proceedings of the Fifth International Workshop on Database Programming Languages, held in Gubbio, Italy, September 1995.
A. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and Systems Sciences, 25:99–128, 1982.
B. Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25:95–169, 1983.
K. Denninghoff and V. Vianu. Database method schemas and object creation. In Proceedings 12th ACM Symposium on Principles of Database Systems, pages 265–275. ACM Press, 1993.
S.N. Khoshafian and G.P. Copeland. Object identity. In N. Meyrowitz, editor, Object-oriented programming systems, languages and applications: Proceedings OOPSLA'86, SIGPLAN Notices 21:11, pages 406–416. ACM Press, 1986.
P. Kanellakis, C. Lécluse, and P. Richard. The O2 data model. In Bancilhon et al. [BDK92], chapter 3.
P.G. Kolaitis. The expressive power of stratified logic programs. Information and Computation, 90:50–66, 1991.
A. Kosky. Observational distinguishability of databases with object identity. Technical Report MS-CIS-95-20, University of Pennsylvania, 1995. To appear in the proceedings of the Fifth International Workshop on Database Programming Languages, held in Gubbio, Italy, September 1995.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
D. Plateau et al. Building user interfaces with LOOKS. In Bancilhon et al. [BDK92], chapter 22.
R.C. Read and D.G. Corneil. The graph isomorphism disease. Journal of Graph Theory, 1:339–363, 1977.
G.M. Shaw and S.B. Zdonik. A query algebra for object-oriented databases. In Proceedings Seventh International Conference on Data Engineering, pages 154–162. IEEE Computer Society Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abiteboul, S., Van den Bussche, J. (1995). Deep equality revisited. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_42
Download citation
DOI: https://doi.org/10.1007/3-540-60608-4_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60608-6
Online ISBN: 978-3-540-48460-8
eBook Packages: Springer Book Archive