Inclusion dependencies and their interaction with functional dependencies

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

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

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 databasedecision problemfinite implicationcomplete axiomatizationunrestricted implication

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items

On the finite and general implication problems of independence atoms and keys ⋮ Inferences for numerical dependencies ⋮ A Generalization of the Inference Rules for Join Dependencies in Databases ⋮ Characterization of desirable properties of general database decompositions. ⋮ Foundations of entity-relationship modeling ⋮ Incomplete deductive databases ⋮ Null inclusion dependencies in relational databases ⋮ Extending inclusion dependencies with conditions ⋮ Controlling entity integrity with key sets ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Recent Advances in Datalog$$^\pm $$ ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ The complexity of higher-order queries ⋮ On the formal properties of transitive inheritance in databases ⋮ Selective inheritance of attribute values in relational databases ⋮ On the finite controllability of conjunctive query answering in databases under open-world assumption ⋮ The effect of unary inclusion dependencies on relational database design ⋮ Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies ⋮ Data exchange: semantics and query answering ⋮ Partition semantics for relations ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ A characterization of finite fd-acyclicity ⋮ Independent database schemes under functional and inclusion dependencies ⋮ Axiomatisation of functional dependencies in incomplete relations ⋮ On Dependence Logic ⋮ A theory of data dependencies over relational expressions ⋮ Testing containment of conjunctive queries under functional and inclusion dependencies ⋮ Objects in relational database schemes with functional, inclusion, and exclusion dependencies ⋮ Dependency preservation in semantic databases

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