ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.

Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46
@inproceedings{DBLP:conf/sigmod/Nicolas78,
  author    = {Jean-Marie Nicolas},
  editor    = {Eugene I. Lowenthal and
               Nell B. Dale},
  title     = {First Order Logic Formalization for Functional, Multivalued and
               Mutual Dependencies},
  booktitle = {Proceedings of the 1978 ACM SIGMOD International Conference on
               Management of Data, Austin, Texas, May 31 - June 2, 1978},
  publisher = {ACM},
  year      = {1978},
  pages     = {40-46},
  ee        = {http://doi.acm.org/10.1145/509252.509269, db/conf/sigmod/Nicolas78.html},
  crossref  = {DBLP:conf/sigmod/78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The purpose of this paper is to show that first order logic is adequate for formalizing functional, multivalued and mutual dependencies in relational data bases. Advantages of using logic instead of tailored formal systems are presented. This paper is decomposed into four sections. The first one presents some notions of logic and theorem proving which are relevant to this study. In the second section, a way to analyze data bases in terms of logic is briefly indicated. The third section deals with the expression of dependency statements as formulas of logic. Lastly section 4 is concerned with some properties of dependency statements which follow directly from the proposed formalization.

Copyright © 1978 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.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Eugene I. Lowenthal, Nell B. Dale (Eds.): Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 31 - June 2, 1978. ACM 1978 BibTeX
Contents

Online Edition: ACM Digital Library

References

[1]
William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX
[2]
...
[3]
Catriel Beeri, Ronald Fagin, John H. Howard: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61 BibTeX
[4]
Jean-Marc Cadiou: On Semantic Issues in the Relational Model of Data. MFCS 1976: 23-38 BibTeX
[5]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[6]
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
[7]
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX
[8]
...
[9]
...
[10]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[11]
...
[12]
J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX
[13]
...
[14]
...
[15]
...
[16]
...
[17]
Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 BibTeX
[18]
Jean-Marie Nicolas: Mutual Dependencies and Some Results on Undecomposable Relations. VLDB 1978: 360-367 BibTeX
[19]
...

Referenced by

  1. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  2. Henryk Rybinski: On First-Order-Logic Databases. ACM Trans. Database Syst. 12(3): 325-349(1987)
  3. Nadine Lerat: Query Processing in Incomplete Logical Databases. ICDT 1986: 260-277
  4. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9(2): 283-308(1984)
  5. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
  6. James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)
  7. David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
    Contents
  8. 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)
  9. Tomasz Imielinski, Witold Lipski Jr.: A Systematic Approach to Relational Database Theory. SIGMOD Conference 1982: 8-14
  10. Marc H. Graham, Alberto O. Mendelzon: Notions of Dependency Satisfaction. PODS 1982: 177-188
  11. Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259
  12. Douglas Stott Parker Jr., Kamran Parsaye-Ghomi: Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies. SIGMOD Conference 1980: 52-57
  13. Alberto O. Mendelzon, David Maier: Generalized Mutual Dependencies and the Decomposition of Database Relations. VLDB 1979: 75-82
  14. Jean-Marie Nicolas: Mutual Dependencies and Some Results on Undecomposable Relations. VLDB 1978: 360-367
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:39:18 2009