Jean-Marie Nicolas Logic for Improving Integrity Checking in Relational Data Bases. 227-253 1982 18 Acta Inf. db/journals/acta/acta18.html#Nicolas82