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

Magali Duboisset, Franois Pinet, Myoung-Ah Kang, Michel Schneider

Browse the full ER paper archive.