On Axiomatization and Inference Complexity over a Hierarchy of Functional Dependencies.
['Jaroslaw Szlichta', 'Lukasz Golab', 'Divesh Srivastava']
On Axiomatization and Inference Complexity over a Hierarchy of Functional Dependencies.