Charting the completeness frontier of inference systems for multivalued dependencies
From MaRDI portal
Publication:1006342
DOI10.1007/s00236-008-0080-5zbMath1169.68014OpenAlexW2041464774MaRDI QIDQ1006342
Publication date: 20 March 2009
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-008-0080-5
Related Items (8)
On the finite and general implication problems of independence atoms and keys ⋮ 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 ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions ⋮ Spoilt for Choice: Full First-Order Hierarchical Decompositions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Membership problems for data dependencies in relational expressions
- Database relations with null values
- Interactions between dependencies and nested relational structures
- An algebraic theory of functional and multivalued dependencies in relational databases
- Inferences of multivalued dependencies in fixed and undetermined universes
- Axiomatisation of functional dependencies in incomplete relations
- On a problem of Fagin concerning multivalued dependencies in relational databases
- Full hierarchical dependencies in fixed and undetermined universes
- Characterising nested database dependencies by fragments of propositional logic
- Functional and multivalued dependencies in nested databases generated by record and list constructor
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- On the menbership problem for functional and multivalued dependencies in relational databases
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- On the Equivalence of Database Models
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- On Axiomatizing Multivalued Dependencies in Relational Databases
- Decision Problems for Multivalued Dependencies in Relational Databases
- A relational model of data for large shared data banks
- Foundations of Information and Knowledge Systems
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
This page was built for publication: Charting the completeness frontier of inference systems for multivalued dependencies
