Conference paperOn the Complexity and axiomatizability of consistent database states extended abstract