On the Complexity and axiomatizability of consistent database states extended abstractMarc H. GrahamMoshe Y. Vardi1984SIGMOD/PODS 1984