Abstract
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of the current proposal stemming from the adaption of concepts of object-oriented programming and a lack of formalization. In this paper we present a formalization of the ODMG model and the OQL query language that is used in the CROQUE project as a basis for query optimization. An essential part is a complete, formally sound type system that allows us to reason about the types of intermediate query results and gives rise to fully orthogonal queries, including useful extensions of projections and set operations.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abiteboul, S. and Kanellakis, P.: 1989, Object identity as a query language primitive, Proc. ACM SIGMOD Conference on Management of Data.
Abiteboul, S. and Kanellakis, P.: 1990, Intl. Conf. on Database Theory, number 470 in Lecture Notes in Computer Science, Springer.
Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D. and Zdonik, S.: 1989, The object-oriented database system Manifesto, (Kim, Nicolas and Nishio 1989), pp. 40–57.
Balsters, H. and de Vreeze, C. C.: 1991, A Semantics of Object-Oriented Sets, Intl. Workshop on Database Programming Languages, Nafplion, Greece, pp. 187–200.
Balsters, H. and Fokkinga, M. M.: 1991, Subtyping can have simple semantics, Theoretical Computer Science 87, 81–96.
Bancilhon, F. and Khoshafian, S.: 1989, A Calculus for Complex Objects, Journal of Computer and System Sciences 38, 326–340.
Beeri, C.: 1989, Formal Models for Object-Oriented Databases, (Kim et al. 1989),pp. 370–395.
Beeri, C.: 1990, A Formal Approach to Object-Oriented Databases, Data and Knowledge Engineering pp. 353–382.
Bertino, E., Negri, M., Pelagatti, G. and Sbattella, L.: 1992, Object-Oriented Query Languages: The Notion and the Issues, IEEE Transactions on Knowledge and Data Engineering 4 (3), 223–237.
Biskup, J.: 1983, A Foundation of Codd’s Relational Maybe-operations, ACM Transactions of Database Systems 8 (4), 608–636.
Canning, P., Cook, W., Hill, W. and Olthoff, W.: 1989, F-Bounded Polymorphism for Object-Oriented Programming, ACM Intl. Conf. On Functional Programming and Computer Architecture.
Cattell, R. (ed.): 1996, The Object Database Standard: ODMG-93, Release 1.2,Morgan Kaufmann.
Cattell, R. (ed.): 1997, The Object Database Standard: ODMG-2.0,Morgan Kaufmann.
Ceri, S. and Manthey, R.: 1993, Chimera: A Model and Language for Active DOOD Systems, Proc. of the 2nd East-West Database Workshop, Workshops in Computing, Springer, pp. 3–16.
Fegaras, L. and Maier, D.: 1995, Towards an Effective Calculus for Object Query Languages, Proc. ACM SIGMOD Conference on Management of Data, pp. 47–58.
Grust, T., Kröger, J., Gluche, D., Heuer, A. and Scholl, M. H.: 1997, Query Evaluation in CROQUE–Calculus and Algebra Coincide, British National Conference on Databases (BNCOD), pp. 84–100.
Grust, T. and Scholl, M. H.: 1996, Translating OQL into Monoid Comprehensions — Stuck with Nested Loops?, Technical Report 3a/96, Dept. of Mathematics and Computer Science, University of Konstanz.
Herzig, R. and Gogolla, M.: 1994, A SQL-like Query Calculus for Object-Oriented Database Systems, Intl. Symposium on Object-Oriented Methodologies and Systems (ISOOMS), number 858 in Lecture Notes in Computer Science, Springer, pp. 20–39.
Heuer, A., Fuchs, J. and Wiebking, U.: 1990, OSCAR: An Object-Oriented Database System with a Nested Relational Kernel, Proc. of the Intl. Conf. on Entity-Relationship Approach, Elsevier (North-Holland)
Heuer, A. and Sander, P.: 1991, Classifying object-oriented query results in a class/type lattice, Proc. of the 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS), Vol. 495 of Lecture Notes in Computer Science, Springer, pp. 14–28.
Heuer, A. and Scholl, M. H.: 1991, Principles of Object-Oriented Query Languages, GI-Fachtagung Datenbanksysteme für Biro, Technik and Wissenschaft ( BTW ), Springer, pp. 178–191.
Hohenstein, U. and Engels, G.: 1992, SQL/EER–Syntax and Semantics of an Entity-Relationship-Based Query Language, Information Systems 17(3), 209–242.
Hörner, C. and Heuer, A.: 1991, EXTREM — The structural part of an object-oriented database model,Report 91/5 of the Department of Computer Science at the Technical University of Clausthal, Germany.
Kamel, N., Wu, P. and Su, Y.: 1994, A Pattern-Based Object Calculus, VLDB Journal 3(1), 53–76.
Kifer, M., Kim, W. and Sagiv, Y.: 1992, Querying Object-Oriented Databases, Proc. ACM SIGMOD Conference on Management of Data, pp. 393402.
Kifer, M., Lausen, G. and Wu, J.: 1993, Logical Foundations of Object-Oriented and Frame-Based Languages, Technical Report, 93/06, Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY 11794.
Kim, W., Nicolas, J.-M. and Nishio, S. (eds): 1989, Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases,Elsevier.
Kuno, H. and Rundensteiner, E.: 1996, The MultiView OODB view system: Design and Implementation, Theory and Practice of Object Systems (TAPOS) 2 (3), 202–225.
Laasch, C. and Scholl, M. H.: 1992, Generic update operations keeping object-oriented databases consistent, Proc. 2nd GI-Workshop on Information Systems and Artificial Intelligence, Springer IFB 303, FAW Ulm, Germany, pp. 40–55.
Laasch, C. and Scholl, M. H.: 1993a, A Functional Object Database Language, Intl. Workshop on Database Programming Languages.
Laasch, C. and Scholl, M. H.: 1993b, Deterministic Semantics of Set-Oriented Update Sequences, Proc. of the IEEE Intl. Conf. on Data Engineering, pp. 4–13.
Leung, T., Mitchell, G., Subramanian, B., Zdonik, S. and other: 1993, The AQUA Data Model and Algebra, in C. Beeri, A. Ohori and D. Shasha (eds), Intl. Workshop on Database Programming Languages, Springer, Workshops in Computing, pp. 136–156.
Libkin, L., Machlin, R. and Wong, L.: 1996, A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques, Proc. ACM SIGMOD Conference on Management of Data, pp. 228–239.
Mannino, M., Choi, I. and Batory, D.: 1990, The Object-Oriented Functional Data Language, IEEE Transactions on Software Engineering 16(11) 1258–1272.
Melton, J.: 1996, An SQL3 snapshot, Proc. of the IEEE Intl. Conf. on Data Engineering, pp. 666–672.
Riedel, H. and Scholl, M. H.: 1996, The CROQUE-Model: Formalization of the Data Model and Query Language, Technical Report 23/96, Dept. of Mathematics and Computer Science, University of Konstanz.
Roth, M., Korth, H. and Silberschatz, A.: 1988, Extended Algebra and Calculus for Nested Relational Databases, ACM Transactions on Database Systems 13 (4), 389–417.
Schek, H.-J. and Scholl, M. H.: 1990, A Relational Object Model, (Abiteboul and Kanellakis 1990), pp. 89–105.
Scholl, M. H., Laasch, C., Rich, C., Schek, H.-J. and Tresch, M.: 1993, The COCOON Object Model, Technical Report 93–02, Dept. of Computer Science, University of Ulm.
Straube, D.: 1991, Query Processing in Object-Oriented Database Systems, PhD Thesis, University of Alberta, Edmonton, Canada.
Straube, D. and Ozsu, T.: 1990, Queries and Query Processing in Object-Oriented Database Systems, ACM Transactions on Office Information Systems 8 (4), 387–430.
Yu, L. and Osborn, S.: 1991, An Evaluation Framework for Algebraic Object-Oriented Query Models, Proc. of the IEEE Intl. Conf. on Data Engineering pp. 670–677.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Riedel, H., Scholl, M.H. (1998). A Formalization of ODMG Queries. In: Spaccapietra, S., Maryanski, F. (eds) Data Mining and Reverse Engineering. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35300-5_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-35300-5_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4910-6
Online ISBN: 978-0-387-35300-5
eBook Packages: Springer Book Archive