Inclusion dependencies and their interaction with functional dependencies

Journal of Computer and System Sciences

Volumn 28, Issue 1, 1984, Pages 29-59

  Casanova, Marco A ^a   Fagin, Ronald ^b   Papadimitriou, Christos H ^c  

^a IBM Brazil   (Brazil)

^b IBM ALMADEN RESEARCH CENTER   (United States)

^c STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS;

EID: 0021375959     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/0022-0000(84)90075-8     Document Type: Article

References (45)

1. The Theory of Joins in Relational Databases
2. Dependency structures of database relationships
3. Computational problems related to the design of normal form relational schemas
4. A complete axiomatization for functional and multivalued dependencies in database relations
5. Compatible attributes in a universal relation
6. A Proof Procedure for Data Dependencies
7. Formal Systems for Tuple and Equality Generating Dependencies
8. What does Boyce-Codd normal form do?
9. The Implication Problem for Functional and Inclusion Dependencies is Undecidable
10. The entity-relationship model-Toward a unified view of data
11. Relational completeness of database sublanguages
12. Further normalization of the database relational model
13. Extending the database relational model to capture more meaning
14. Multivalued dependencies and a new norma form for relational databases
15. Functional dependencies in a relational database and propositional logic
16. A normal form for relational databases that is based on domains and keys
17. Horn clauses and database dependencies
18. Tools for template dependencies
19. Armstrong databases for functional and inclusion dependencies
20. Testing containment of conjunctive queries under functional and inclusion dependencies
21. Consequences of assuming a universal relation
22. Entity-relationship views over uninterpreted enterprise schemas
23. Existential Dependencies in Relational Databases
24. Inference rules for functional and inclusion dependencies
25. Theory of relations for databases-A tutorial survey
26. Relationship between nondeterministic and deterministic tape complexities
27. Inclusion dependencies and the universal instance
28. A complete axiomatization for a large class of dependencies in relational databases
29. Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies
30. Database abstractions: Aggregation
31. The UR strikes back
32. A Structural Model for Database Systems
33. Algebraic Dependencies