Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles.

Magali Duboisset Francois Pinet Myoung-Ah Kang Michel Schneider Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. 465-482 2005 conf/er/2005 ER http://dx.doi.org/10.1007/11568322_30 db/conf/er/er2005.html#DuboissetPKS05