Checking Functional Consistency in Deductive Databases

Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca. Checking Functional Consistency in Deductive Databases. Inf. Process. Lett., 35(3):115-120, 1990.

Abstract

Abstract is missing.