Using constraints to manage long duration transactions in spatial information systems

摘要: Spatial information systems are employed to record the schematics of large networks for utilities and telecommunication organisations. Concurrent users access spatial insert new designs, update designs current status network. Concurrency must be managed such that data is not corrupted. This paper introduces a model long duration transactions based on use integrity constraints. The model, called COLT (COnstraint-based Long Transaction), domain-independent but especially suitable domains where its intent naturally manifests constraints relate items. User-defined database used both specify correctness criteria manage ad-hoc transactions. generalisation traditional ACID transaction model. approach enables specification declarative user needs no knowledge semantics other concurrently executing formally specified using external actions I/O automata method defined with respect method. Correctness independent implementation.