Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences
The relational model with relation-valued attributes
Information Systems
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
The structure of the relational database model
The structure of the relational database model
Regular Article: The nested universal relation data model
Proceedings of the 30th IEEE symposium on Foundations of computer science
On the undecidability of implications between embedded multivalued database dependencies
Information and Computation
On the design of relational database schemata
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
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
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Query processing utilizing dependencies and horizontal decomposition
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
NeT & CoT: translating relational schemas to XML schemas using semantic constraints
Proceedings of the eleventh international conference on Information and knowledge management
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Design of an Integrated Information Retrieval/Database Management System
IEEE Transactions on Knowledge and Data Engineering
Properties of Weak Conditional Independence
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Query Languages for Nested Relational Databases
Papers from the Workshop ``Theory and Applications of Nested Relations and Complex Objects' on Nested Relations and Complex Objects
A non-first-normal-form relational database model
A non-first-normal-form relational database model
Information Systems
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)
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
On the equivalence between FDs in XML and FDs in relations
Acta Informatica
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
A consideration on normal form of not-necessarily-normalized relation in the relational data model
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Object-oriented Bayesian networks
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
On the implication problem for probabilistic conditional independency
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Nesting is a useful technique in many areas of database practice. For instance, nesting is a fundamental operation for the nested relational data model, it can be applied to reduce the level of data redundancy in a database instance, to improve query processing or to convert data from one model to another. We further address the question when nesting operations commute with one another, i.e., when the final nested database relation is independent of the order in which the nesting operations are applied. In fact, it has been shown that the satisfaction of weakmultivalued dependencies provides a sufficient and necessary condition for the commutativity of nesting operations. We study inference systems for different notions of implication for weak multivalued dependencies. First, we establish an axiomatisation with the property that every weak multivalued dependency can be inferred either without any application of the complementation rule or by a single application of the complementation rule necessary only in the very last step of the inference. Consequently, the complementation rule is a mere means to achieve a decomposition of the database. Secondly, we drop the assumption of having a fixed underlying schema, and establish an axiomatisation of weak multivalued dependencies for the notion of implication in this context.