Automatic Extraction of Functional Dependencies

Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais. Automatic Extraction of Functional Dependencies. In Holger H. Hoos, David G. Mitchell, editors, Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Volume 3542 of Lecture Notes in Computer Science, pages 122-132, Springer, 2004. [doi]

Abstract

Abstract is missing.