Elisa Bertino Daniela Musto Correctness of Semantic Integrity Checking in Database Management Systems. 25-57 1988 26 Acta Inf. 1/2 db/journals/acta/acta26.html#BertinoM88