Concurrent users access the spatial information systems to insert new designs, update designs and to record the current status of the network. Concurrency must be managed such that the data is not corrupted. This paper introduces a model for long duration transactions based on the use of integrity constraints. The model is a generalisation of the traditional ACID transaction model. The approach enables the specification of the correctness criteria to be declarative and the user needs no knowledge of the semantics of other concurrently executing transactions.
Correctness is defined independent of implementation.
Long duration transactions, concurrency, constraints, formal model, correctness, spatial information systems. Inc. All rights reserved.