Axiomatisation of functional dependencies in incomplete relations

DOI10.1016/S0304-3975(98)80029-7zbMath0912.68025OpenAlexW2045566234MaRDI QIDQ1274978

George Loizou, Mark Levene

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)80029-7

zbMATH Keywords

axiom systemfunctional dependenciesincomplete relationsArmstrong relations

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

On a problem of Fagin concerning multivalued dependencies in relational databases ⋮ Full hierarchical dependencies in fixed and undetermined universes ⋮ Propagating XML constraints to relations ⋮ Appropriate inferences of data dependencies in relational databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS ⋮ Data exchange and schema mappings in open and closed worlds ⋮ Constructing Armstrong tables for general cardinality constraints and not-null constraints ⋮ Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL ⋮ Charting the completeness frontier of inference systems for multivalued dependencies ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions

Cites Work

• Design by example: An application of Armstrong relations
• Inclusion dependencies and their interaction with functional dependencies
• Armstrong databases for functional and inclusion dependencies
• Algorithms for generating an Armstrong relation and inferring functional dependencies in the relational datamodel
• Null inclusion dependencies in relational databases
• Functional dependencies and constraints on null values in database relations
• On the Structure of Armstrong Relations for Functional Dependencies
• On the Equivalence of Database Models
• Testing satisfaction of functional dependencies
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item