Tableaux for Functional Dependencies and Independencies

• Authors:

• Duminda Wijesekera;M. Ganesh;Jaideep Srivastava;Anil Nerode

• Affiliations:

• -;-;-;-

• Venue:
• TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
• Year:
• 1997