On languages for the specification of integrity constraints in spatial conceptual models

Authors:
Mehrdad Salehi;Yvan Bédard;Mir Abolfazl Mostafavi;Jean Brodeur
Affiliations:
Canada NSERC Industrial Research and Center for Research in Geomatics, Department of Geomatics Sciences, Laval University, Quebec City, Canada;Canada NSERC Industrial Research and Center for Research in Geomatics, Department of Geomatics Sciences, Laval University, Quebec City, Canada;Center for Research in Geomatics, Department of Geomatics Sciences, Laval University, Quebec City, Canada;Center for Research in Geomatics, Department of Geomatics Sciences, Laval University, Quebec City, Canada and Center for Topographic Information, Natural Resources Canada, Sherbrooke, Canada
Venue:
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Year:
2007

Citing 10
Cited 1

Specification of Spatial Integrity Constraints in Pictorial Databases

Computer
Understanding Quality in Conceptual Modeling

IEEE Software
Integrity constraints: semantics and applications

Logics for databases and information systems
Modelling geospatial application databases using UML-based repositories aligned with international standards in geomatics

Proceedings of the 8th ACM international symposium on Advances in geographic information systems
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Spatial SQL: A Query and Presentation Language

IEEE Transactions on Knowledge and Data Engineering
Topological Error Correcting in GIS

SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
A Model for Expressing topological Integrity Constraints in Geographic Databases

Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach

Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
Visual Languages: A Tutorial and Survey

IEEE Software

OCL for formal modelling of topological constraints involving regions with broad boundaries

Geoinformatica

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languages into natural, visual, first-order logic, and hybrid and review their syntax and semantics. We compare these language categories based on expressiveness and pragmatics qualities. The results of this study show that controlled natural languages and natural hybrid languages with pictograms are good candidates for expressing spatial integrity constraints at the conceptual level of spatial databases. At the end, we identify new research challenges that should be addressed in this domain in order to facilitate spatial integrity constraint specification and representation.