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. In Lois M. L. Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor, editors, Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings. Volume 3716 of Lecture Notes in Computer Science, pages 465-482, Springer, 2005. [doi]
Abstract is missing.