Skip to main content
SpringerLink
Log in

ERL: Logic for entity-relationship databases

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abiteboul, S., and Hull, R. (1987). IFO: A Formal Semantic Database Model.ACM TODS, 12 525–565.

    Google Scholar 

  • 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.

  • 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.

  • 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.

  • 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.

  • Gallaire, H., Minker, J., and Nicolas, J. M. (1984). Logic and Databases: A Deductive Approach.Computing Surveys, 16, pp. 153–185.

    Google Scholar 

  • Grant, J. (1987).Logical Introduction to Databases. Harcourt Brace Jovanovich.

  • 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.

  • 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.

  • 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.

  • Jacobs, B.E. (1985).Applied Database Logic, Vol. 1, Prentice-Hall.

  • 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 

  • 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.

  • Kim, W. (1989). A Model of Queries for Object-Oriented Databases.Proc. 15th VLDB Conf. pp. 423–432.

  • 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.

  • 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.

  • Parent, C, and Spaccapietra, S. (1984). An Entity-Relationship Algebra.Proc. Int. Conf. Data Engineering, IEEE Computer Society Press, pp. 500–507.

  • Shoshani, A. (1978). CABLE: A Language Based on the Entity-relationship Model. Lawrence Berkeley Lab.

  • 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 

Download references

Author information

Authors and Affiliations

  1. Computer and Information Sciences Department, Towson State University, 21204, Towson, MD

    John Grant & Tok Wang Ling

  2. Department of Information Systems and Computer Science, National University of Singapore, 0511, Kent Ridge, Singapore

    Mong Li Lee

Authors
  1. John Grant
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tok Wang Ling
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mong Li Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research sponsored in part by the National Science Foundation under grant IRI-8921951 and by Towson State University.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grant, J., Ling, T.W. & Li Lee, M. ERL: Logic for entity-relationship databases. J Intell Inf Syst 2, 115–147 (1993). https://doi.org/10.1007/BF00965874

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00965874

Keywords

Search

Navigation