Design of relational database schemes by deleting attributes in the canonical decomposition
Journal of Computer and System Sciences
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Information Sciences: an International Journal
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
On the undecidability of implications between embedded multivalued database dependencies
Information and Computation
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
Axiomatisation of functional dependencies in incomplete relations
Theoretical Computer Science
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
On the design of relational database schemata
ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems (TODS)
On Axiomatizing Multivalued Dependencies in Relational Databases
Journal of the ACM (JACM)
On the Complexity of Testing Implications of Functional and Join Dependencies
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
On the Equivalence of Database Models
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
What does Boyce-Codd normal form do?
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Numerical constraints on XML data
Information and Computation
Multivalued dependencies in XML
BNCOD'03 Proceedings of the 20th British national conference on Databases
Using transversals for discovering XML functional dependencies
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Logical and algorithmic properties of stable conditional independence
International Journal of Approximate Reasoning
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Solving the implication problem for XML functional dependencies with properties
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
On multivalued dependencies in fixed and undetermined universes
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Relationship design using spreadsheet reasoning for sets of functional dependencies
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
On the existence of armstrong data trees for XML functional dependencies
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
ACM Transactions on Database Systems (TODS)
Probabilistic conditional independence under schema certainty and uncertainty
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
Hi-index | 0.00 |
We study inference systems for the combined class of functional and full hierarchical dependencies in relational databases. Two notions of implication are considered: the original notion in which a dependency is implied by a given set of dependencies and the underlying set of attributes, and the alternative notion in which a dependency is implied by a given set of dependencies alone. The first main result establishes a finite axiomatisation for the original notion of implication which clarifies the role of the complementation rule in the combined setting. In fact, we identify inference systems that are appropriate in the following sense: full hierarchical dependencies can be inferred without use of the complementation rule at all or with a single application of the complementation rule at the final step of the inference only; and functional dependencies can be inferred without any application of the complementation rule. The second main result establishes a finite axiomatisation for the alternative notion of implication. We further show how inferences of full hierarchical dependencies can be simulated by inferences of multivalued dependencies, and vice versa. This enables us to apply both of our main results to the combined class of functional and multivalued dependencies. Furthermore, we establish a novel axiomatisation for the class of non-trivial functional dependencies.