Some decision and counting problems of the Duquenne–Guigues basis of implications

https://doi.org/10.1016/j.dam.2007.04.014Get rights and content
Under an Elsevier user license
open archive

Abstract

Implications of a formal context obey Armstrong rules, which allows one to define a minimal (in the number of implications) implication basis, called Duquenne–Guigues basis or stem base in the literature. In this paper we show how implications are reduced to functional dependencies and prove that the problem of determining the size of the stem base is a #P-complete problem.

Keywords

Implication basis
Duquenne–Guigues basis
#P-completeness
Functional dependencies

Cited by (0)

1

Present address: Department of Applied Mathematics, State University Higher School of Economics, Moscow, Russia.