Abstract
In this paper we present an approach to represent schema information, application data and integrity constraints as a logic program in form of Datalog. The schema information is supplied as an enhanced entity relationship (EER) model which is transformed by a one-to-one mapping into a set of ground facts. The application data corresponding to the schema is also represented by ground facts in a single table. In order to check whether the application data conforms to the given schema, a set of integrity rules is defined by Datalog rules which expresses the dependencies (mostly functional and inclusion dependencies) implied by the EER model. In order to check whether the application EER model is a valid EER model a meta EER model is defined. Any application EER diagram is an instance of the meta EER diagram which can be specified using the proposed application data representation. The same integrity rules can be used to check the conformance between the application data and the application EER diagram, the meta EER diagram and the application EER diagram.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. Apt, H. Blair, A. Walker: “Towards a Theory of Declarative Knowledge”, in: Minker (ed.): “Foundations of Deductive Databases and Logic Programming”, Morgan Kaufmann, Los Altos 1987.
P.P. Chen: “The Entity-Relationship Model — Toward a Unified View of Data”, ACM Transactions on Database Systems, 1∶1, March 1976.
W.C. Cheng: “Tgif 2.6 — A Xlib based drawing facility under X11”, available via anonymous ftp from export.lcs.mit.edu, May 1991.
E. Codd: “Extending the Database Relational Model to Capture More Meaning”, Transactions on Database Systems, 4∶4, December 1979.
P.W. Dart, J. Zobel: “Conceptual Schemas Applied to Deductive Database Systems”, Information Systems, Vol. 13, 1988.
R. Elmasri, S.B. Navathe: “Fundamentals of Database Systems”, Benjamin/Cummings, Redwood City 1989.
R. Elmasri, J. Weeldreyer, A. Hevner: “The Category Concept: An Extension to the Entity-Relationship Model”, International Journal on Data and Knowledge Engineering, 1∶1, May 1985.
H. Gallaire, J. Minker, J. Nicolas: “Logic and Databases: A Deductive Approach”, ACM Computing Surveys 16, 2, June 1984.
G. Gardarin, P. Valduriez: “Relational Databases and Knowledge Bases”, Addison-Wesley, Reading 1989.
G. Kiernan, C. de Maindreville, E. Simon: “Making Deductive Databases a Practical Technology: A Step Forward”, in: Proceedings of the ACM SIGMOD, Atlantic City, USA, May 1990.
N. Kehrer, G. Neumann: “Treating Enhanced Entity Relationship Models in a Declarative Style”, in: A. Voronkov (ed.), “Logic Programming — First Russian Conference on Logic Programming, Irkutsk, Russia, September 1990 — Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 1991 — Proceedings”, Lecture Notes in Artificial Intelligence, Springer-Verlag: Berlin 1992, pp. 263–270.
D. Maier: “The Theory of Relational Databases”, Computer Science Press, Rockville 1983.
V. M. Markowitz, A. Shoshani: “On the Correctness of Representing Extended Entity-Relationship Structures in the Relational Model”, in: J. Clifford, B. Lindsay, D. Maier (eds.): “Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data”, ACM, New York 1989.
S. Naqvi, S. Tsur: “A Logic Language for Data and Knowledge Bases”, Computer Science Press, New York 1989.
J. Smith, D. Smith: “Database Abstractions: Aggregation and Generalization”, ACM Transactions on Database Systems, 2∶2, June 1977.
T.J. Teorey: “Database Modeling and Design: The Entity-Relationship Approach”, Morgan Kaufmann, San Mateo 1990.
T.J. Teorey, D. Yang, J.P. Fry: “A logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model”, ACM Computing Surveys 18, 2, June 1986.
A. Walker (ed.), M. McCord, J.F. Sowa, W.G. Wilson: “Knowledge Systems and Prolog”, 2nd Edition, Addison-Wesley, Reading 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kehrer, N., Neumann, G. (1992). An EER prototyping environment and its implementation in a datalog language. In: Pernul, G., Tjoa, A. (eds) Entity-Relationship Approach — ER '92. ER 1992. Lecture Notes in Computer Science, vol 645. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56023-8_16
Download citation
DOI: https://doi.org/10.1007/3-540-56023-8_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56023-4
Online ISBN: 978-3-540-47356-5
eBook Packages: Springer Book Archive