Abstract
We describe a (meta) formalism, called Data Modelling Logic (DM logic), for defining a variety of (object oriented) data models in a unified framework based on first-order logic. Using NORM, an OO model, we illustrate how essential 00 properties such as information hiding, encapsulation, inheritance and behavior may be generically described, as well as the fundamental distinction with object-oriented programming, namely persistence. A formal semantics for these concepts can so be given independently of the chosen data model. DM logic has been demonstrated in earlier work to adequately support “classical” data models such as (E)ER, NIAM, and the Relational Model, and so-called lossless transformations between them. By “programming” an OO data model in DM Logic, it should become possible to arrive at objective relationships between (OO and other) data modelling techniques.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References and Bibliography
Cattell, R.G.G. (ed), “The Object Database Standard: ODMG-93”, Morgan Kaufmann Publishers, 1994, ISBN 1-55860-302-6.
De Troyer O. “The OO-Binary Relationship Model: A Truly Object-Oriented Conceptual Model.” In: Proceedings CAISE '91, Lecture Notes in Computer Science 498, “Advanced Information Systems Engineering”, eds. R. Andersen, J.A. Bubenko jr., A. Solvberg, Springer-Verlag 1991 (pp. 561–578).
De Troyer O., “On Data Schema Transformations”, Phd Thesis, ISBN 90-900591-3-X, Tilburg University, The Netherlands, 1993.
De Troyer O., “A Logical Formalization of the Binary Object Role Model”, in: T. Halpin and R. Meersman, eds., Proceedings of 1st Int. conference on Object Role Modelling, ORM-1 (University of Queensland, 1994).
Genesereth M., Nilsson N., “Logical Foundations of Artificial Intelligence”, Morgan-Kaufmann Publishers 1988. ISBN 0-934613-31-1
Halpin T., “Conceptual Schema and Relational Database Design”, 2nd edition, Prentice Hall, 1995. ISBN 0-13355702-2
Kifer M., Lausen G., “F-logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme”, Proc. of ACM SIGMOD '89 (pp.134–146).
Meinke K., Tucker J.V. (eds), “Many-sorted Logic and its Applications”, John Wiley & Sons, 1993. ISBN 0-471-93485-2
Ng P., “Further Analysis of the Entity-Relationship Approach to Database Design”, Transactions on Software Engineering Vol. 7 No 1, January 1981.
Reiter, R. “Towards a Logical Reconstruction of Relational Database Theory”, in: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, eds. Brodie M. L., Mylopoulos J., Schmidt J.W., Springer Verlag, New York 1984,.
Sperschneider V., Antoniou G., “Logic: A Foundation for Computer Science”, Addison-Wesley, 1991.
Wintraecken J.J., “The NIAM Information Analysis Method; Theory and Practice”, Kluwer Academic Publishers, 1990, ISBN 0-7923-0263-X.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Troyer, O., Meersman, R. (1995). A logic framework for a semantics of object oriented data modelling. In: Papazoglou, M.P. (eds) OOER '95: Object-Oriented and Entity-Relationship Modeling. ER 1995. Lecture Notes in Computer Science, vol 1021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020536
Download citation
DOI: https://doi.org/10.1007/BFb0020536
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60672-7
Online ISBN: 978-3-540-48527-8
eBook Packages: Springer Book Archive