Automatic extraction of functional dependencies

Eric Gregoire (1) , Richard Ostrowski (1) , Bertrand Mazure (1) , Lakhdar Saïs (1)

1 CRIL - Centre de Recherche en Informatique de Lens

In this paper, a new polynomial time technique for extracting functional depedencies in Boolean formulas is proposed. It makes an original use of the well-known Boolean constraint propagation technique (BCP) in a new preprocessing approach that extracts more hidden Boolean functions and dependent variables than previously published approaches on many classes of instances.

Domaines: Intelligence artificielle [cs.AI]

Eric Gregoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs. Automatic extraction of functional dependencies. Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004), 2005, Vancouver, Canada. pp.122-132. ⟨hal-00397450⟩