Characterisations of multivalued dependency implication over undetermined universes
From MaRDI portal
Publication:439967
DOI10.1016/j.jcss.2011.12.012zbMath1246.68111MaRDI QIDQ439967
Publication date: 17 August 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.12.012
propositional logic; implication; closed set; conditional independency; multivalued dependency; relational model of data; the chase; undetermined universe
68P15: Database theory
Related Items
On the finite and general implication problems of independence atoms and keys, Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions, Reasoning about functional and full hierarchical dependencies over partial relations, Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Data exchange: semantics and query answering
- Design by example: An application of Armstrong relations
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
- Rewriting queries using views with access patterns under integrity constraints
- Propagating XML constraints to relations
- A formal analysis of information disclosure in data exchange
- Dependency-preserving normalization of relational and XML data
- Reducing inference control to access control for normalized database schemas
- Numerical constraints on XML data
- Charting the completeness frontier of inference systems for multivalued dependencies
- Membership problems for data dependencies in relational expressions
- Formal systems for join dependencies
- A simple characterization of database dependency implication
- Interactions between dependencies and nested relational structures
- An algebraic theory of functional and multivalued dependencies in relational databases
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Inferences of multivalued dependencies in fixed and undetermined universes
- Inferring multivalued dependencies from functional and join dependencies
- On the complementation rule for multivalued dependencies in database relations
- Axiomatisation of functional dependencies in incomplete relations
- Semantic foundations of 4NF in relational database design
- Reasoning with examples: Propositional formulae and database dependencies
- On a problem of Fagin concerning multivalued dependencies in relational databases
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- Characterising nested database dependencies by fragments of propositional logic
- The complexity of embedded axiomatization for a class of closed database views
- Functional and multivalued dependencies in nested databases generated by record and list constructor
- On the equivalence between FDs in XML and FDs in relations
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- Efficient core computation in data exchange
- On Inferences ofWeak Multivalued Dependencies
- Functional dependencies and constraints on null values in database relations
- On the Structure of Armstrong Relations for Functional Dependencies
- On the menbership problem for functional and multivalued dependencies in relational databases
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Equivalence of Relational Database Schemes
- On the Complexity of Testing Implications of Functional and Join Dependencies
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- A Complete Axiomatization of Full Join Dependencies
- Determining View dependencies using tableaux
- Functional Dependencies in a Relational Database and Propositional Logic
- On Axiomatizing Multivalued Dependencies in Relational Databases
- Decision Problems for Multivalued Dependencies in Relational Databases
- Algorithms for inferring functional dependencies from relations
- A relational model of data for large shared data banks
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations