Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles
Modélisation précise et vérification des contraintes d'intégrité topologiques dans les bases de données spatiales: d'une étude d'expressivité à des principes de génération de codes
Résumé
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.
De récents travaux soulignent que l'intégration des relations topologiques dans OCL est un champ d'investigation important. L'objectif final est de fournir un langage expressif adapté pour modéliser précisemment les contraintes alphanumériques et topologiques. Afin d'atteindre ce but, le présent article se penche sur l'intégration de la méthode des 9 Intersection (9IM) dans OCL. Nous montrons que le langage OCL+9IML est tout spécialement adapté à la spécification de contraintes topologiques impliquant des objets spatiaux composites. Le pouvoir d'expression du langage est aussi étudié d'un point de vue spatial, et la génération de codes SQL à partir d'expressions OCL+9IM est considérée. Une validation importante est relative à l'utilisation du langage dans le contexte des systèmes d'information agricoles.