Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph

Bern Martens, Maurice Bruynooghe. Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. In Expert Database Conf.. pages 567-601, 1988.

Abstract

Abstract is missing.