论文部分内容阅读
终止性反映了主动数据库系统良好的行为特性．针对主动规则终止性分析方法的局限性，介绍了一种主动数据库规则终止性分析的新方法．此方法将主动规则翻译成逻辑语句，考虑到系统的执行语义，转换为演绎规则中已知终止性的主动过程．
主动规则的终止性分析
【摘 要】
：
终止性反映了主动数据库系统良好的行为特性．针对主动规则终止性分析方法的局限性，介绍了一种主动数据库规则终止性分析的新方法．此方法将主动规则翻译成逻辑语句，考虑到系统的执
【机 构】
：
哈尔滨理工大学计算机科学与技术学院
【出 处】
：
哈尔滨理工大学学报
【发表日期】
：
2006年6期
其他文献
针对无线通信电磁环境的复杂化和对通信系统性能要求的提升，传统的单码通信测距复合系统已经不能满足实际需求，提出了一个基于DSP、FPGA和DDS技术的新型链接序列的通信测距复合
为解决传统原料奶成分检测方法耗时、费力等方面的问题,设计了一个基于ARM11的原料奶成分分析系统。根据原料奶成分的光谱特性和现在人们对此类设备便携、操作方便等方面的需
使用B／S三层结构和C／S二层结构相结合的混合模式，结合Web服务跨平台的技术优势，提出了基于．NET服务的“集成数据中心”学分制收费模型，实现了教务系统与财务系统的数据共享、协同工
加强高职学生的职业道德教育,培养学生良好的职业道德,使其成为深受社会欢迎的高素质技能型专门人才,是高职院校重要而紧迫的任务。文章分析了高职学生职业道德存在的问题,并
我们自1999年1月开始采用彩超与腹壁外胎儿监护相结合的方法，加强了对胎儿脐带绕颈的监测，分娩结局良好，现报告如下。
由于动漫游的实时性以及动态交互性,对于多媒体数据块的查找和存储速度的需求是很迫切的。而在昂贵的商业数据库费用下,现在的小型动漫游应用大多采用现有的文件系统进行多媒
SSH2是目前主流开发JavaEE应用的轻量级组合.首先介绍了三个框架的核心思想以及集成开发的优势,然后在SSH2框架集成基础上,采用分层结构设计了一个实验实训管理系统,研究了基
移动AdHoe网络是移动节点动态临时组建的自组织网络，路由协议一直是AdHoe网络研究的关键问题。使用网络模拟器NS2，设定特定的仿真环境，在不同节点密度、节点移动性和网络负载条
为了提高电火花线切割精加工精确度，尝试在气体介质中进行低速走丝线切割的最后一次精加工实验，并与传统的多次切割加工进行对比．通过实验确定了在气体介质的加工预置量、伺服电