机译:使用嵌套事务和I / O自动机的并发线性哈希结构算法的形式化和正确性
Nested transaction; Linear hash structure; I/O automaton model; Lock-coupling; Serially correct; Client server;
机译:一个开放和安全的嵌套事务模型的并发控制算法:形式化和正确性
机译:线性哈希结构中用于语义并发控制的多级事务模型
机译:事务存储系统中封闭嵌套事务的并发执行的正确性
机译:事务存储系统中封闭嵌套事务并发执行的正确性
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:哈希算法和数据结构的指纹向量的快速搜索
机译:事务存储系统中封闭嵌套事务的并发执行的正确性
机译:嵌套分布式事务的乐观并发控制。