PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Characterization and Armstrong relations for Degenerate Multivalued Dependencies using Formal Concept Analysis
Jaume Baixeries and José Balcázar
In: The Third International Conference on Formal Concept Analysis (ICFCA05), February 14-18 in 2005, Lens, France.


Functional dependencies, a notion originated in Relational Database Theory, are known to admit interesting characterizations in terms of Formal Concept Analysis. In database terms, two successive, natural extensions of the notion of functional dependency are the so-called degenerate multivalued dependencies, and multivalued dependencies proper. We propose here a new Galois connection, based on any given relation, which gives rise to a formal concept lattice corresponding precisely to the degenerate multivalued dependencies that hold in the relation given. The general form of the construction departs significantly from the most usual way of handling functional dependencies. Then, we extend our approach so as to extract Armstrong relations for the degenerate multivalued dependencies from the concept lattice obtained; the proof of the correctness of this construction is nontrivial.

Postscript - PASCAL Members only - Requires a viewer, such as GhostView
EPrint Type:Conference or Workshop Item (Paper)
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
Information Retrieval & Textual Information Access
ID Code:395
Deposited By:Jaume Baixeries
Deposited On:19 December 2004