Knowledge-based Integrity Constraint Validation.

Xiaolei Qian, Gio Wiederhold

Browse the full VLDB paper archive.