David A. Cohen Marc Gyssens Peter Jeavons Derivation of Constraints and Database Relations. 134-148 1996 conf/cp/1996 CP db/conf/cp/cp96.html#CohenGJ96