Joachim Reinert Ambiguity for Referential Integrity Is Undecidable. 132-147 1995 conf/cdb/1995 CDB db/conf/cdb/cdb95.html#Reiner95