Checking Consistency of Database Constraints: a Logical Basis.

Franois Bry, Rainer Manthey

Browse the full VLDB paper archive.