On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models

1. Miller, J., Mukerji, J.: MDA Guide Version 1.0, OMG Document (2003)

   Google Scholar 

2. Brodeur, J., Bédard, Y., Proulx, M.J.: Modeling Geospatial Application Databases using UML-based Repositories Aligned with International Standards in Geomatics. In: ACMGIS. Proceedings of Eighth ACM Symposium on Advances in Geographic Information Systems, Washington, DC, pp. 39–46. ACM Press, New York (2000)

   Google Scholar 

3. Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity Constraints: Semantics and Applications. In: Logics for Databases and Information Systems, pp. 265–306. Kluwer, Dordrecht (1997)

   Google Scholar 

4. Parent, C., Spaccapietra, S., Zimányi, E.: Conceptual Modeling for Traditional and Spatio-temporal Applications: The MADS Approach, p. 466. Springer, Heidelberg (2006)

   MATH  Google Scholar 

5. Miralles, A.: Ingénierie des Modèles pour les Applications Environnementales. Ph.D. Thesis, Université de Montpellier II (2006)

   Google Scholar 

6. Parent, C.: A Framework for Characterizing Spatio-temporal Data Models. In: Advances in Multimedia and Databases for the New Century, pp. 89–97. World Scientific, Singapore (2000)

   Google Scholar 

7. Mas, S., Fei, W., Wolfgang, R.: Using Ontologies for Integrity Constraint Definition. In: ISSDQ 2005. Beijing, China (2005)

   Google Scholar 

8. Egenhofer, M.J.: Spatial SQL: A Query and Presentation Language. IEEE Transactions on Knowledge and Data Engineering 6(1), 86–95 (1994)

   Article  Google Scholar 

9. Vallières, S., Brodeur, J., Pilon, D.: Spatial Integrity Constraints: A Tool for Improving the Internal Quality of Spatial Data. In: Devillers, R., Jeansoulin, R. (eds.) Fundamentals of Spatial Data Quality, Great Britain, ISTE Ltd., pp. 161–177 (2006)

   Google Scholar 

10. Ubeda, T., Egenhofer, M.J.: Topological Error Correcting in GIS. In: Scholl, M.O., Voisard, A. (eds.) SSD 1997. LNCS, vol. 1262, pp. 283–297. Springer, Heidelberg (1997)

    Google Scholar 

11. Pizano, A., Klinger, A., Cardenas, A.: Specification of Spatial Integrity Constraints in Pictorial Databases. Computer 22(12), 59–71 (1989)

    Article  Google Scholar 

12. Normand, P.: Modélisation des contraintes d’intégrité spatiale, théorie et exemples d’applications, M.Sc. Thesis, Laval University, Quebec, Canada (1999)

    Google Scholar 

13. Kang, M., Pinet, F., Schneider, M., Chanet, J., Vigier, F.: How to Design Geographic Databases? Specific UML Profile and Spatial OCL Applied to Wireless Ad Hoc Networks. In: Proceedings of 7th AGILE Conference on Geographic Information Science (2004)

    Google Scholar 

14. Bédard, Y., Larrivée, S., Proulx, M.J., Nadeau, M.: Modeling Geospatial Databases with Plug-Ins for Visual Languages: A Pragmatic Approach and the Impacts of 16 Years of Research and Experimentations on Perceptory. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) CoMoGIS 2004. LNCS, vol. 3289, pp. 17–30. Springer, Heidelberg (2004)

    Google Scholar 

15. Hadzilacos, T., Tryfona, N.: A Model for Expressing Topological Integrity Constraints in Geographic Databases. In: Frank, A.U., Formentini, U., Campari, I. (eds.) Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. LNCS, vol. 639, pp. 252–268. Springer, Heidelberg (1992)

    Google Scholar 

16. Slonneger, K., Barry, L.K.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach, p. 637. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

17. Schwitter, R.: Controlled Natural Language as Interface Language to the Semantic Web. In: 2nd Indian International Conference on Artificial Intelligence, pp. 1699–1718 (2005)

    Google Scholar 

18. Clementini, E., Di Felice, P.: A Comparison Method for Representing Topological Relationships, Information Systems, vol. 80, pp. 1–31 (1994)

    Google Scholar 

19. Chang, S.: Visual languages: A Tutorial and Survey. Software 4(1), 29–39 (1987)

    Article  Google Scholar 

20. Boursier, P., Mainguenaud, M.: Langages de Requêtes Spatiales: SQL Étendu vs. Langage Visuel vs. Hypermédias. SIGAS 2(1), 37–51 (1992)

    Google Scholar 

21. Egenhofer, M., Herring, J.: Pint-set topological spatial relations. IJGIS 5(2), 133–152

    Google Scholar 

22. Bédard, Y., Larrivee, S.: Spatial Database Modeling With Pictrogrammic Languages. In: Shekhar, S., Xiong, H. (eds.) Encyclopedia of GIS, p. 14. Springer, NY (in press)

    Google Scholar 

23. Egenhofer, M., Herring, J.: Characterizing Binary Topological Relations between Regions, Lines, and Points in Geographic Databases. NCGIA Technical Report 94-1 (1994)

    Google Scholar 

24. UML 2.0 OCL Specification, p. 170 (2003)

    Google Scholar 

25. Lindland, O.I., Guttorm, S., Solvberg, A.: Understanding Quality in Conceptual Modeling. IEEE Software 11(2), 42–49 (1994)

    Article  Google Scholar 

26. Teeuw, W.B., Van den Berg, H.: On the Quality of Conceptual Models. In: Behavioral Models and Design Transformations: Issues in Conceptual Modeling, ER 1997 (1997)

    Google Scholar 

27. Salehi, M., Bédard, Y., Mostafavi, M.A., Brodeur, J.: Towards Integrity Constraints of Spatial Datacubes, ISSDQ 2007, the Netherlands (2007)

    Google Scholar 

Download references