An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries

Authors:
Lotfi Bejaoui;François Pinet;Michel Schneider;Yvan Bédard
Affiliations:
Centre for Research in Geomatics (CRG), Laval University, Quebec (QC), Canada and Industrial Research Chair in Geospatial Databases for Decision Support, Laval University, Quebec (QC), Canada and ...;Cemagref-Clermont-Ferrand, France;Cemagref-Clermont-Ferrand, France and Dept. Computer Sciences, Blaise-Pascal University, Clermont-Ferrand, France;Centre for Research in Geomatics (CRG), Laval University, Quebec (QC), Canada and Industrial Research Chair in Geospatial Databases for Decision Support, Laval University, Quebec (QC), Canada
Venue:
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Year:
2008

Citing 8
Cited 2

A comparison of methods for representing topological relationships

Information Sciences—Applications: An International Journal
A Taxonomy of Spatial Data Integrity Constraints

Geoinformatica
A Methodology for Spatial Consistency Improvement of Geographic Databases

Geoinformatica
Vague Regions

SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
Short communication: Using UML and OCL to maintain the consistency of spatial data in environmental information systems

Environmental Modelling & Software
Qualified topological relations between spatial objects with possible vague shape

International Journal of Geographical Information Science
Inconsistency issues in spatial databases

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

ER'05 Proceedings of the 24th international conference on Conceptual Modeling

A Reference System for Topological Relations between Compound Spatial Objects

ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Entity-relationship and object-oriented formalisms for modeling spatial environmental data

Environmental Modelling & Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 OCLbased 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 OCLis then tested on an agricultural database.