Stéphane Grumbach Jianwen Su First-order Definability over Constraint Databases. 121-136 1995 conf/cp/1995 CP db/conf/cp/cp95.html#GrumbachS95