Results 271 to 280 of about 997,064 (331)

The evolution of the Arjuna transaction processing system

Software: Practice and Experience, 2011
AbstractTheArjunatransaction processing system began life in the mid‐1980s as an academic research project to examine the use of object‐oriented techniques in the development of fault‐tolerant distributed systems. Thirty‐five years later, and available in open source form, it forms an integral part of various middleware products from Red Hat where it ...
Mark C. Little, Santosh K. Shrivastava
openaire   +3 more sources

Mechanical verification of transaction processing systems

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods, 2002
Concerns the formal specification and mechanical verification of transaction processing systems aimed at distributed databases. In such systems, a standard set of ACID (Atomicity, Consistency, Isolation and Durability) properties must be ensured by a combination of concurrency control and recovery protocols.
P. van der Stok   +2 more
openaire   +2 more sources

A classification of transaction processing systems

Computer, 1991
The problems in building a transaction processing system are discussed, and it is shown that the difficulties are a function of specific attributes of the underlying database system. A model of a transaction processing system is presented, and five system dimensions important in classifying transaction processing systems-the process, machine ...
Avraham Leff, Calton Pu
openaire   +2 more sources

Transaction Processing Systems [PDF]

open access: possible, 2003
ACID properties A transaction is characterized by four properties referred to as the ACID properties: atomicity, consistency, isolation, and durability. database update The real effect of a transaction; it takes one of three forms: add, change, and delete.
openaire   +1 more source

TRANSACTION PROCESSING IN DISTRIBUTED CONTROL SYSTEMS

IFAC Proceedings Volumes, 1979
Abstract While the flexibility of a process control system may be enhanced by modular design, the effectiveness of the system often depends upon coordination of the modules’ actions. The conflict between designing clearly bounded modules and providing for coupling between them gives rise to important design tradeoffs in two major areas: the ...
openaire   +2 more sources

Home - About - Disclaimer - Privacy