An adverbial approach for the formal specification of topological constraints involving regions with broad boundaries - Archive ouverte HAL
Article Dans Une Revue Lecture Notes in Computer Science Année : 2008

An adverbial approach for the formal specification of topological constraints involving regions with broad boundaries

Résumé

Topological integrity constraints control the topological properties of spatial objects and the validity of their topological relationships in spatial databases. These constraints can be specified by using formal languages such as the spatial extension of the Object Constraint Language (OCL). Spatial OCL allows the expression of topological constraints involving crisp spatial objects. However, topological constraints involving spatial objects with vague shapes (e.g., regions with broad boundaries) are not supported by this language. Shape vagueness requires using appropriate topological operators (e.g., strongly Disjoint, fairly Meet) to specify valid relations between these objects; otherwise, the constraints cannot be respected. This paper addresses the problem of the lack of terminology to express topological constraints involving regions with broad boundaries. We propose an extension of Spatial OCL based on a geometric model for objects with vague shapes and an adverbial approach for topological relations between regions with broad boundaries. This extension of Spatial OCL is then tested on an agricultural database.
Fichier principal
Vignette du fichier
CF2008-PUB00024873.pdf (545.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00454472 , version 1 (08-02-2010)

Identifiants

Citer

L. Bejaoui, François Pinet, Michel Schneider, Y. Bedard. An adverbial approach for the formal specification of topological constraints involving regions with broad boundaries. Lecture Notes in Computer Science, 2008, 5231, p. 383 - p. 396. ⟨hal-00454472⟩
370 Consultations
201 Téléchargements

Partager

More