Appropriate inferences of data dependencies in relational databases
From MaRDI portal
Publication:429431
DOI10.1007/s10472-012-9275-0zbMath1258.68047MaRDI 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 database; functional dependencies; data dependencies; aximatisation systems; data semantics; full hierarchical dependencies
Related Items
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, Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations, Reasoning about functional and full hierarchical dependencies over partial relations, Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
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