Abstract
For many object-oriented database applications taxonomies with a setinclusion semantics among the type extents are essential. In practical cases, however, common object-oriented modeling techniques often do not result in taxonomies as they ignore application specific constraints. We will elaborate that especially in domains like CAD or similar engineering environments integrity constraints on type attributes have a deep impact on the resulting hierarchy. We argue that subtyping by constraints may be superior to other object-oriented alternatives like subtyping for generalization or nearly-flat hierarchies. Subtyping by constraints achieves a logical set-inclusion hierarchy, and in addition enables a larger amount of semantically correct substitutability. This can even be improved by a novel framework of automatic method adaptation for enhanced substitutability. Moreover, a potential storage penalty caused by making constraints explicit can be avoided completely by applying a new storage optimization technique based on functional integrity constraints. Our results are illustrated by practical examples drawn from the OCAD project.
Preview
Unable to display preview. Download preview PDF.
References
Malcolm Atkinson, Francois Bancilhon, Klaus Dittrich, David DeWitt, David Maier, and Stanley Zdonik. The object-oriented database system manifesto. In Proceedings of the 1 st International Conference on Deductive and Object-Oriented Databases (DOOD'91), Kyoto, 1989.
G. Booch. Object-Oriented Analysis and Design—with Applications. Benjamin/Cummings, 2nd edition, 1994.
T. Budd. An Introduction to Object-Oriented Programming. Addison-Wesley Publishing Company, 1991.
R.G.G. Cattel, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann Publishers, San Mateo, California, 1994.
P.S. Canning, W.R. Cook, W.L. Hill, and W.G. Olthoff. Interface for strongly-typed object-oriented programming. In Proceedings of the 4 th Int. Conf. on Object-Oriented Programming Languages, Systems and Applications, Portland, October 1989.
P. Coad and E. Yourdon. Object-Oriented Design. Yourdon Press Computing Series. Prentice Hall, Englewood Cliffs, 1991.
G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Trans. on Database Systems, 13(4):486–524, 1988.
A. Gupta, Y. Sagiv, J.D. Ullman, and J. Widom. Constraint checking with partial information. In Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems., pages 45–55, Minneapolis, 1994.
D. Halbert and P. O'Brien. Using types and inheritance in object-oriented programming. IEEE Software, 4(5), September 1988.
S. Khoshafian and R. Abnous. Object Orientation—Concepts, Languages, Databases, User Interfaces. Wiley, New York, 1990.
Setrag Khoshafian, Roger Blumer, and Razmik Abnous. Inheritance and generalization in intelligent SQL. Computer Standards and Interfaces, 13:213–220, 1991.
W. Kim. Modern Database Systems: The Object Model, Interoperability, and Beyond. ACM Press, Addison-Wesley, New York, 1995.
W. Kowarschick, G. Köstler, and W. Kießling. Taxonomic modeling in C++ based object-oriented databases is efficient. Technical Report 320, Institut für Mathematik, Universität Augsburg, 1995. (see http://www.informatik.uni-augsburg.de/info2/literature/Techreports/m320.html).
W. LaLonde and J. Pugh. Subclassing ≠ subtyping ≠ is-a. Journal of Object-Oriented Programming, 3(5):57–62, January 1991.
J.A. Larson and A.S. Sheth. Updating relational views using knowledge at view definition and view update time. Inf. Sys., 16(2):145–168, 1991.
T.W. Ling and P.K. Teo. Object migration in ISA hierarchies. In T.W. Ling and J. Masunaga, editors, Proceedings of the Fourth International Conference on Database Systems for Advanced Applications (DASFAA '95), pages 292–299, Singapore, April 1995. World Scientific Publishing.
N. Mattos and L.G. DeMichiel. Recent design trade-offs in SQL3. ACM SIGMOD RECORD, 23(4):84–89, December 1994.
Richard Mitchel, John Howse, and Ian Maung. As-a: a relationship to support code reuse. Journal of Object-Oriented Programming, 8(4), July/August 1995.
J. Melton and N. Mattos. Sigmod tutorial: An overview of the emerging third-generation SQL standard. In ACM SIGMOD International Conference on Management of Data, 1995.
N.M. Mattos, K. Meyer-Wegner, and B. Mitschang. Grand tour of concepts for object-orientation from a database point of view. Data and Knowledge Engineering, 1992/93(9):321–352, 1993.
D.E. Monarchi and G.I. Puhr. A research typology for object-oriented analysis and design. Communications of the ACM, 35(9):35–47, September 1992.
J. Rumbaugh, M. Blaha, W Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
David L. Shang. Covariant specifications. ACM SIGPLAN Notices, 29(12):58–65, Dec. 1994.
S. Shlaer and S.J. Mellor. Object-Oriented System Analysis—Modeling the World in Data. Yourdon Press Computing Series. Prentice Hall, Englewood Cliffs, 1988.
K.-D. Schewe, B. Thalheim, J. W. Schmidt, and I. Wetzel. Integrity enforcement in object-oriented databases. In Modelling Database Dynamics, pages 174–195. Springer, 1993.
Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.
S.B. Zdonik and D. Maier. Fundamentals of object-oriented databases. In S.B. Zdonik and D. Maier, editors, Readings in Object-Oriented Database Systems, pages 1–32. Morgan Kaufmann Publishers, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowarschick, W., Köstler, G., Kießling, W. (1996). Subtyping by constraints in object-oriented databases. In: Futatsugi, K., Matsuoka, S. (eds) Object Technologies for Advanced Software. ISOTAS 1996. Lecture Notes in Computer Science, vol 1049. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60954-7_57
Download citation
DOI: https://doi.org/10.1007/3-540-60954-7_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60954-4
Online ISBN: 978-3-540-49747-9
eBook Packages: Springer Book Archive