Abstract | ||
---|---|---|
In previous work, we developed Transaction Logic (or T R), which deals with state changes indeductive databases. T R provides a logical framework in which elementary database updatesand queries can be combined into complex database transactions. T R accounts not onlyfor the updates themselves, but also for important related problems, such as the order ofupdate operations, non-determinism, and transaction failure and rollback. In the present paper,we propose Concurrent Transaction Logic (or ... |
Year | Venue | Field |
---|---|---|
1996 | JICSLP | Transaction logic,Serializability,Isolation (database systems),Programming language,Computer science,Multiversion concurrency control,Distributed concurrency control,Non-lock concurrency control,Distributed transaction,Optimistic concurrency control,Distributed computing |
DocType | Citations | PageRank |
Conference | 60 | 7.99 |
References | Authors | |
20 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Michael Kifer | 2 | 3980 | 950.22 |