作者: Yuri Breitbart , Avi Silberschatz , None
DOI: 10.1145/971701.50217
关键词:
摘要: A formal model of data updates in a multidatabase environment is developed, and theory concurrency control such an presented. We formulate correctness condition for the mechanism propose protocol that allows concurrent execution set global transactions presence local ones. This ensures consistency deadlock freedom. use developed to prove protocol's discuss complexity issues implementing proposed protocol.