Download:
|
by Narain Gehani, Krithi Ramamritham, Jayavel Shanmugasundaram, Oded Shmueli
http://ccs-www.cs.umass.edu/db/papers/extradata.ps
Add To MetaCart
Abstract:
Traditional concurrency control theory views transactions in terms of read and write operations on database items. Thus, the effects of accessing non-database entities, such as the system clock or the log, on a transaction's behavior are not explicitly considered. In this paper, we are motivated by a desire to include accesses to such extra-data items within the purview of transaction and database correctness. We provide a formal treatment of concurrency control when transactions are allowed access to extra-data by discussing the inter-transaction dependencies that are induced when transactions access extra-data. We also develop a spectrum of correctness criteria that apply when such transactions are considered and outline mechanisms to enforce these criteria. Furthermore, we show that allowing databases to view data which has been traditionally kept hidden from users increases the
Citations
|
1319
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
191
|
Real-Time Databases
– Ramamritham
- 1993
|
|
146
|
Commutativity-based concurrency control for abstract data types
– Weihl
- 1988
|
|
102
|
K.: Synthesis of Extended Transaction Models Using ACTA
– Chrysanthis, Ramamritham
- 1994
|
|
82
|
On serializability of multidatabase transactions through forced local conflicts
– Georgakopoulos, Rusinkiewicz, et al.
- 1991
|
|
60
|
Formal Model of Correctness without Serializability
– Korth, Speegle
- 1988
|
|
52
|
A Formalism for Extended Transaction Models
– Chrysanthis, Ramamritham
- 1991
|
|
44
|
Modular Concurrency Control and Failure Recovery
– Sha, Lehoczky, et al.
- 1988
|
|
43
|
Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using
– Korth, Speegle
- 1994
|
|
29
|
A Taxonomy of Correctness Criteria in Database Applications
– Ramamritham, K
- 1996
|
|
21
|
In Search of Acceptability Criteria: Database Consistency Requirements and Transaction Correctness Properties
– Ramamritham, Chrysanthis
- 1992
|
|
13
|
Algorithms for flexible space management in transaction systems supporting fine-granularity locking
– Mohan, Haderle
- 1994
|
|
7
|
Hypothetical data bases as views
– Stonebraker
- 1981
|
|
6
|
Generalized Theory of Serializability
– Vidyasankar
- 1987
|
|
3
|
A proclamation-based model for cooperating transactions
– Jagadish, Shmueli
- 1992
|
|
2
|
The LOG as Part of the Database. Bell Laboratories Technical Memorandum
– Gehani, Shmueli
- 1992
|
|
1
|
Real-Time Databases. (To appear in
– Ramamritham
- 1993
|
