The implication problem for functional and inclusion dependencies

DOI10.1016/S0019-9958(83)80002-3MaRDI QIDQ3326888zbMATH OpenWikidataFDO

Authors John Mitchell

Publication date 1983

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(83)80002-3

zbMATH Keywords

relational databasesinclusion dependenciesFunctional dependenciesimplication over databases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Inclusion dependencies and their interaction with functional dependencies
• Null inclusion dependencies in relational databases
• On the implication problem for cardinality constraints and functional dependencies
• On the undecidability of implications between embedded multivalued database dependencies

Cited in

(36)

• The implication problem for functional dependencies and variants of marginal distribution equivalences
• On the finite and general implication problems of independence atoms and keys
• Independent database schemes under functional and inclusion dependencies
• Reasoning about embedded dependencies using inclusion dependencies
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• XML with data values: Typechecking revisited.
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Inclusion dependencies and their interaction with functional dependencies
• On the undecidability of implications between embedded multivalued database dependencies
• A finite axiomatization of conditional independence and inclusion dependencies
• Inclusion dependencies and their interaction with functional dependencies in SQL
• How to prevent interaction of functional and inclusion dependencies
• The inference problem for template dependencies
• Implication of functional dependencies for recursive queries
• Non-finite specifiability of projections of functional dependency families
• Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
• Null inclusion dependencies in relational databases
• scientific article; zbMATH DE number 3965470 (Why is no real title available?)
• On the implication problem for cardinality constraints and functional dependencies
• A finite axiomatization of conditional independence and inclusion dependencies
• Objects in relational database schemes with functional, inclusion, and exclusion dependencies
• scientific article; zbMATH DE number 7566070 (Why is no real title available?)
• Foundations of entity-relationship modeling
• On subsumption and semiunification in feature algebras
• On the formal properties of transitive inheritance in databases
• Selective inheritance of attribute values in relational databases
• Evaluating Datalog via tree automata and cycluits
• scientific article; zbMATH DE number 1929304 (Why is no real title available?)
• scientific article; zbMATH DE number 810104 (Why is no real title available?)
• The implication and finite implication problems for typed template dependencies
• Polynomial-time implication problems for unary inclusion dependencies
• Subsumption and implication
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• A new characterization of FD implication with an application to update anomalies

This page was built for publication: The implication problem for functional and inclusion dependencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3326888)