The multiple facets of the canonical direct implicational basis

Karell Bertet () and Bernard Monjardet
Additional contact information
Karell Bertet: L3I

Cahiers de la Maison des Sciences Economiques from Université Panthéon-Sorbonne (Paris 1)

Abstract: Closure systems on a set S arises in many areas as relational databases, data-mining, formal concept analysis, artificial intelligence, logical programming or lattice theory. Implicational systems represent an efficient and convenient tool to deal with a closure system, and have been studied in various areas, with different terminology. This paper states the equality between five implicational systems issued from different works and satisfying various properties. The three main properties are the directness, canonical and minimality properties, thus the name canonical direct implicational basis given to this unique implicational system. This paper also gives the link between the canonical direct implicational basis and the Horn functions (via the prime implicants). It concludes by the necessity to compare more closely related works made independently, and with different terminology in order to take advantage of the results really new

Keywords: Implicational system; closure operator; closure system; canonical direct basis; lattice; Horn function (search for similar items in EconPapers)
JEL-codes: C0 (search for similar items in EconPapers)
Pages: 29 pages
Date: 2005-06
References: Add references at CitEc
Citations:

Published in Theoretical Computer Science, 2010, 411, (22-24), pp.2155-2166

Downloads: (external link)
https://halshs.archives-ouvertes.fr/halshs-00195577 (application/pdf)
https://doi.org/10.1016/j.tcs.2009.12.021

Related works:
Working Paper: The multiple facets of the canonical direct implicational basis (2005)
Working Paper: The multiple facets of the canonical direct implicational basis (2005)
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:mse:wpsorb:b05052

Access Statistics for this paper

More papers in Cahiers de la Maison des Sciences Economiques from Université Panthéon-Sorbonne (Paris 1) Contact information at EDIRC.
Bibliographic data for series maintained by Lucie Label ().