Abstract
A denotational semantics approach to object-oriented database query language definition provides an elegant formalism for specifying the syntax and semantics of the query language. The challenge is to characterize an object-oriented database (OODB) as a semantic domain, so that query expressions can be mapped to their meaning in terms of the OODB. In this research, a high-level, conceptual view of OODBs and an algebraic query language that support query processing studies are proposed. The model is applicable to structurally similar database models, which includes most object-oriented and semantic databases; it can support complex objects, inclusion dependencies (the isa relationship), exclusion dependencies (the disjoint relationship), direct associations (properties) between complex objects, multi-valued properties, and modification of inherited properties. The query algebra is a closed and complete language in the spirit of relational algebra, supporting both value-oriented and object-oriented query processing in a single language. A contribution of the denotational definition of the model and query language is the precise characterization of both the rich intension and the extension of an OODB and of the results of queries on the OODB. In this paper, the conceptual model and query algebra are discussed and formalized, followed by an illustration of how the formal definition enables proofs of algebraic transformations for logical query optimization.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boom, H.J. (ed.), C.B. Nielsen, A.D. McGettrick, P.D. Mosses, C. Rattray, R.D. Tennent, and D.A. Watt, “A View of Formal Semantics,” Computer Standards and Interfaces, 9, 1989.
Schmidt, D.A., Denotational Semantics: A Methodology for Language Development, Allyn and Bacon, 1986.
Bancilhon, F., “Object-Oriented Database Systems,” Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin, TX, March 21–23, 1988.
Atkinson, M., F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik, “Object-Oriented Database System Manifesto,” Deductive and Object-Oriented Databases, Elsevere Science Publishers, Amsterdam, Netherlands, 1990.
Zdonik, S.B., and D. Maier, “Introduction,” in Readings in Object-Oriented Database Systems, Morgan Kaufmann, 1990.
Hammer, M., and D. McLeod, “Database Description with SDM: A Semantic Database Model,” ACM Transactions on Database Systems, Vol. 6, No. 3, Sept. 1981.
The Committee for Advanced DBMS Function, “Third-Generation Database System Manifesto,” Memorandum No. UCB/ERL M90/28, Electronics Research Laboratory, University of California, Berkeley, CA, April, 1990.
Maier, D., A. Otis, and A. Purdy, “Object-Oriented Database Development at Servio Logic,” Database Engineering, Vol. 8, No. 4, December, 1985.
Maier, D., J. Stein, A. Otis, and A. Purdy, “Development of an Object-Oriented DBMS,” Proceedings of the First ACM OOPSLA Conference, Portland, OR, Sept., 1986.
Fishman, D., et al., “Iris: an Object-Oriented Database Management System,” ACM Transactions on Office Information Systems, Vol. 5, No. 1, January, 1987.
Fishman, D., et al., “Overview of the Iris DBMS,” Database Technology Department, Hewlett-Packard Laboratories, Palo Alto, CA, 94304, June, 1988.
Bancilhon, F., G. Barbedette, V. Benzaken, C. Delobel, S. Gamerman, C. Lecluse, P. Pfeffer, P. Richard, and F. Velez, “The Design and Implementation of 02, an Object-Oriented Database System,” in Advances in Object-Oriented Database Systems: Second International Workshop on Object-Oriented Database Systems, Dittrich, K., ed., Bad Munster am Stein, West Germany. Also appears as Lecture Notes in Computer Science, No. 334, Springer Verlag, 1988.
Lecluse, C., P. Richard, F. Velez, “02, An Object-Oriented Data Model,” Proceedings of the ACM SIGMOD 1988 International Conference on Management of Data, Chicago, IL, 1988.
Banerjee, J., H.T. Chou, J. Garza, W. Kim, D. Woelk, N. Ballou, and H.J. Kim, “Data Model Issues for Object-Oriented Applications,” ACM Transactions on O f fice Information Systems, January, 1987.
Banerjee, J., W. Kim, K.-C. Kim, “Queries in Object-Oriented Databases,” Proceedings of the Fourth International Conference on Data Engineering, Los Angeles, February, 1988.
Codd, E.F., “A Relational Model of Data for Large Shared Data Banks,” Communications of the ACM, Vol. 13, No. 6, 1970.
Bancilhon, F., and W. Kim, “Object-Oriented Database Systems: In Transition,” SIGMOD Record, Vol. 19, No. 4, 1990.
Laguna Beach Participants, “The Laguna Beach Report: Future Directions in DBMS Research,” SIGMOD Record, Vol. 18. No. 1, March, 1989.
Davis, K.C., “A Formal Foundation for Object-Oriented, Algebraic Query Processing,” Ph.D. Dissertation, The Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA, May, 1990.
Shaw, G., and S. Zdonik, “An Object-Oriented Query Algebra,” Database Engineering, Vol. 12, No. 3, 1989.
Osborn, S.L, “Identity, Equality, and Query Optimization,” in Advances in Object-Oriented Database Systems: Second International Workshop on Object-Oriented Database Systems, Dittrich, K., ed., Bad Munster am Stein, West Germany. Also appears as Lecture Notes in Computer Science, No. 334, Springer Verlag, 1988.
Davis, K.C., “The Theoretical Foundation for Inferencing on a Semantic Schema,” M.S. Thesis, The Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA, June, 1987.
Delcambre, L.M.L, and Davis, K.C., “Automatic Validation of Object-Oriented Database Structures,” Proceedings of the Fifth International Conference on Data Engineering, Los Angeles, February, 1989.
Delcambre, L.M.L, and Davis, K.C., “The Design and Validation of Object–Oriented Schemas,” CACS Technical Report No. TR–89–6–2, accepted contingent upon revision, Information Systems.
Borgida, A., R.J. Brachman, D.L. McGuinness, and L.A. Resnick, “CLASSIC: A Structural Data Model for Objects,” Proceedings of the 1989 SIG-MOD Conference, Portland, Oregon, 1989.
Davis, K.C., and L.M.L. Delcambre, “Foundations for Object-Oriented Query Processing,” The Proceedings of the X3/SPARC/DBSSG Object-Oriented Database Task Group WorkshopNational Institute of Standards and Technology, October, 1990, held in conjunction with OOPSLA 1990; to appear in Computer Standards and Interfaces.
Davis, K.C., and L.M.L. Delcambre, “A Classifier for Object-Oriented ’ Schema and Query Processing,” invited chapter to appear in Progress in Object-Oriented DatabasesVolume 1, J.B. Prater, editor, Ablex Publishing Corporation.
Derrett, N., W. Kent, and P. Lyngbaek, “Some Aspects of Operations in an Object-Oriented Database,” Database Engineering, Vol. 8, No. 4, December, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Davis, K.C., Delcambre, L.M.L. (1992). A Denotational Approach to Object-Oriented Query Language Definition. In: Harper, D.J., Norrie, M.C. (eds) Specifications of Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3864-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3864-8_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-19732-4
Online ISBN: 978-1-4471-3864-8
eBook Packages: Springer Book Archive