The implication problem for functional and inclusion dependencies
From MaRDI portal
Publication:3326888
DOI10.1016/S0019-9958(83)80002-3zbMath0539.68090WikidataQ114656782 ScholiaQ114656782MaRDI QIDQ3326888
Publication date: 1983
Published in: Information and Control (Search for Journal in Brave)
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