论文信息 - Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation

Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation

This paper aims at describing the integration of the calculus-based method (CBM) into the object constraint language (OCL) in order to facilitate the specification of topological constraints in spatial databases. A first study related to the expressiveness is presented, as well as a specific architecture for database trigger generation from OCL specification

François Pinet | Michel Schneider | Magali Duboisset | Myoung-Ah Kang

[1] Eliseo Clementini,et al. Composite Regions in Topological Queries , 1995, Inf. Syst..

[2] Nectaria Tryfona,et al. Modeling Topological Constraints in Spatial Part-Whole Relationships , 2001, ER.

[3] Nectaria Tryfona,et al. Requirements and research issues in geographic data modeling , 2001, GIS '01.

[4] Yvan Bédard,et al. Modeling Geospatial Databases with Plug-Ins for Visual Languages: A Pragmatic Approach and the Impacts of 16 Years of Research and Experimentations on Perceptory , 2004, ER.

[5] Eliseo Clementini,et al. A Small Set of Formal Topological Relationships Suitable for End-User Interaction , 1993, SSD.

[6] A. Min Tjoa,et al. Proceedings of the 12th International Workshop on Database and Expert Systems Applications , 2001 .

[7] Heinrich Hußmann,et al. OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.