溯因更新推导和约束维护推导

来源 :沈阳工程学院学报:自然科学版 | 被引量 : 0次 | 上传用户:gaozhanlong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了将更新事务原子分解为EDB更新的推导过程,并给出更新事务原子的溯因更新推导和约束维护推导.
其他文献
针对目前大机组厂用事故保安电源所采用的传统事故切换方式和采用新型自动切换开关的方式等内容展开讨论,指出各自的优缺点并对2种方式下的安全性和必要性等有关问题进行了分
介绍了Intemet网页恶意代码的危害,分析了恶意代码工作基本原理,并针对恶意代码的感染机理提出了具体的防范措施及建议。
超细煤粉再燃技术是燃煤电站实现低NOx排放的关键技术之一.结合超细煤粉再燃机理,对低NOx排放的主要影响因素:燃料特性、煤粉细度、在再燃区的停留时间、再燃区反应温度、再
能源经济是社会经济发展的重要支柱产业。综合能源系统规划是全社会清洁能源发展、支持能源高效利用以及节能减排的重要途径。本文研究了综合能源系统评价指标体系,分析了综
【正】 我国的诗歌翻译理论起步很晚,至今尚属草创阶段,始终没有出现象文学翻译理论中严复所标的“信”、“达”、“雅”那样影响深远的理论。自1922年茅盾的第一篇讨论诗歌
我国目前的职场性骚扰防治制度无论是立法情况还是司法实践都不完善。立法上,从职场性骚扰的概念到具体防治措施都存在大片制度空白,防治职场性骚扰沦为一句口号,雇主责任制度的缺位导致用人单位缺乏相关防治机制,受害人难以从雇主处获得帮助。同时由于立法上的缺失,导致司法实践中存在行为认定标准不一、举证难度大、证明标准不一等问题,难以认定职场性骚扰行为的存在,雇主责任承担也无从谈起,受害人的维权难度大大增加。雇
选择最优的产品创新设计方案是产品创新的核心环节之一。在产品创新设计方案的选择过程中,由于不同创新主体的知识结构和专业背景存在差异和不对称性,对不同方案的评价有一定的局限性和模糊性,增加了产品创新设计过程的复杂程度,因此存在着如何科学合理地兼容多种模糊形式信息以及全面精确地衡量属性间相互关联关系的问题。然而,目前有关此方面的研究尚处于探索阶段。为此,本研究结合HB-SIR方法和Zhenyuan积分的
用大量资金和密集技术造就的锂电池,因为具备新能源和高科技的概念,受到投资者高度关注。而锂电池应用于电动自行车具有良好的市场前景,令企业趋之若鹜。大量企业进入造成良
在人们的日常生活中,带有手写输入的电子设备和移动终端被广泛应用于各个领域,其中,手写数学公式在现代化的课堂教育等领域发挥着重要的作用。在传统的手写文本识别领域中,字