Abstract
In a general, pure object-based setting, we consider the issue of creating objects which faithfully represent sets. Faithfulness means that no duplicates are generated, and is therefore an important notion, not only from a data modeling perspective, but also for efficiency reasons. Our main result is that, modulo one exception, the ability to create objects which faithfully represent sets whose cardinality is bounded by a fixed constant m, is strictly weaker than that for sets with cardinality bounded by m + 1. We thus establish a strictly increasing hierarchy.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Abiteboul, P. Fischer, and H.-J. Schek, editors. Nested Relations and Complex Objects in Databases. Number 361 in Lecture Notes in Computer Science. Springer-Verlag, 1989.
S. Abiteboul and S. Grumbach. A rule-based langauge with functions and sets. ACM Transactions on Database Systems, 16(1):1–30, 1991.
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Clifford et al. [9], pages 159–173.
A.V. Aho and J.D. Ullman. Universality of data retrieval languages. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 110–120, 1979.
D. Bitton and D. DeWitt. Duplicate record elimination in large data files. ACM Transactions on Database Systems, 8(2):255–265, 1983.
C. Beeri. A formal approach to object-oriented databases. Data & Knowledge Engineering, 5(4):353–382, 1990.
A. Chandra and D. Harel. Computable queries for relational database systems. Journal of Computer and System Sciences, 21(2):156–178, 1980.
A. Clark. Elements of Abstract Algebra. Dover Books on Advanced Mathematics. Dover, 1984.
J. Clifford, B. Lindsay, and D. Maier, editors. Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, number 18:2 in SIGMOD Record. ACM Press, 1989.
M. Gyssens, J. Paredaens, and D. Van Gucht. A graph-oriented object database model. In Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 417–424. ACM Press, 1990.
S. Grumbach and V. Vianu. Playing games with objects. In S. Abiteboul and P.C. Kanellakis, editors, Third International Conference on Database Theory, Proceedings, number 470 in Lecture Notes in Computer Science, pages 25–38. Springer-Verlag, 1990.
R. Hull and R. King. Semantic database modelling: Survey, applications, and research issues. ACM Computing Surveys, 19(3):201–260, 1987.
R. Hull and J. Su. On accessing object-oriented databases: Expressive power, complexity, and restrictions. In Clifford et al. [9], pages 147–158.
R. Hull and J. Su. On the expressive power of database queries with intermediate types. Journal of Computer and System Sciences, 43(1):219–237, 1991.
R. Hull. Relative information capacity of simple relational schemata. SIAM Journal on Computing, 15(3):856–886, 1986.
R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proceedings of the 16th International Conference on Very Large Data Bases, Morgan Kaufmann, 1990.
W. Kim and F.H. Lochovsky, editors. Object-Oriented Concepts, Databases, and Applications. Frontier Series. ACM Press, Addison-Wesley, 1989.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90/14, Dept. Comp. Science, SUNY Stony Brook, 1990.
G. Kuper. The Logical Data Model: A New Approach to Database Logic. Ph Dthesis, Stanford University, 1985.
G. Kuper. Logic programming with sets. Journal of Computer and System Sciences, 41(1):44–64, 1990.
G. Kuper and M. Vardi. A new approach to database logic. In Proceedings of the Third ACM Symposium on Principles of Database Systems, pages 86–96. ACM Press, 1984.
M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-logic revisited). In Proceedings of the Eighth ACM Symposium on Principles of Database Systems, pages 379–393. ACM Press, 1989.
C. Lécluse, P. Richard, and F. Velez. O2, an object-oriented data model. In H. Boral and P.A. Larson, editors, 1988 Proceedings SIGMOD International Conference on Management of Data, pages 424–433. ACM Press, 1988.
D. Shipman. The functional data model and the data language DAPLEX. ACM Transactions on Database Systems, 16(10):140–173, 1981.
L.V. Saxton and D. Van Gucht. Implementation of relational queries with sets. Technical report.
J. Van den Bussche and J. Paredaens. The expressive power of structured values in pure OODB's. In Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pages 291–299. ACM Press, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van den Bussche, J., Van Gucht, D. (1992). A hierarchy of faithful set creation in pure OODB's. In: Biskup, J., Hull, R. (eds) Database Theory — ICDT '92. ICDT 1992. Lecture Notes in Computer Science, vol 646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56039-4_51
Download citation
DOI: https://doi.org/10.1007/3-540-56039-4_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56039-5
Online ISBN: 978-3-540-47360-2
eBook Packages: Springer Book Archive