Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences
A simple characterization of database dependency implication
Information Processing Letters
Design by exmple: An application of Armstrong relations
Journal of Computer and System Sciences
Functional dependencies and constraints on Null values in database relations
Information and Control
An algebraic theory of functional and multivalued dependencies in relational databases
Theoretical Computer Science
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
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
Information Sciences: an International Journal
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
The practical need for fourth normal form
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Data modeling essentials: analysis, design, and innovation
Data modeling essentials: analysis, design, and innovation
Algorithms for inferring functional dependencies from relations
Data & Knowledge Engineering
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)
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)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
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)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
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)
A Complete Axiomatization of Full Join Dependencies
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
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
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures
IEEE Transactions on Knowledge and Data Engineering
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Analysis and design of relational schemata for database systems.
Analysis and design of relational schemata for database 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)
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Query reformulation with constraints
ACM SIGMOD Record
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Tractable database design through bounded treewidth
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
Propagating XML constraints to relations
Journal of Computer and System Sciences
A formal analysis of information disclosure in data exchange
Journal of Computer and System Sciences
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
Management of probabilistic data: foundations and challenges
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the equivalence between FDs in XML and FDs in relations
Acta Informatica
A sophisticate's introduction to database normalization theory
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Algorithmic applications for a new result on multivalued dependencies
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
What does Boyce-Codd normal form do?
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Reducing inference control to access control for normalized database schemas
Information Processing Letters
Efficient core computation in data exchange
Journal of the ACM (JACM)
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-width and functional dependencies in databases
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A revival of integrity constraints for data cleaning
Proceedings of the VLDB Endowment
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Functional dependencies in a relational database and propositional logic
IBM Journal of Research and Development
Numerical constraints on XML data
Information and Computation
Multivalued dependencies in XML
BNCOD'03 Proceedings of the 20th British national conference on Databases
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
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics
Information Processing Letters
Elements of Finite Model Theory
Elements of Finite Model Theory
On Codd Families of Keys over Incomplete Relations
The Computer Journal
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
On the implication problem for probabilistic conditional independency
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
ACM Transactions on Database Systems (TODS)
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
In relational databases the original definition of a multivalued dependency is dependent on the underlying relation schema. In this context, the implication of multivalued dependencies has been characterised from multiple perspectives. Logically, it is equivalent to the logical implication of certain material implications in Boolean propositional logic. Proof-theoretically, the Chase procedure offers a convenient tool to decide implication. And algebraically, the implication can be characterised by the notion of closed attribute sets with respect to multivalued dependencies. The assumption of having a fixed underlying relation schema is not always feasible in practice, and also distinguishes multivalued dependencies from other classes of data dependencies. In this paper, we establish logical, proof-theoretical and algebraic characterisations for Biskup@?s notion of multivalued dependency implication over undetermined universes. That is, we unburden the current theory of the assumption of having a fixed underlying relation schema. From the perspective of probability theory this means that is unnecessary to fix the set of discrete probabilistic variables in order to utilise conditional independencies.