检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:韩耀军[1]
机构地区:[1]山东科技大学,济南250031
出 处:《计算机工程与应用》2001年第10期82-85,共4页Computer Engineering and Applications
基 金:国家自然科学基金资助
摘 要:封锁与可串行化调度是数据库并发操作采取的两种主要措施。判断一个调度是否可串行化调度的最有效方法是两段锁协议。但是,一方面,事务遵守两段锁协议只是可串行化调度的充分条件而不是必要条件;另一方面,遵守两段锁协议的事务仍可能发生死锁。文中给出了一种算法,利用该算法,不仅可判断出一个调度是否为可串行化调度,而且可判断出该调度是否会发生死锁。Locking and serializable schedule, are two main measures for concurrent operation of database. The most effective method for deciding if a schedule is serializable is Two-phase locking protocol. However,on the one hand,The Two-phase locking protocol is only sufficient condition but necessary condition of serializable schedule;on the other hand,the transactions keeping Two-phase locking protocol possibly occur deadlock. This paper gives an algorithm. With the algorithm,we can not only decide if a schedule is serializable but also decide if a schedule occurs deadlock.
分 类 号:TP311.13[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.129.209.87