Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...