Characterisations of multivalued dependency implication over undetermined universes
type: Item
instance of: scholarly article
title: Characterisations of multivalued dependency implication over undetermined universes
zbMATH Open document ID: 1246.68111
author: Sebastian Link
published in: Journal of Computer and System Sciences
publication date: 2012-08-17T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 6067716
zbMATH Keywords: relational model of data
zbMATH Keywords: multivalued dependency
zbMATH Keywords: conditional independency
zbMATH Keywords: implication
zbMATH Keywords: undetermined universe
zbMATH Keywords: propositional logic
zbMATH Keywords: the chase
zbMATH Keywords: closed set
MaRDI profile type: Publication
full work available at URL: j.jcss.2011.12.012
OpenAlex ID: W2001584025
cites work: Q4864249
cites work: Q4050122
cites work: Functional dependencies and constraints on null values in database relations
cites work: On the menbership problem for functional and multivalued dependencies in relational databases
cites work: On the Structure of Armstrong Relations for Functional Dependencies
cites work: Equivalence of Relational Database Schemes
cites work: Formal systems for join dependencies
cites work: On the complementation rule for multivalued dependencies in database relations
cites work: Inferences of multivalued dependencies in fixed and undetermined universes
cites work: Reducing inference control to access control for normalized database schemas
cites work: A relational model of data for large shared data banks
cites work: Q3992694
cites work: Propagating XML constraints to relations
cites work: Rewriting queries using views with access patterns under integrity constraints
cites work: A mathematical introduction to logic.
cites work: Functional Dependencies in a Relational Database and Propositional Logic
cites work: Data exchange: semantics and query answering
cites work: Q4728289
cites work: Interactions between dependencies and nested relational structures
cites work: An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
cites work: Efficient core computation in data exchange
cites work: Q4399900
cites work: Decision Problems for Multivalued Dependencies in Relational Databases
cites work: A simple characterization of database dependency implication
cites work: On a problem of Fagin concerning multivalued dependencies in relational databases
cites work: Characterising nested database dependencies by fragments of propositional logic
cites work: On Inferences ofWeak Multivalued Dependencies
cites work: Numerical constraints on XML data
cites work: Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
cites work: Functional and multivalued dependencies in nested databases generated by record and list constructor
cites work: The complexity of embedded axiomatization for a class of closed database views
cites work: Membership problems for data dependencies in relational expressions
cites work: Q4385543
cites work: Reasoning with examples: Propositional formulae and database dependencies
cites work: Determining View dependencies using tableaux
cites work: Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
cites work: Dependency-preserving normalization of relational and XML data
cites work: An algebraic theory of functional and multivalued dependencies in relational databases
cites work: Axiomatisation of functional dependencies in incomplete relations
cites work: Charting the completeness frontier of inference systems for multivalued dependencies
cites work: ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
cites work: On the Complexity of Testing Implications of Functional and Join Dependencies
cites work: Design by example: An application of Armstrong relations
cites work: Algorithms for inferring functional dependencies from relations
cites work: On Axiomatizing Multivalued Dependencies in Relational Databases
cites work: A formal analysis of information disclosure in data exchange
cites work: Q3992720
cites work: Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
cites work: An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
cites work: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
cites work: A Complete Axiomatization of Full Join Dependencies
cites work: Q4833671
cites work: A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
cites work: Q3994395
cites work: Inferring multivalued dependencies from functional and join dependencies
cites work: Semantic foundations of 4NF in relational database design
cites work: Q4444370
cites work: On the equivalence between FDs in XML and FDs in relations
DOI: 10.1016/J.JCSS.2011.12.012