Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles

2005 ◽  
pp. 465-482 ◽  
Author(s):  
Magali Duboisset ◽  
François Pinet ◽  
Myoung-Ah Kang ◽  
Michel Schneider
Keyword(s):  
Code Generation ◽  
Spatial Databases ◽  
Expressive Power ◽  
Integrity Constraints ◽  
Power Study

Methodical Spatial Database Design with Topological Polygon Structures

2012 ◽  
Vol 3 (1) ◽  
pp. 21-30
Author(s):  
Jean Damascène Mazimpaka
Keyword(s):  
Design Process ◽  
Spatial Data ◽  
Spatial Databases ◽  
Early Stage ◽  
Spatial Database ◽  
Database Design ◽  
Integrity Constraints ◽  
Data Types ◽  
Data Infrastructure ◽  
Database Development

Spatial databases form the foundation for a Spatial Data Infrastructure (SDI). For this, a spatial database should be methodically developed to accommodate its role in SDI. It is desirable to have an approach to spatial database development that considers maintenance from the early stage of database design and in a flexible way. Moreover, there is a lack of a mechanism to capture topological relations of spatial objects during the design process. This paper presents an approach that integrates maintenance of topological integrity constraints into the whole spatial database development cycle. The approach is based on the concept of Abstract Data Types. A number of topological classes have been identified and modelling primitives developed for them. Topological integrity constraints are embedded into maintenance functions associated with the topological classes. A semi-automatic transformation process has been developed following the principles of Model Driven Architecture to simplify the design process.

Integrity Constraints in Spatial Databases

2002 ◽  
pp. 144-171 ◽  
Author(s):  
Karla A.V. Borges ◽  
Clodoveu A. Davis Jr. ◽  
Alberto H.F. Laender
Keyword(s):  
Spatial Data ◽  
Data Model ◽  
Spatial Databases ◽  
Spatial Information ◽  
Spatial Relationship ◽  
Object Oriented ◽  
Database Management System ◽  
Geometric Constraints ◽  
Integrity Constraints ◽  
Spatial Relationships

This chapter addresses the relationship that exists between the nature of spatial information, spatial relationships, and spatial integrity constraints, and proposes the use of OMT-G (Borges et al., 1999; Borges et al., 2001), an object-oriented data model for geographic applications, at an early stage in the specification of integrity constraints in spatial databases. OMT-G provides appropriate primitives for representing spatial data, supports spatial relationships and allows the specification of spatial integrity rules (topological, semantic and user integrity rules) through its spatial primitives and spatial relationship constructs. Being an object-oriented data model, it also allows some spatial constraints to be encapsulated as methods associated to specific georeferenced classes. Once constraints are explicitly documented in the conceptual modeling phase, and methods to enforce the spatial integrity constraints are defined, the spatial database management system and the application must implement such constraints. This chapter does not cover integrity constraints associated to the representation of simple objects, such as constraints implicit to the geometric description of a polygon. Geometric constraints are related to the implementation, and are covered here in a higher level view, considering only the shape of geographic objects. Consistency rules associated with the representation of spatial objects are discussed in Laurini and Thompson (1992).

Methodical Spatial Database Design with Topological Polygon Structures

2013 ◽  
pp. 295-304 ◽  
Author(s):  
Jean Damascène Mazimpaka
Keyword(s):  
Design Process ◽  
Spatial Data ◽  
Spatial Databases ◽  
Early Stage ◽  
Spatial Database ◽  
Database Design ◽  
Integrity Constraints ◽  
Data Infrastructure ◽  
Database Development ◽  
Model Driven

Spatial databases form the foundation for a Spatial Data Infrastructure (SDI). For this, a spatial database should be methodically developed to accommodate its role in SDI. It is desirable to have an approach to spatial database development that considers maintenance from the early stage of database design and in a flexible way. Moreover, there is a lack of a mechanism to capture topological relations of spatial objects during the design process. This paper presents an approach that integrates maintenance of topological integrity constraints into the whole spatial database development cycle. The approach is based on the concept of Abstract Data Types. A number of topological classes have been identified and modelling primitives developed for them. Topological integrity constraints are embedded into maintenance functions associated with the topological classes. A semi-automatic transformation process has been developed following the principles of Model Driven Architecture to simplify the design process.

ECC-Based Bit-Write Reduction Code Generation for Non-Volatile Memory

2015 ◽  
Vol E98.A (12) ◽  
pp. 2494-2504 ◽  
Author(s):  
Masashi TAWADA ◽  
Shinji KIMURA ◽  
Masao YANAGISAWA ◽  
Nozomu TOGAWA
Keyword(s):  
Code Generation ◽  
Non Volatile Memory ◽  
Volatile Memory

Privacy Concern Code Generation Using Crypto Neural Scheme

2019 ◽  
Vol 7 (5) ◽  
pp. 824-828
Author(s):  
Anaswara Venunadh ◽  
Shruthi N ◽  
Mannar Mannan
Keyword(s):  
Code Generation ◽  
Privacy Concern

Spatial databases for the geology of the northern Rocky Mountains - Idaho, Montana, and Washington

2005 ◽  
Author(s):  
Michael L. Zientek ◽  
Pamela D. Derkey ◽  
Robert J. Miller ◽  
J. Douglas Causey ◽  
Arthur A. Bookstrom ◽  
...  
Keyword(s):  
Rocky Mountains ◽  
Spatial Databases ◽  
Northern Rocky Mountains

Modelling spatial integrity constraints with OCL

2011 ◽  
Vol 21 (SI) ◽  
pp. 95-123 ◽  
Author(s):  
François Pinet ◽  
Magali Duboisset ◽  
Michel Schneider
Keyword(s):  
Integrity Constraints
Sign in / Sign up

Export Citation Format

Share Document