ABSTRACT: A transaction is a transformation of state which has the properties of atomicity (all or nothing), durability (effects survive failures) and consistency (a correct transformation). The transaction concept is key to the structuring of data management applications. The concept may have applicability to programming systems in general. This paper restates the transaction concepts and attempts to put several implementation approaches in perspective. It then describes some areas which require further study: (1) the integration of the transaction concept with the notion of abstract data type, (2) some techniques to allow transactions to be composed of sub
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean an...
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides...
This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and ...
ABSTRACT: A transaction is a transformation of state which has the properties of atomicity (all or n...
A transaction is a collection of operations that performs a single logical function in a database ap...
In database systems when large applications are supported, their representation becomes a problem. A...
Object-oriented programming languages provide transaction behavior by means of library classes. In e...
Abstract. The transaction abstraction is arguably one of the most ap-pealing middleware paradigms. I...
. A method and a tool for supporting transaction design in conceptual modelling of information syste...
Part 1: Invited PaperInternational audienceThe transaction abstraction is arguably one of the most a...
. In the classical model of database transactions, large transactions cannot be built out of smaller...
Considerable research effort in the software engineering domain has been focused on the development ...
A method and a tool for supporting transaction design in conceptual modelling of information systems...
Transactions are well-known and fundamental control abstractions that arose from the database commun...
This paper presents database applications of the recently proposed Transaction Logic--- an extensio...
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean an...
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides...
This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and ...
ABSTRACT: A transaction is a transformation of state which has the properties of atomicity (all or n...
A transaction is a collection of operations that performs a single logical function in a database ap...
In database systems when large applications are supported, their representation becomes a problem. A...
Object-oriented programming languages provide transaction behavior by means of library classes. In e...
Abstract. The transaction abstraction is arguably one of the most ap-pealing middleware paradigms. I...
. A method and a tool for supporting transaction design in conceptual modelling of information syste...
Part 1: Invited PaperInternational audienceThe transaction abstraction is arguably one of the most a...
. In the classical model of database transactions, large transactions cannot be built out of smaller...
Considerable research effort in the software engineering domain has been focused on the development ...
A method and a tool for supporting transaction design in conceptual modelling of information systems...
Transactions are well-known and fundamental control abstractions that arose from the database commun...
This paper presents database applications of the recently proposed Transaction Logic--- an extensio...
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean an...
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides...
This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and ...