Siegfried Bell Discovery and Maintenance of Functional Dependencies by Independencies. 27-32 1995 KDD db/conf/kdd/kdd95.html#Bell95