Constraint Checking with Partial Information.

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom

Browse the full PODS paper archive.