PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

A Lattice Representation of Relations, Multivalued Dependencies and Armstrong Relations
Jaume Baixeries and José Balcázar
Complementary Proceedings of the 13th International Conference on Conceptual Structures 2005.


We present a lattice-based formalism to relate, in a novel way, different representation methods for relational data. Specifically, relations given extensionally by tuples, multivalued dependencies, and Armstrong relations for multivalued dependencies. The semantics of this formalism is based on a closure operator used to calculate the lattice. We prove that this representation calculates the set of multivalued dependencies that hold in a set of tuples as well as an Armstrong relation. We also discuss a number of issues of this representation with respect to the size of the combinatorial objects obtained, and the logical entailment properties compared to those of multivalued 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:1598
Deposited By:Jaume Baixeries
Deposited On:28 November 2005