Abstract: A method for processing a request, where the request is of a declaratory-type and is destined from a request source to a distributed database that has a plurality of transaction destination locations (TDLs). The distributed database is part of distributed computer system, and the distributed computer system has a supervisory device. The method is executable by the supervisory device and includes: receiving the request, processing the request to generate a first transaction of a read-type and identifying at least one condition-satisfying TDL, acquiring a lock value for the condition-satisfying TDL, executing the first transaction, processing the request to generate a last transaction of a modification-type for modifying information associated with the at least one TDL, before executing the last transaction, checking a status of the lock, and only executing the last transaction based on a positive outcome. A distributed software system for doing the same is also provided.

Abstract: A method for processing a request, where the request is of a declaratory-type and is destined from a request source to a distributed database that has a plurality of transaction destination locations (TDLs). The distributed database is part of distributed computer system, and the distributed computer system has a supervisory device. The method is executable by the supervisory device and includes: receiving the request, processing the request to generate a first transaction of a read-type and identifying at least one condition-satisfying TDL, acquiring a lock value for the condition-satisfying TDL, executing the first transaction, processing the request to generate a last transaction of a modification-type for modifying information associated with the at least one TDL, before executing the last transaction, checking a status of the lock, and only executing the last transaction based on a positive outcome. A distributed software system for doing the same is also provided.