Bart Kuijpers Marc Smits On Expressing Topological Connectivity in Spatial Datalog. 116-133 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#KuijpersS97