PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Characterizations of Multivalued Dependencies and Related Expressions
José Balcázar and Jaume Baixeries
In: Discovery Science 2004, Italy(2004).


We study multivalued dependencies, as well as the propositional formulas whose deduction calculus parallels that of multivalued dependencies, and the variant known as degenerated multivalued dependencies. For each of these sorts of expressions, we provide intrinsic characterizations in purely semantic terms. They naturally generalize similar properties of functional dependencies or Horn clauses.

EPrint Type:Conference or Workshop Item (Paper)
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:169
Deposited By:Jaume Baixeries
Deposited On:03 June 2004