Functional and inclusion dependencies: A graph theoretic approach

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 1984, Pages 29-37

  Cosmadakis, Stavros S ^a   Kanellakis, Paris C ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FINITE DIFFERENCE METHOD; HARDNESS;

BOUNDED DOMAIN; COMPLETE AXIOMATIZATIONS; GRAPH THEORETIC APPROACH; IMPLICATION PROBLEM; INCLUSION DEPENDENCIES; LOWER BOUNDS; NP-HARDNESS;

GRAPH THEORY;

EID: 85007429111     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/588011.588016     Document Type: Conference Paper

References (15)

1. [CFP] MA. Casanova R. Fagin, C.H. Papadimitriou, " Inclusion Dependencicasn d their Interaction with Functional Dependencies", Proc. ACM SJGACT-SIGMODPODS (1982).( also IBM RJ3380).
2. [Cv] M.A. Casanova, V.M.P. Vidal, "Towards a. Sound View Integration Methodology", Proc. ACM SIGACT-SIGMOD PODS (1983).
3. [Co] E.F. Codd, "Extending the Database Relational Model to Capture More Meaning", ACM TODS 4.4 (1980).
4. [Cbv] A. Chandra and M.Y. Vardi, 'The implication Problem for Functional and inclusion Dependencies is Undecidable", March 1983.
5. [D] C. Date, "Referential Integrity". Proc. VLDB (1981).
6. [Fl] R. Fagin, "A Normal Form for Relational Databasetsh at is Based on Domains and Keys", ACM TODS 6.3 (1981).
7. [F2] R. Fagin, private communication, August 1983.
8. [GJ] M.R. Gamy, D.S. Johnson, "Computers and Intractability: A Guide to the Theory of NP-Completeness"Freeman( 1979).
9. [JK] D.S. Johnson, A. Klug. "Testing Containment of Conjunctive Qucricsu nder Functionala nd Inclusion Dependencias"Proc.ACM SIGACT-SIGM OD PODS (1982).
10. [KCV] PC. Kancllakis. S.S. Cosmadakish. M.Y. Vardi. "Unary Inclusion Dependencichs ave Polynomial Time Infercence Problems", Proc. 15th ACM STOC (1983).
11. [K] P.C. Kanellakis, "On the Computational Complexity of Cardinality Constraintsin Rclationel Databases"IPL 11.2 (1980).
12. [LMG] K. Laver, A.O. Mendelxon, M.H. Graham, "Functiona Dcpcndcncieosn Cyclic DatabaseS chemes"Proc. ACM SlGMOD (1983).
13. [M] J.C. Mitchell. "The Implication Problem for Functional and Inclusion Dependencics", Proc. ACM SlGAC'l'-SIGMOD PODS (1983).
14. [SC] E. Sciore"The Khsion Dependencicas and the Universal Instance", Proc. ACM SIGACT-SIGMOD PODS (1983).
15. [SS] J.M. Smith. D.C.P. Smith. "Database Abstractions: Aggregation". CACM 20.6 (1977).