Mostra el registre d'ítem simple
Characterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis
dc.contributor.author | Baixeries i Juvillà, Jaume |
dc.contributor.author | Balcázar Navarro, José Luis |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2012-01-30T16:00:46Z |
dc.date.available | 2012-01-30T16:00:46Z |
dc.date.created | 2005 |
dc.date.issued | 2005 |
dc.identifier.citation | Baixeries, J.; Balcazar, J. Characterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis. A: International Conference on Formal Concept Analysis. "Lecture Notes in Computer Science". Lens: Springer, 2005, p. 162-175. |
dc.identifier.isbn | 9783540322627 |
dc.identifier.uri | http://hdl.handle.net/2117/14876 |
dc.description.abstract | 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 socalled 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. |
dc.format.extent | 14 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació |
dc.subject.lcsh | Programming languages (Electronic computers) |
dc.subject.lcsh | Lattice theory |
dc.title | Characterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis |
dc.type | Conference report |
dc.subject.lemac | Reticles, Teoria de |
dc.subject.lemac | Bases de dades |
dc.contributor.group | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 9463475 |
dc.description.version | Preprint |
local.citation.author | Baixeries, J.; Balcazar, J. |
local.citation.contributor | International Conference on Formal Concept Analysis |
local.citation.pubplace | Lens |
local.citation.publicationName | Lecture Notes in Computer Science |
local.citation.startingPage | 162 |
local.citation.endingPage | 175 |