Characterisations of multivalued dependency implication over undetermined universes

DOI10.1016/J.JCSS.2011.12.012zbMATH Open1246.68111OpenAlexW2001584025MaRDI QIDQ439967FDOQ439967

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

Recommendations

Foundations of Information and Knowledge Systems
Charting the completeness frontier of inference systems for multivalued dependencies
ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
Discovery Science
A simple characterization of database dependency implication

closed set implication propositional logic conditional independency multivalued dependency relational model of data the chase undetermined universe

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

Title not available (Why is that?)
Reasoning with examples: Propositional formulae and database dependencies
A mathematical introduction to logic.
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
A relational model of data for large shared data banks
Charting the completeness frontier of inference systems for multivalued dependencies
Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
Semantic foundations of 4NF in relational database design
Efficient core computation in data exchange
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Title not available (Why is that?)
Data exchange: semantics and query answering
Dependency-preserving normalization of relational and XML data
Title not available (Why is that?)
Algorithms for inferring functional dependencies from relations
On the Complexity of Testing Implications of Functional and Join Dependencies
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Formal systems for join dependencies
A Complete Axiomatization of Full Join Dependencies
Functional Dependencies in a Relational Database and Propositional Logic
Rewriting queries using views with access patterns under integrity constraints
A formal analysis of information disclosure in data exchange
Title not available (Why is that?)
On the menbership problem for functional and multivalued dependencies in relational databases
Inferences of multivalued dependencies in fixed and undetermined universes
Axiomatisation of functional dependencies in incomplete relations
On a problem of Fagin concerning multivalued dependencies in relational databases
Characterising nested database dependencies by fragments of propositional logic
Functional and multivalued dependencies in nested databases generated by record and list constructor
ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
On Inferences ofWeak Multivalued Dependencies
Determining View dependencies using tableaux
Title not available (Why is that?)
On Axiomatizing Multivalued Dependencies in Relational Databases
Title not available (Why is that?)
Numerical constraints on XML data
Membership problems for data dependencies in relational expressions
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
Inferring multivalued dependencies from functional and join dependencies
On the complementation rule for multivalued dependencies in database relations
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
The complexity of embedded axiomatization for a class of closed database views
On the equivalence between FDs in XML and FDs in relations
Functional dependencies and constraints on null values in database relations
On the Structure of Armstrong Relations for Functional Dependencies
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Equivalence of Relational Database Schemes
Decision Problems for Multivalued Dependencies in Relational Databases
Title not available (Why is that?)
Design by example: An application of Armstrong relations
A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
Propagating XML constraints to relations
Reducing inference control to access control for normalized database schemas

Cited In (10)

On the finite and general implication problems of independence atoms and keys
Charting the completeness frontier of inference systems for multivalued dependencies
Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
Foundations of Information and Knowledge Systems
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
A simple characterization of database dependency implication
Title not available (Why is that?)
Discovery Science
Reasoning about functional and full hierarchical dependencies over partial relations
Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions

This page was built for publication: Characterisations of multivalued dependency implication over undetermined universes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439967)