论文部分内容阅读
本文讨论分布式演绎数据库系统中的规则分配问题。文中给出了五种有效的启发式规则分配算法，它将规则库表示成一个有向的层次结构图，并依据此图按自上而五方式分配规则。本算法的时间复杂度是Ｏ，其中ｍ是系统中的站点个数，ｎ是规则条数。
DDedDBS中的一种启发式规则分配算法
【摘 要】
：
本文讨论分布式演绎数据库系统中的规则分配问题。文中给出了五种有效的启发式规则分配算法，它将规则库表示成一个有向的层次结构图，并依据此图按自上而五方式分配规则。本算法
【机 构】
：
武汉大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1996年10期
【基金项目】
：
国家863高科技基金
其他文献
通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨
目前．植酸酶作为饲料添加剂在饲料工业中的应用已经非常广泛．不仅应用于猪和家禽饲料中。而且在水产饲料中的应用也较为广泛。在饲料中添加植酸酶是一种提高动物利用饲料原料中
本文通过对凹对分类编码的研究，提出了一种复杂度为Ｏ（ｎ＋Ｎ＾２）的简单多边形的凸单元剖分算法。
【正】 英、美等西方国家的城市是工业化的产物,第三世界城市的兴起应当被看作是殖民扩散的影响,而不是当地城镇自然发展的产物.本世纪初,除西欧和北美以外也存在一些具有相
本文提出一个具有N1+ε台处理机和带有N1+ε个1-位（二进制位）的可变结构的总线系统的SIMD阵列处理机系统．其中，ε是任意小的正常数．它具有常数步排序能力．先前具有常数步排序能力的
当前．我国小麦主产区由南向北正陆续进入“三夏”生产的关键时期。6月9—10日．中共中央政治局常委、国务院总理温家宝来到河南省郑州、许昌等地。深入麦田、农户和粮库，实地察看
由国家饲料质量监督检验中心（北京）主办．农业部饲料质量及畜产品安全监督检验测试中心（沈阳）承办的全国饲料质检体系实验室比对考核技术研讨培训班于7月20日在沈阳举行。全国饲料
释中关于侵犯商业秘密一节内容为指导，结合代理相关案件的经验，论述商业秘密侵权案件中原告的举证责任，以及为避免经营者在遭受侵害时因举证不能而败诉，如何完善日常管理制度。
6月22日．财政部和国家税务总局公布“关于取消部分商品出口退税的通知”，自2010年7月15日起，我国将取消406种商品的出口退税。
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。