Appropriate inferences of data dependencies in relational databases
From MaRDI portal
Publication:429431
DOI10.1007/s10472-012-9275-0zbMath1258.68047OpenAlexW2010405333MaRDI QIDQ429431
Joachim Biskup, Sebastian Link
Publication date: 19 June 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-012-9275-0
relational databasefunctional dependenciesdata dependenciesaximatisation systemsdata semanticsfull hierarchical dependencies
Related Items (6)
A Generalization of the Inference Rules for Join Dependencies in Databases ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations ⋮ 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- Numerical constraints on XML data
- Logical and algorithmic properties of stable conditional independence
- Charting the completeness frontier of inference systems for multivalued dependencies
- Formal systems for join dependencies
- Design of relational database schemes by deleting attributes in the canonical decomposition
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- 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 undecidability of implications between embedded multivalued database dependencies
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- On Inferences ofWeak Multivalued Dependencies
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the design of relational database schemata
- On the Complexity of Testing Implications of Functional and Join Dependencies
- On the Equivalence of Database Models
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- Determining View dependencies using tableaux
- On Axiomatizing Multivalued Dependencies in Relational Databases
- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
- Solving the Implication Problem for XML Functional Dependencies with Properties
- Using Transversals for Discovering XML Functional Dependencies
- A relational model of data for large shared data banks
- Foundations of Information and Knowledge Systems
This page was built for publication: Appropriate inferences of data dependencies in relational databases
