Introduction to Solid Modeling
Introduction to Solid Modeling
Provably correct and complete transaction rules for GIS
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
TIN Meets CAD - Extending the TIN Concept in GIS
ICCS '02 Proceedings of the International Conference on Computational Science-Part III
Exploiting 2D concepts to achieve consistency in 3D GIS applications
GIS '03 Proceedings of the 11th ACM international symposium on Advances in geographic information systems
Geography Mark-Up Language: Foundation for the Geo-Web
Geography Mark-Up Language: Foundation for the Geo-Web
Hi-index | 0.00 |
The shapes of our cities change frequently. These changes have to be reflected in data sets representing urban objects. However, it must be assured that frequent updates do not affect geometric-topological consistency. This important aspect of spatial data quality guarantees assumptions that users and applications of 3D city models rely on, viz. that objects do not intersect, overlap or penetrate mutually, or that objects completely cover other objects. It does call into question how to guarantee that geometric-topological consistency is preserved when data sets are updated. Hence, there is a certain risk that plans and decisions which are based on these data sets are erroneous, and that the tremendous efforts spent for data acquisition and updates are lost. In this paper we solve this problem by sketching efficient transaction rules for updating 3D city models, which guarantee that geometric-topological consistency is preserved (Safety). The rules allow for the generation of arbitrary consistent 3D city models (Completeness). Safety as well as completeness can be proven with mathematical rigor, guaranteeing the reliability of our method.