检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江大学计算机系,杭州310027
出 处:《计算机应用研究》1998年第5期22-24,共3页Application Research of Computers
摘 要:在主动数据库中,用户必须对规则执行的次序进行控制。然而,在这个领域,对规则执行的控制结构的表达以及以统一的方法与事务模型集成的研究却做得很少。本文提出基于图的事务模型将基于图的规则与数据库事务模型以统一的方式集成在一起,以有向不循环图(DAG)来表达规则间的控制流,这是嵌套事务模型所不能作到的。此模型不仅可以表示主动数据库中规则的控制结构,还可以很好地表示规则执行语义中的耦合方式。根据事务并行执行的可串行性准则,提出了新的可串行正确性判别准则。运用调度算法和锁机制,我们还提出了并行规则执行模型。
分 类 号:TP311.13[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.192