Concurrency control in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Differential files: their application to the maintenance of large databases
ACM Transactions on Database Systems (TODS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Using Metaobject Protocols to Implement Atomic Data Types
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
The CORBA Activity Service Framework for Supporting Extended Transactions
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Scalability of a Transactional Infrastructure for Multi-Agent Systems
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
An Architectural Framework for Composition and Execution of Complex Learning Processes
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Relational database: a practical foundation for productivity
ACM Turing award lectures
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
An environment for flexible advanced compensations of Web service transactions
ACM Transactions on the Web (TWEB)
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
Jim Gray at IBM: the transaction processing revolution
ACM SIGMOD Record - Tribute to honor Jim Gray
Towards a contractual approach for transaction management
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Recovery domains: an organizing principle for recoverable operating systems
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
An optimistic technique for transactions control using REST architectural style
Proceedings of the 2009 ACM symposium on Applied Computing
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
Refactoring Long Running Transactions
Web Services and Formal Methods
Strengths and weaknesses of WS-BusinessActivity for cross-organizational SOA applications
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
System support for scalable and fault tolerant internet services
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A framework for systematic synthesis of transactional middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
I do declare: consensus in a logic language
ACM SIGOPS Operating Systems Review
Coordination for multi-person visual program development
Journal of Visual Languages and Computing
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
ACM SIGSOFT Software Engineering Notes
Engineering compensations in web service environment
ICWE'07 Proceedings of the 7th international conference on Web engineering
Transactions for distributed wikis on structured overlays
DSOM'07 Proceedings of the Distributed systems: operations and management 18th IFIP/IEEE international conference on Managing virtualization of networks and services
Coordinate BPEL scopes and processes by extending the WS-business activity framework
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Towards community-based evolution of knowledge-intensive systems
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Positional update handling in column stores
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
Mnemosyne: lightweight persistent memory
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
A pipeline-based approach for long transaction processing in web service environments
International Journal of Web and Grid Services
A timestamp-based two phase commit protocol for web services using rest architectural style
Journal of Web Engineering
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Model-driven development of long running transactions
Rigorous software engineering for service-oriented systems
On the development of a multiple-compensation mechanism for business transactions
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
A component-based transactional service, including advanced transactional models
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Transactional aspects in semantic based discovery of services
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A transactional-qos driven approach for web service composition
RED'10 Proceedings of the Third international conference on Resource Discovery
SnCTM: reducing false transaction aborts by adaptively changing the source of conflict detection
Proceedings of the 9th conference on Computing Frontiers
Hathi: durable transactions for memory using flash
DaMoN '12 Proceedings of the Eighth International Workshop on Data Management on New Hardware
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Transactional Workflows in Distributed Systems
Fundamenta Informaticae
Making geo-replicated systems fast as possible, consistent when necessary
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
An aggregation composition compensation method based on paired net
International Journal of Automation and Computing
Safer asynchronous runtime monitoring using compensations
Formal Methods in System Design
A composable mixed mode concurrency control semantics for transactional programs
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Processes in securing open architecture software systems
Proceedings of the 2013 International Conference on Software and System Process
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
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 seems to 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-transactions, and (3) handling transactions which last for extremely long times (days or months).