Lukasz Golab Howard J. Karloff Flip Korn Divesh Srivastava Bei Yu On generating near-optimal tableaux for conditional functional dependencies. 376-390 2008 1 PVLDB 1 http://www.vldb.org/pvldb/1/1453900.pdf db/journals/pvldb/pvldb1.html#GolabKKSY08