Characterisations of multivalued dependency implication over undetermined universes
From MaRDI portal
Publication:439967
DOI10.1016/j.jcss.2011.12.012zbMath1246.68111OpenAlexW2001584025MaRDI 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 logicimplicationclosed setconditional independencymultivalued dependencyrelational model of datathe chaseundetermined universe
Related Items
On the finite and general implication problems of independence atoms and keys ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
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