Inclusion dependencies and their interaction with functional dependencies

DOI10.1016/0022-0000(84)90075-8zbMath0586.68082WikidataQ56619908 ScholiaQ56619908MaRDI QIDQ1071523

Christos H. Papadimitriou, Ronald Fagin, Marco A. Casanova

Publication date: 1984

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(84)90075-8

zbMATH Keywords

relational database; decision problem; finite implication; complete axiomatization; unrestricted implication

Mathematics Subject Classification ID

68P20: Information storage and retrieval of data

Related Items

Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies, Data exchange: semantics and query answering, Partition semantics for relations, Testing containment of conjunctive queries under functional and inclusion dependencies, Inferences for numerical dependencies, On the formal properties of transitive inheritance in databases, Selective inheritance of attribute values in relational databases, The effect of unary inclusion dependencies on relational database design, A characterization of finite fd-acyclicity, Axiomatisation of functional dependencies in incomplete relations, Dependency preservation in semantic databases, Characterization of desirable properties of general database decompositions., Foundations of entity-relationship modeling, Incomplete deductive databases, Null inclusion dependencies in relational databases, Independent database schemes under functional and inclusion dependencies, Objects in relational database schemes with functional, inclusion, and exclusion dependencies, A theory of data dependencies over relational expressions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Formal systems for join dependencies
• Algebraic dependencies
• Armstrong databases for functional and inclusion dependencies
• Relationships between nondeterministic and deterministic tape complexities
• The implication problem for functional and inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• A normal form for relational databases that is based on domains and keys
• Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
• Template Dependencies
• Horn clauses and database dependencies
• Functional Dependencies in a Relational Database and Propositional Logic
• Tools for Template Dependencies