Three Views on Dependency Covers from an FCA Perspective - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Three Views on Dependency Covers from an FCA Perspective

Résumé

Implications in Formal Concept Analysis (FCA), Horn clauses in Logic, and Functional Dependencies (FDs) in the Relational Database Model, are very important dependency types in their respective fields. Moreover, they have been proved to be equivalent from a syntactical point of view. Then notions and algorithms related to one dependency type in a field can be reused and applied to another dependency type in the other field. One of these notions is that of cover, also known as a basis, i.e., a compact representation of a complete set of implications, FDs, or Horn clauses. Although the notion of cover exists in the three fields, the characterization and the related uses of a cover are different. In this paper, we study and compare, from an FCA perspective, the principles on which rely the most important covers in each field. Finally, we discuss some open questions that are of interest in the three fields, and especially to the FCA community.
Fichier principal
Vignette du fichier
ICFCA_2023.pdf (324.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04370042 , version 1 (02-01-2024)

Licence

Identifiants

Citer

Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli. Three Views on Dependency Covers from an FCA Perspective. 17th International Conference on Formal Concept Analysis (ICFCA), Dominik Dürrschnabel and Domingo Lopez-Rodriguez, Jul 2023, Kassel university, Germany. p. 78-94, ⟨10.1007/978-3-031-35949-1_6⟩. ⟨hal-04370042⟩
60 Consultations
39 Téléchargements

Altmetric

Partager

More