A Derivation Path Recording Method for Integrity Checking in Deductive Databases

Autores UPV
Año
CONGRESO A Derivation Path Recording Method for Integrity Checking in Deductive Databases