Show simple item record

dc.contributor.authorBaixeries i Juvillà, Jaume
dc.contributor.authorBalcázar Navarro, José Luis
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2012-01-30T16:00:46Z
dc.date.available2012-01-30T16:00:46Z
dc.date.created2005
dc.date.issued2005
dc.identifier.citationBaixeries, 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.isbn9783540322627
dc.identifier.urihttp://hdl.handle.net/2117/14876
dc.description.abstractFunctional 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.extent14 p.
dc.language.isoeng
dc.publisherSpringer
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Llenguatges de programació
dc.subject.lcshProgramming languages (Electronic computers)
dc.subject.lcshLattice theory
dc.titleCharacterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis
dc.typeConference report
dc.subject.lemacReticles, Teoria de
dc.subject.lemacBases de dades
dc.contributor.groupUniversitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac9463475
dc.description.versionPreprint
local.citation.authorBaixeries, J.; Balcazar, J.
local.citation.contributorInternational Conference on Formal Concept Analysis
local.citation.pubplaceLens
local.citation.publicationNameLecture Notes in Computer Science
local.citation.startingPage162
local.citation.endingPage175


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record