Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Borges, K., Laender, A., Clodoveu, D.: Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling. In: Proc. of the Int. Symposium on Geographic Information System, pp. 1–6. ACM Press, USA (1999)
Brodeur, J., Bédard, Y., Proulx, M.J.: Modelling Geospatial Application Databases using UML-based Repositories Aligned with International Standards in Geomatics. In: Proc. of the Int. ACM Symposium on Advances in Geographic Information Systems, USA, pp. 39–46 (2000)
Claramunt, C.: Extending Ladkin’s Algebra on Non-convex Intervals towards an Algebra on Union-of Regions. In: Proc. of the Int. ACM Symposium on Advances in Geographic Information Systems, USA, pp. 9–14 (2000)
Clementini, E., Di Felice, P., Califano, G.: Composite Regions in Topological Queries. Information Systems 20(7), 579–594 (1995)
Clementini, E., Di Felice, P., Oosterom, P.: A Small Set of Formal Topological Relationships For End-User Interaction. In: Abel, D.J., Ooi, B.-C. (eds.) SSD 1993. LNCS, vol. 692, pp. 277–295. Springer, Heidelberg (1993)
Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial Logic based on Regions and Connection. In: Int. Conference on Principles of Knowledge Representation and Reasoning (KR 1992), USA, pp. 165–176 (1992)
Demuth, B., Hußmann, H.: Using UML/OCL Constraints for Relational Database Design. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 598–613. Springer, Heidelberg (1999)
Demuth, B., Hußmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 104–117. Springer, Heidelberg (2001)
Egenhofer, M., Franzosa, R.: Point-Set Topological Spatial Relations. Int. Journal of Geographical Information Systems 5(2), 161–174 (1991)
Friis-Christensen, A., Tryfona, N., Jensen, C.: Requirements and Research Issues in Geographic Data Modeling. In: Proc. of the Int. ACM Symposium on Advances in Geographic Information Systems, USA, pp. 2–8 (2001)
Kösters, G., Pagel, B., Six, H.: GIS-Application Development with GeoOOA. Int. Journal of Geographical Information Science 11(4), 307–335 (1997)
OMG: Unified Modeling Language: OCL, version 2.0. OMG Specification
OpenGIS: Simple Features Specification for SQL. OpenGIS Specification
Oracle Corp: Oracle Spatial: User’s Guide and Reference. Oracle Documentation
Parent, C., Spaccapietra, S., Zimanyi, E.: Spatio-Temporal Conceptual Models: Data Structures + Space + Time. In: Proc. of the Int. ACM Symposium on Advances in Geographic Information Systems, USA, pp. 26–33 (1999)
Price, R., Tryfona, N., Jensen, C.: Modeling Topological Constraints in Spatial Part-Whole Relationships. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 27–40. Springer, Heidelberg (2001)
Schmid, B., Warmer, J., Clark, T.: Object Modeling with the OCL: The Rationale Behind the Object Constraint Language, 281 p. Springer, Heidelberg (2002)
Zhong, Z., Jing, N., Chen, L., Wu, Q.: Representing Topological Relationships Among Heterogeneous Geometry-Collection Features. Journal of Computer Science and Technology 19(3), 280–289 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duboisset, M., Pinet, F., Kang, MA., Schneider, M. (2005). Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. In: Delcambre, L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, O. (eds) Conceptual Modeling – ER 2005. ER 2005. Lecture Notes in Computer Science, vol 3716. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568322_30
Download citation
DOI: https://doi.org/10.1007/11568322_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29389-7
Online ISBN: 978-3-540-32068-5
eBook Packages: Computer ScienceComputer Science (R0)