论文部分内容阅读
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性.本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性、可终止性进行了论证,并进行了时间复杂度分析.
关于主动数据库属性依赖及公理系统的研究
【摘 要】
：
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性.本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性
【机 构】
：
齐齐哈尔大学信息与电气工程学院
【出 处】
：
齐齐哈尔大学学报：自然科学版
【发表日期】
：
2004年1期
其他文献
在电子汽车衡现场安装调试、检定中发现,目前只有一些大中城市或大型企业中才具有大质量砝码(量值为500kg及以上).中小城市和中小企业大量使用的还是20kg或25 kg的砝码(以下
<正>徐州华润电力有限公司党委以落实"三会一课"制度为着力点,走出创新"四步棋",将党建工作融入到公司生产经营中,充分发挥党组织的战斗堡垒作用和党员的先锋模范作用,为公司
运营商无线局域网系统电信运营商组网建设的无线局域网,叫做运营商无线局域网(OWLAN,OPERATOR WLAN).OWLAN包括四个关键物理实体:认证服务器、接入控制器、接入节点和移动终
改革开放以来，我国经济社会发生了翻天覆地的变化，国家增强了对公路建设事业的投入与支持力度，道路桥梁数量越来越多。然而在道路桥梁施工过程中，却出现了不少问题，鉴于此，笔者将本
阳煤五矿3#煤层属于突出煤层,在工作面回采作业前布置顺层钻孔预抽本煤层瓦斯,合理确定钻孔施工长度、间距和钻场间距等参数。通过顺层钻孔预抽后,现场实测该工作面最大残余
语文课的成功导入能为授课的成功奠定良好的基础。特别是在职业学校，巧妙设计课堂教学导语正是让学生对语文产生兴趣、学好语文的重要措旋。本文将从语文导语设计的主要方法这