Tableaux for Functional Dependencies and Independencies.

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

Browse the full TABLEAUX paper archive.