On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem.

Barry E. Jacobs, Alan R. Aronson, Anthony C. Klug: On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem. ACM Trans. Database Syst. 7(2): 291-315(1982)

@article{DBLP:journals/tods/JacobsAK82,
  author    = {Barry E. Jacobs and
               Alan R. Aronson and
               Anthony C. Klug},
  title     = {On Interpretations of Relational Languages and Solutions to the
               Implied Constraint Problem},
  journal   = {ACM Trans. Database Syst.},
  volume    = {7},
  number    = {2},
  year      = {1982},
  pages     = {291-315},
  ee        = {http://doi.acm.org/10.1145/319702.319730, db/journals/tods/JacobsAK82.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

The interconnection between conceptual and external levels of a relational database is made precise in terms of the notion of "interpretation" between first-order languages. This is then used to obtain a methodology for discovering constraints at the external level that are "implied" by constraints at the conceptual level and by conceptual-to-external mappings. It is also seen that these concepts are important in other database issues, namely, automatic program conversion, database design, and compile-time error checking of embedded database languages. Although this paper deals exclusively with the relational approach, it also discusses how these ideas can be extended to hierarchical and network databases.

Copyright © 1982 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 1, TODS 1976-1990" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An3-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

References

[1]: Donald D. Chamberlin, Raymond F. Boyce: SEQUEL: A Structured English Query Language. SIGMOD Workshop, Vol. 1 1974: 249-264 BibTeX
[2]: ...
[3]: E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021 BibTeX
[4]: E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
[5]: ...
[6]: ...
[7]: ...
[8]: Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[9]: John Grant, Barry E. Jacobs: On the family of generalized dependency constraints. J. ACM 29(4): 986-997(1982) BibTeX
[10]: Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) BibTeX
[11]: ...
[12]: ...
[13]: ...
[14]: ...
[15]: ...
[16]: ...
[17]: Anthony C. Klug: Calculating Constraints on Relational Expressions. ACM Trans. Database Syst. 5(3): 260-290(1980) BibTeX
[18]: David Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4): 455-469(1979) BibTeX
[19]: Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46 BibTeX
[20]: Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
[21]: ...
[22]: Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

Referenced by

Stephen J. Hegner: Foundations of Canonical Update Support for Closed Database Views. ICDT 1990: 422-436
Stephen J. Hegner: Specification and Implementation of Programs for Updating Incomplete Information Databases. PODS 1987: 146-158
Joachim Biskup, Uwe Räsch: The Equivalence Problem For Relational Database Schemes. MFDBS 1987: 42-70
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
Stephen J. Hegner: Canonical View Update Support through Boolean Algebras of Components. PODS 1984: 163-173
Stephen J. Hegner: Algebraic Aspects of Relational Database Decomposition. PODS 1983: 400-413
Anthony C. Klug, Rod Price: Determining View Dependencies Using Tableaux. ACM Trans. Database Syst. 7(3): 361-380(1982)

BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]