Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes

DOI10.1007/978-3-540-77684-0_7zbMATH Open1138.68388OpenAlexW1585755826MaRDI QIDQ5445293FDOQ5445293

Authors: Joachim Biskup, Sebastian Link 

Publication date: 4 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77684-0_7

Recommendations

• Appropriate inferences of data dependencies in relational databases
• Full hierarchical dependencies in fixed and undetermined universes
• Reasoning about functional and full hierarchical dependencies over partial relations
• Charting the completeness frontier of inference systems for multivalued dependencies
• The implication problem for functional and inclusion dependencies

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• Discovery Science
• A relational model of data for large shared data banks
• An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the menbership problem for 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
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• On the design of relational database schemata
• Title not available (Why is that?)
• On Axiomatizing Multivalued Dependencies in Relational Databases
• Interactions between dependencies and nested relational structures
• An algebraic theory of functional and multivalued dependencies in relational databases
• On the complementation rule for multivalued dependencies in database relations
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
• Decision Problems for Multivalued Dependencies in Relational Databases
• A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
• Formal Concept Analysis
• Title not available (Why is that?)

Cited In (5)

• Spoilt for Choice: Full First-Order Hierarchical Decompositions
• Appropriate inferences of data dependencies in relational databases
• Charting the completeness frontier of inference systems for multivalued dependencies
• Foundations of Information and Knowledge Systems
• Full hierarchical dependencies in fixed and undetermined universes

This page was built for publication: Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445293)