论文部分内容阅读
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性.本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性、可终止性进行了论证,并进行了时间复杂度分析.
关于主动数据库属性依赖及公理系统的研究
【摘 要】
：
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性.本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性
【机 构】
：
齐齐哈尔大学信息与电气工程学院
【出 处】
：
齐齐哈尔大学学报：自然科学版
【发表日期】
：
2004年1期
其他文献
本文详细叙述了碳纤维电极的研制工艺,并对其性能进行了测试,碳纤维电极的峰高均值为268.57μA/V,变异系数为1.213%.GC电极的峰高均值为373.3μA/V,变异系数为1.553%,碳纤维
在电子汽车衡现场安装调试、检定中发现,目前只有一些大中城市或大型企业中才具有大质量砝码(量值为500kg及以上).中小城市和中小企业大量使用的还是20kg或25 kg的砝码(以下
<正>徐州华润电力有限公司党委以落实"三会一课"制度为着力点,走出创新"四步棋",将党建工作融入到公司生产经营中,充分发挥党组织的战斗堡垒作用和党员的先锋模范作用,为公司
运营商无线局域网系统电信运营商组网建设的无线局域网,叫做运营商无线局域网(OWLAN,OPERATOR WLAN).OWLAN包括四个关键物理实体:认证服务器、接入控制器、接入节点和移动终
在北京国际通信展，爱立信搭建的HSDPA现场演示区格外引人注目。爱立信用WCDMA的HSDPA技术现场演示了流媒体和大量文件下载。高达4．9Mb／s的数据吞吐量通过生动的应用直观的展示给
为了帮助运营商以经济高效的方式全力铺展3G,诺基亚在今年6月举办的"Nokia Connection 2004"大会上发布了新的WCDMA基站--诺基亚MetroSite 50,它能快速创建WCDMA覆盖,并经济
改革开放以来，我国经济社会发生了翻天覆地的变化，国家增强了对公路建设事业的投入与支持力度，道路桥梁数量越来越多。然而在道路桥梁施工过程中，却出现了不少问题，鉴于此，笔者将本
杰尔系统日前推出一套基于两款新型处理器芯片的接入解决方案，使有线和无线服务提供商在向消费者提供汇聚接入服务的全球市场竞争中，快速扩展产品、创造更多收入，并降低成本。这
阳煤五矿3#煤层属于突出煤层,在工作面回采作业前布置顺层钻孔预抽本煤层瓦斯,合理确定钻孔施工长度、间距和钻场间距等参数。通过顺层钻孔预抽后,现场实测该工作面最大残余
语文课的成功导入能为授课的成功奠定良好的基础。特别是在职业学校，巧妙设计课堂教学导语正是让学生对语文产生兴趣、学好语文的重要措旋。本文将从语文导语设计的主要方法这