Levent V. Orman Relational Database Constraints as Counterexamples. 167-189 1997 34 Acta Inf. 3 db/journals/acta/acta34.html#Orman97