2 search results - page 1 / 1 » High-level small-step operational semantics for transactions |
JCS
1998
13 years 4 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
ICDE
1997
IEEE
14 years 5 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...