Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles

  • Authors:

  • Magali Duboisset;François Pinet;Myoung-Ah Kang;Michel Schneider

  • Affiliations:

  • Cemagref, Clermont Ferrand, France;Cemagref, Clermont Ferrand, France;Laboratory of Computer Science, Modeling and System Optimisation (LIMOS), Blaise Pascal University, Clermont Ferrand, France;Laboratory of Computer Science, Modeling and System Optimisation (LIMOS), Blaise Pascal University, Clermont Ferrand, France

  • Venue:
  • ER'05 Proceedings of the 24th international conference on Conceptual Modeling
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recent works underline that the integration of topological relationships into the Object Constraint Language (OCL) is an important field of investigation. The final goal is to provide an expressive language adapted to precisely model alphanumerical and topological constraints. In order to reach this goal, the present paper focuses on the integration of the 9 Intersection Method (9IM) into OCL. We show that this OCL+9IM language is especially suitable for the specification of topological constraints implying composite spatial objects. The expressive power of the language is also studied from a spatial point of view, and the SQL code generation from OCL+9IM expressions is considered. An important validation is related to the use of the language in the context of agricultural information systems.