Dagstuhl研讨会论文集：约束数据库、几何消除和地理信息系统2007
伯恩德银行 , 马克斯·伊根霍夫（Max J.Egenhofer） , 巴特·奎杰普斯 
:
约束数据库、几何消除和地理信息系统，20.05.- 25.05.2007. 达格斯图尔研讨会记录 07212, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik（IBFI） 2007 彼得·雷维斯 :
约束数据库和地理信息系统。 伯恩德银行 , 马克斯·伊根霍夫（Max J.Egenhofer） , 乔斯·海因茨 , 巴特·奎杰普斯 , 彼得·雷维斯 :
07212宣言——约束数据库、几何消除和地理信息系统。 拉斐尔·格林森 :
从量词消除的角度来看，线性优化复杂性的下限。 斯蒂芬·梅斯 :
检查空间完整性约束的完整性。 巴特·奎杰普斯 , 瓦利德·奥斯曼 :
移动对象数据珠模型中不在场证明查询的分析解决方案。 伯恩德银行 , 马克斯·伊根霍夫（Max J.Egenhofer） , Bart Kuijpers公司 :
07212文摘集——约束数据库、几何消除和地理信息系统。
