A Lattice Representation of Relations, Multivalued Dependencies and Armstrong Relations
Document typeConference report
Rights accessRestricted access - publisher's policy
We present a lattice-base 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 calculated the lattice. We prove that this representation yields the set of multivalued dependencies that hold in a set of tuples as well as Armstrong relation.
CitationBaixeries, J.; Balcazar, J. A Lattice Representation of Relations, Multivalued Dependencies and Armstrong Relations. A: International Conference on Conceptual Structures. "Contributions to ICCS 2005". Kassel: 2005, p. 13-26.