A Lattice Representation of Relations, Multivalued Dependencies and Armstrong Relations
Jaume Baixeries i Juvillà, José Luis Balcázar Navarro · 2005
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.