PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

New Closure Operators and Lattice Representations for Multivalued Dependencies and Related Expressions
Jaume Baixeries and José Balcázar
Proceedings of Concept Lattices and Their Applications 2005 2005.

Abstract

In Database Theory, Multivalued Dependencies are the main tool to define the Fourth Normal Form and, as such, their inference problem has been deeply studied; two related notions appearing in that study are a syntactical analog in propositional logic and a restriction that maintains to this logic the same relationship as Functional Dependencies do to Horn logic. We present semantic, lattice-theoretic characterizations of such multivalued dependencies that hold in a given relation, as well as similar results for the related notions just mentioned. Our characterizations explain better some previously known facts by providing a unifying framework that is also consistent with the studies of Functional Dependencies.

PDF - PASCAL Members only - Requires Adobe Acrobat Reader or other PDF viewer.
EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:1599
Deposited By:Jaume Baixeries
Deposited On:28 November 2005