The following pages link to (Q3750150):
Displaying 6 items.
- Constraint-preserving snapshot isolation (Q287756) (← links)
- On correctness on nonserializable executions (Q1267712) (← links)
- Safe locking policies for dynamic databases (Q1278036) (← links)
- Relative serializability: An approach for relaxing the atomicity of transactions (Q1376414) (← links)
- A comparison of structural CSP decomposition methods (Q1589639) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)