Volker Gaede Mark Wallace An Informal Introduction to Constraint Database Systems. 7-52 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#GaedeW97