Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Logic for Problem Solving
Improving the Concurrency of Integrity Checks and Write Operations
ICDT '90 Proceedings of the Third International Conference on Database Theory
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Integrity, Concurrency, and Recovery in Databases
Proceedings of the Proceedings of the 1st European Cooperation in Informatics on ECI Conference 1976
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Semantic integrity in a relational data base system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Functional specifications of a subsystem for data base integrity
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Granularity of locks in a shared data base
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Global States of a Distributed System
IEEE Transactions on Software Engineering
Jim Gray at IBM: the transaction processing revolution
ACM SIGMOD Record - Tribute to honor Jim Gray
Inconsistency-Tolerant Integrity Checking
IEEE Transactions on Knowledge and Data Engineering
Transaction management with integrity checking
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Information systems in distributed environments: ISDE 2010
ACM SIGSOFT Software Engineering Notes
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
| Hi-index | 0.00 |
We revisit a well-known result on the preservation of integrity by concurrent transactions. It says that the serializability of integrity-preserving transactions yields integrity-preserving histories. We improve it in two ways. First, we discuss divergent interpretations and restate them more precisely. Second, we make it applicable in the presence of inconsistency.