Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes

DOI10.1007/978-3-540-77684-0_7MaRDI QIDQ5445293zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Database theory (68P15)

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

Cites work

• scientific article; zbMATH DE number 43047 (Why is no real title available?)
• scientific article; zbMATH DE number 41085 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 854489 (Why is no real title available?)
• A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
• A relational model of data for large shared data banks
• An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
• An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• An algebraic theory of functional and multivalued dependencies in relational databases
• Axiomatisation of functional dependencies in incomplete relations
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• Decision Problems for Multivalued Dependencies in Relational Databases
• Discovery Science
• Formal Concept Analysis
• Full hierarchical dependencies in fixed and undetermined universes
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• Inferences of multivalued dependencies in fixed and undetermined universes
• Interactions between dependencies and nested relational structures
• On Axiomatizing Multivalued Dependencies in Relational Databases
• On a problem of Fagin concerning multivalued dependencies in relational databases
• On the complementation rule for multivalued dependencies in database relations
• On the design of relational database schemata
• On the menbership problem for functional and multivalued dependencies in relational databases

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)