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

Functional dependenciesimplication over databasesinclusion dependenciesrelational databases

Mathematics Subject Classification ID

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

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

(37)

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

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)