Provably correct and complete transaction rules for GIS
Gerhard Gröger, Lutz Plümer · 1997
This paper provides a set of transaction rules which preserve the consistency of geometry and topology in a Geographic Information System (GE).We show that the given rules are safe in the sense that once a given database of a GIS is consistent, this consistency is preserved by iterative applications of the given rules.The focus is on maps specifying an irregular tessellation of the plane, Consistency is specified by a set of map axioms which are simplified with regard to specific transactions.Updates of the database are invoked by rule-s completing the required change to a consistent transaction.We show that any map may be generated and dismantled by iterative applications of the given rules, and discuss other application scenarios.Pernk&w IO mnkc digiWhard cop& ofall or petl ofthis material Jbr pmonnl or clwrooni usc is granted without fee pmvidcd ILII ~hc co+ we not mndc or distributed Ibr prolit or comnwrcinl ndvnnlqc.the copyrighl notice, the title oflhc ptthlicnlion and ils date appmr.and no& is given thnt copyrighl is hy pcmkion of~he ACM.Inc.To copy otherwise.IO republish.IO posl on serv~'rs or IO rcdistrihulc IO lists.requires spccitic pemiission rind/or fk. as 97 Lnsl'egm Nevnh