Title
An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries
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.
Year
DOI
Venue
2008
10.1007/978-3-540-87877-3_28
Lecture Notes in Computer Science
Keywords
Field
DocType
crisp spatial object,topological relationship,topological property,topological constraint,topological relation,spatial object,vague shape,spatial databases,formal specification,adverbial approach,appropriate topological operator,broad boundary,broad boundaries,formal language,object constraint language,geometric model,spatial database,integrity constraints
Topology,Vagueness,Adverbial,Formal language,Disjoint sets,Computer science,Formal specification,Data integrity,Operator (computer programming),Object Constraint Language,Database
Conference
Volume
ISSN
Citations 
5231
0302-9743
4
PageRank 
References 
Authors
0.41
14
4
Name
Order
Citations
PageRank
L. Bejaoui1321.93
François Pinet213719.82
Michel Schneider3313.49
Yvan Bédard420222.80