Bart Kuijpers Victor Vianu Topological Queries. 231-273 2000 Constraint Databases db/conf/cdb/cdb2000.html#KuijpersV00