The implication problem for functional and inclusion dependencies

DOI10.1016/S0019-9958(83)80002-3zbMath0539.68090WikidataQ114656782 ScholiaQ114656782MaRDI QIDQ3326888

John C. Mitchell

Publication date: 1983

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

zbMATH Keywords

relational databasesinclusion dependenciesFunctional dependenciesimplication over databases

Mathematics Subject Classification ID

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

Related Items (15)

On the finite and general implication problems of independence atoms and keys ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Foundations of entity-relationship modeling ⋮ Null inclusion dependencies in relational databases ⋮ XML with data values: Typechecking revisited. ⋮ On subsumption and semiunification in feature algebras ⋮ On the finite controllability of conjunctive query answering in databases under open-world assumption ⋮ Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies ⋮ Unnamed Item ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL ⋮ Independent database schemes under functional and inclusion dependencies ⋮ Evaluating Datalog via tree automata and cycluits ⋮ Testing containment of conjunctive queries under functional and inclusion dependencies ⋮ Objects in relational database schemes with functional, inclusion, and exclusion dependencies ⋮ Inclusion dependencies and their interaction with functional dependencies

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