Constraint checking with partial information (1994)

by A Gupta, Y Sagiv, J D Ullman, J Widom
Venue:In Proc. of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS