Logic for Improving Integrity Checking in Relational Data Bases

Jean-Marie Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18:227-253, 1982.

Abstract

Abstract is missing.