University of Sioux Falls
In this paper, the authors introduce a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional notions of functional and inclusion dependencies by adding interaction with spatial attributes. This enables to specify implicit and explicit topological conditions between geometries and impose constraints on thematic attributes that depend on the geometries. They study the consistency problem for this set of integrity constraints, which rises issues about topological consistency and realizability of spatial constraints.