A Small Set of Formal Topological Relationships Suitable for End-User Interaction
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Understanding individual differences: learning space in virtual environments
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Robustness of spatial relation evaluation in data exchange
Proceedings of the 20th International Conference on Advances in Geographic Information Systems
| Hi-index | 0.00 |
The spatial data community recognizes the need for procedures that automatically validate spatial integrity constraints defined at conceptual level. This validation becomes particularly important in an open and distributed environment, like a Spatial Data Infrastructure (SDI), where the level of integration and interoperability is very high. However, the current gap between the conceptual design of a spatial database and its implementation into a GIS system makes the definition of spatial constraints useful only for documentation purposes and not for automatic validation. The GeoUML modeling language provides a set of predefined OCL templates for expressing the most common spatial constraints. In this paper, we deal with the validation problem by proposing a methodology for automatically translating the OCL constraints of GeoUML into SQL spatial queries, thus obtaining a platform independent general validation tool.