Distributed deadlock detection algorithm
ACM Transactions on Database Systems (TODS)
A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
Concurrency control in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
A locking protocol for resource coordination in distributed databases
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Introduction to VLSI Systems
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Programming aspects of VLSI: (preliminary version)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Recovery scenario for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Consistency and correctness of duplicate database systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Locking protocols: general lock classes and deadlock freedom
Locking protocols: general lock classes and deadlock freedom
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Optimism and consistency in partitioned distributed database systems
ACM Transactions on Database Systems (TODS)
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
Correctness conditions for highly available replicated databases
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A theoretical foundation of multi-level concurrency control
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Prefetching in realtime database applications
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
ACM Transactions on Information Systems (TOIS)
Operation specific locking in B-trees
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Specifying graceful degradation in distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Concurrent search structure algorithms
ACM Transactions on Database Systems (TODS)
Issues and approaches to design of real-time database systems
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Concurrency control for distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Semantics based transaction management techniques for replicated data
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Concurrency control for cooperating transactions in an object-oriented database
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
An Overview of the Nexus Distributed Operating System Design
IEEE Transactions on Software Engineering
Performance Properties of Vertically Partitioned Object-Oriented Systems
IEEE Transactions on Software Engineering
An Optimal Shortest-Path Routing Policy for Network Computers with Regular Mesh-Connected Topologies
IEEE Transactions on Computers
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
The five color concurrency control protocol: non-two-phase locking in general databases
ACM Transactions on Database Systems (TODS)
Scheduling real-time transactions with disk resident data
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
A theory of relaxed atomicity (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An optimistic commit protocol for distributed transaction management
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
COCS '91 Proceedings of the conference on Organizational computing systems
IEEE Transactions on Computers
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
MLR: a recovery method for multi-level systems
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Simple rational guidance for chopping up transactions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Quantifying the benefits of semantics
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Scheduling real-time transactions: a performance evaluation
ACM Transactions on Database Systems (TODS)
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Tolerating bounded inconsistency for increasing concurrency in database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Adaptable concurrency control for atomic data types
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
On correctness of non-serializable executions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Simulation of database transaction management protocols: hybrids and variants of time warp
WSC '92 Proceedings of the 24th conference on Winter simulation
ACM Transactions on Database Systems (TODS)
Combining optimism and pessimism to produce high availability in distributed transaction processing
ACM SIGOPS Operating Systems Review
Reducing recovery constraints on locking based protocols
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relative serializability (extended abstract): an approach for relaxing the atomicity of transactions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
A lock method for KBMSs using abstraction relationships' semantics
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
On computing serial dependency relations
Journal of Computer and System Sciences
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
Transaction chopping: algorithms and performance studies
ACM Transactions on Database Systems (TODS)
A new conflict relation for concurrency control and recovery in object-based databases
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
A concurrency control framework for collaborative systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
Specification and Management of Interdependent Data in OperationalSystems and Data Warehouses
Distributed and Parallel Databases
Application Specific Transaction Management in MultidatabaseSystems
Distributed and Parallel Databases
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
Ensuring consistency in multidatabases by preserving two-level serializability
ACM Transactions on Database Systems (TODS)
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Concepts and methods for the optimization of distributed data processing
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
A symmetric concurrent B-tree algorithm
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Effects of distributed database modeling on evaluation of transaction rollbacks
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Rewriting Histories: Recovering from Malicious Transactions
Distributed and Parallel Databases - Security of data and transaction processing
Exploitng event stream interpretation in publish-subscribe systems
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Integrated version and transaction group model for shared engineering databases
Data & Knowledge Engineering
IEEE Parallel & Distributed Technology: Systems & Technology
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Multi-level transaction management for complex objects: implementation, performance, parallelism
The VLDB Journal — The International Journal on Very Large Data Bases
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
The demarcation protocol: a technique for maintaining constraints in distributed database systems
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
A Formal Characterization of Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Global Committability in Multidatabase Systems
IEEE Transactions on Knowledge and Data Engineering
Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision
IEEE Transactions on Knowledge and Data Engineering
Global Scheduling for Flexible Transactions in Heterogeneous Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Flexible Robust Programming in Distributed Object Systems
IEEE Transactions on Knowledge and Data Engineering
Recovery from Malicious Transactions
IEEE Transactions on Knowledge and Data Engineering
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Architectural Issues of Transaction Management in Multi-Layered Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Scheduling Real-time Transactions: a Performance Evaluation
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Performance Evaluation of Multi-Level Transaction Management
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Computing Rules for Detecting Contradictory Transaction Termination Dependencies
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Concurrency Control in Transactional Drago
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Protocol for Taking Object-Based Checkpoints
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
WorkMan - A Transactional Workflow Prototype
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Supporting Cooperative Inter-organizational Business Transactions
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Efficient solutions to the replicated log and dictionary problems
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Object-Based Checkpoints in Distributed Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A Framework of Customizing Transactions in Persistent Object Management for Advanced Applications
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A Survey of Mobile Transactions
Distributed and Parallel Databases
Real-time update of access control policies
Data & Knowledge Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
Real-time intelligent program stock trading
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Open nesting in software transactional memory
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
A lattice-based approach for updating access control policies in real-time
Information Systems
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Using advanced transaction and workflow models in composing web services
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Annotation Markers for Runtime Replication Protocol Selection
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Transaction reordering with application to synchronized scans
Proceedings of the ACM 11th international workshop on Data warehousing and OLAP
Exploiting a database system in scheduling internet-based workflows
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Decision support in a distributed environment
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Semantic Transaction Processing in Mobile Computing
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Data & Knowledge Engineering
Using timestamp ordering in synchronizing Internet-based workflows
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Attaching transactional requirements to business process specifications
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
Consistent process execution in peer-to-peer information systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Performance evaluation of Atomic Commit Protocols for mobile transactions
International Journal of Intelligent Information and Database Systems
Transactional support of ad-hoc collaborations in mobile environments
Proceedings of the Ninth ACM International Workshop on Data Engineering for Wireless and Mobile Access
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
Ensuring atomicity of multilevel transactions
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Exploiting Service Usage Information for Optimizing Server Resource Management
ACM Transactions on Internet Technology (TOIT)
On the design of perturbation-resilient atomic commit protocols for mobile transactions
ACM Transactions on Computer Systems (TOCS)
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Towards context-aware transaction services
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
On open nesting in distributed transactional memory
Proceedings of the 5th Annual International Systems and Storage Conference
Logic and lattices for distributed programming
Proceedings of the Third ACM Symposium on Cloud Computing
Flexible fault tolerance in distributed enterprise communities
International Journal of Grid and Utility Computing
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Transaction chains: achieving serializability with low latency in geo-distributed storage systems
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Proceedings of the 4th annual Symposium on Cloud Computing
Warranties for faster strong consistency
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Hi-index | 0.02 |
This paper investigates how the semantic knowledge of an application can be used in a distributed database to process transactions efficiently and to avoid some of the delays associated with failures. The main idea is to allow nonserializable schedules which preserve consistency and which are acceptable to the system users. To produce such schedules, the transaction processing mechanism receives semantic information from the users in the form of transaction semantic types, a division of transactions into steps, compatibility sets, and countersteps. Using these notions, we propose a mechanism which allows users to exploit their semantic knowledge in an organized fashion. The strengths and weaknesses of this approach are discussed.