On the Complexity and Axiomatizability of Consistent Database States.

Marc H. Graham, Moshe Y. Vardi

Browse the full PODS paper archive.