Functional and Inclusion Dependencies: A Graph Theoretic Approach.

@inproceedings{DBLP:conf/pods/CosmadakisK84,
  author    = {Stavros S. Cosmadakis and
               Paris C. Kanellakis},
  title     = {Functional and Inclusion Dependencies: A Graph Theoretic Approach},
  booktitle = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {ACM},
  year      = {1984},
  isbn      = {0-89791-128-8},
  pages     = {29-37},
  ee        = {http://doi.acm.org/10.1145/588011.588016, db/conf/pods/CosmadakisK84.html},
  crossref  = {DBLP:conf/pods/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

• 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
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• 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
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[CFP]

Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176 BibTeX

[CV]

Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47 BibTeX

[Co]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[ChV]

Ashok K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677(1985) BibTeX

[D]

C. J. Date: Referential Integrity. VLDB 1981: 2-12 BibTeX

[F1]

Ronald Fagin: A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. 6(3): 387-415(1981) BibTeX

[F2]

...

[GJ]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[JK]

David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. PODS 1982: 164-169 BibTeX

[KCV]

Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277 BibTeX

[K]

Paris C. Kanellakis: On the Computational Complexity of Cardinality Constraints in Relational Databases. Inf. Process. Lett. 11(2): 98-101(1980) BibTeX

[LMG]

Kent Laver, Alberto O. Mendelzon, Marc H. Graham: Functional Dependencies on Cyclic Database Schemes. SIGMOD Conference 1983: 79-91 BibTeX

[M]

John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. Information and Control 56(3): 154-173(1983) BibTeX

[Sc]

Edward Sciore: Inclusion Dependencies and the Universal Instance. PODS 1983: 48-57 BibTeX

[SS]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX

Referenced by

1. Xubo Zhang, Z. Meral Özsoyoglu: Implication and Referential Constraints: A New Formal Reasoning. IEEE Trans. Knowl. Data Eng. 9(6): 894-910(1997)
2. Arnon Rosenthal, David S. Reiner: Tools and Transformations - Rigorous and Otherwise - for Practical Database Design. ACM Trans. Database Syst. 19(2): 167-211(1994)
3. Arnon Rosenthal, David S. Reiner: Database Design Tools: Combining Theory, Guesswork, and User Interaction. ER 1989: 187-201
4. Christopher N. G. Dampney: Specifying a Semantically Adequate Structure for Information Systems and Databases. ER 1987: 165-188
5. Heikki Mannila, Kari-Jouko Räihä: Inclusion Dependencies in Database Design. ICDE 1986: 713-718