Advertisement

Journal of Intelligent Information Systems

, Volume 2, Issue 2, pp 115–147 | Cite as

ERL: Logic for entity-relationship databases

  • John Grant
  • Tok Wang Ling
  • Mong Li Lee
Article

Abstract

We develop a logic for entity-relationship databases, ERL, that is a generalization of database logic. ERL provides advantages to the ER model much as FOL (first-order logic) does to the relational model: a uniform language for expressing database schema, integrity constraints, and database manipulation; clearly defined semantics; the capability to express database transformations; and deductive capabilities. We propose three query languages for ER databases called ERRC, ERSQL, and ERQBE, which are generalizations of the relational calculus, SQL, and QBE, respectively. We use example queries and updates to demonstrate the capabilities of these languages. We apply database transformations to introduce the notion of views and to show that both ERRC and ERSQL are relationally complete.

Keywords

entity-relationship model first-order logic entity-relationship logic database language database transformation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., and Hull, R. (1987). IFO: A Formal Semantic Database Model.ACM TODS, 12 525–565.Google Scholar
  2. Abiteboul, S., and Grumbach, S. (1990). COL: A Logic-Based Language for Complex Objects, In F. Bancilhon et al. (Ed.),Advanced Database Programming Languages. Frontier Series, pp. 347–374.Google Scholar
  3. Alashqur, A. M., Su, S. Y. W., and Lam, H. (1989). OQL: A Query Language for Manipulating Object-Oriented Databases.Proc. 15th VLDB Conf. pp. 433–442.Google Scholar
  4. Atzeni, P., and Chen, P. P. (1983). Completeness of Query Languages for the Entity-Relationship Model. In P. P. Chen (Ed.),Entity-Relationship Approach to Information Modeling and Analysis. North-Holland, pp. 111–124.Google Scholar
  5. Elmasri, R., and Wiederhold, G. (1983). GORDAS: A Formal High-Level Query Language for the Entity-Relationship Model. In P.P. Chen (Ed.),Entity-Relationship Approach to Information Modeling and Analysis. North-Holland, pp. 49–72.Google Scholar
  6. Gallaire, H., Minker, J., and Nicolas, J. M. (1984). Logic and Databases: A Deductive Approach.Computing Surveys, 16, pp. 153–185.Google Scholar
  7. Grant, J. (1987).Logical Introduction to Databases. Harcourt Brace Jovanovich.Google Scholar
  8. Grant, J., and Ling, T. W. (1989). Database Representation and Manipulation Using Entity-Relationship Database Logic.Proc. Methodologies for Intelligent Systems IV, Elsevier, pp. 102–109.Google Scholar
  9. Grant, J., and Sellis, T. K. (1987). Deductive Heterogeneous Databases. In Z. W. Ras and M. Zemankova (Eds.),Methodologies for Intelligent Systems. North-Holland, pp. 159–166.Google Scholar
  10. Han, J., and Li, Z. (1989). “DERDL-A Knowledge-based Data Language for a Deductive Entity-Relationship Model,”in Proc. of International Conference on Computing and Information, Elsevier Science Pub. Co.Google Scholar
  11. Jacobs, B.E. (1985).Applied Database Logic, Vol. 1, Prentice-Hall.Google Scholar
  12. Jacobs, B.E., and Walczak, C.A. (1983). A Generalized Query-by-Example Data Manipulation Language Based on Database Logic.IEEE Transactions of Software Engineering, 9, pp. 40–57.Google Scholar
  13. Kifer, M., and Lausen, G. (1989). F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme.Proc. 1989 ACM SIGMOD Conf. pp. 134–146.Google Scholar
  14. Kim, W. (1989). A Model of Queries for Object-Oriented Databases.Proc. 15th VLDB Conf. pp. 423–432.Google Scholar
  15. Ling, T. W. (1985). A Normal Form for Entity-Relationship Diagrams.Proc. 4th Int. Conf. Entity-Relationship Approach, IEEE Computer Society Press, pp. 24–35.Google Scholar
  16. Ling, T. W. (1987). A Three Level Schema Architecture ER-Based Data Base Management System.Proc. Sixth Int. Conf. Entity-Relationship Approach, S. T. March, (Ed.), pp. 181–196.Google Scholar
  17. Parent, C, and Spaccapietra, S. (1984). An Entity-Relationship Algebra.Proc. Int. Conf. Data Engineering, IEEE Computer Society Press, pp. 500–507.Google Scholar
  18. Shoshani, A. (1978). CABLE: A Language Based on the Entity-relationship Model. Lawrence Berkeley Lab.Google Scholar
  19. Teorey, J.J., Yang, D., and Fry, J.P. (1986). A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model.ACM Computing Surveys, 18, pp. 197–222.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • John Grant
    • 1
  • Tok Wang Ling
    • 1
  • Mong Li Lee
    • 2
  1. 1.Computer and Information Sciences DepartmentTowson State UniversityTowson
  2. 2.Department of Information Systems and Computer ScienceNational University of SingaporeKent RidgeSingapore

Personalised recommendations