论文部分内容阅读
规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序．针对主动规则汇流性分析方法的局限性，介绍一种主动数据库规则汇流性分析的新方法，此方法将主动规则翻译成逻辑语句，考虑到系统的执行语义，转换为演绎规则中已知汇流性的主动过程．
主动规则的汇流性分析
【摘 要】
：
规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序．针对主动规则汇流性分析方法的局限性，介绍一种主动数据库规则汇流性分析的新方法，此方法将主动规则翻译成
【机 构】
：
黑龙江工程学院
【出 处】
：
哈尔滨师范大学自然科学学报
【发表日期】
：
2008年1期
其他文献
通过对全国100多个城市的1万多名消费者的丝绸消费行为及意愿调查，寻找扩大丝绸消费的途径与对策。首先介绍了凋查的方法、对象及其结构；然后介绍了调查的内容、结果与分析；最后
为探索人工栽培过程中泽泻蕨营养生长期和生殖生长期对光强的不同需求,运用气体交换法研究了以上两个时期泽泻蕨叶片的光响应曲线及相关参数,并选取了适用于泽泻蕨的光响应曲线模型.结果表明:泽泻蕨营养生长期和生殖生长期叶片的光响应曲线趋势相似,营养生长期的表观光量子效率大于生殖生长期,差异不显著,最大净光合速率和光饱和点显著大于生殖生长期,暗呼吸速率、光补偿点等指标均与生殖生长期差别不大;在泽泻蕨双曲线模型
在再生核空间中考虑一类非线性抛物型偏微分方程反问题,以级数的形式给出了解的精确表达,并证明了构造出来的迭代序列是收敛到精确解的.最后给出了数值算例,其结果是令人满意
为了准确测量气液两相流含气率,提出一种同轴线相位差测量方法。利用同轴线传感器,通过测量电磁波经过在同轴线内分布状况不同的气液混合介质后相位差的变化,得到混合介质的
针对在室内外环境下对小型移动机器人的运动要求,综合轮式、履带式和腿式运动机构的优点,研制开发了一种多运动模式的小型轮履腿复合式移动机器人.该机器人可以进行轮式高速
本文指出了Banach空间具有CLUR性质的充要条件是该空间具有CLkR和WM1性质.此外,还给出了赋Orlicz范数的Orlicz序列空间具有CLkR性质的充要条件.
为了实现利用C#语言编程求解激光跟踪干涉仪基站空间坐标,对基站空间坐标的标定原理进行了研究,指出本质上基站空间坐标求解问题可转化为非线性最小二乘问题,为此分析了高斯
研究形如Uxxy=F（x,y,Uxx,Uxy,Uy,Ux,U）的三阶非线性偏微分方程,利用积分算子的特殊性质和不动点原理,证明了其初边值问题的局部正规界的存在性.
用工程实例介绍在广深准高速铁路上进行多跨框架桥涵顶进时，通过对D型施工便梁改造后作为线路上大跨度扣轨纵梁的施工工艺和效果。具体阐述吊横梁法与D型施工便梁法这两种线路
以Czochralski提拉法生长出一系列Er：LiNbO3晶体（Er：1.0mol%,2.0mol%,3.0mol%）,测量室温下的拉曼光谱和荧光光谱,比较不同Er^3＋掺杂浓度晶体发现,Er：LiNbO3晶体振动模的对称性及分