共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
完整性约束常用来定义数据库的数据语义,违反约束的数据库实例为不一致数据库,返回含有不一致结果的查询称为不一致查询。一致性查询目的在于不修改数据库实例而从不一致数据库获取满足约束的查询结果,已有方法因其支持的约束类型有限或计算复杂度高而影响其应用范围。提出了一种基于空值修复的数据库一致性查询方法,首先将原始完整性约束转换为与查询相关的统一约束,然后根据统一约束对原SQL查询进行查询重写,重写后的查询将不一致属性值当做空值来处理以获得满足完整性约束的结果。系统实现与实验证明,该方法在多种完整性约束类型与SQL 相似文献
3.
XML Schema语义约束在关系数据库中的实现 总被引:1,自引:0,他引:1
数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题.针对这一问题,本文简要分析XML Schema和关系模式的语义约束特征,较为详细地论述XML Schema语义约束与关系模式的完整性约束之间的转换方法. 相似文献
4.
在Delphi中用事务保持数据库一致性和完整性 总被引:4,自引:0,他引:4
即使出现硬件故障,使用事务仍可保证数据的一致性,在多用户环境下,事务还可维护数据的完整性。本文结合实际应用讨论Delphi中使用事务的方法和意义。 相似文献
5.
6.
基于对象分布式实时系统约束的一致性研究 总被引:1,自引:1,他引:1
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。 相似文献
7.
在数据库设计中,数据库中表的约束是实现数据库安全及数据准确性和一致性的重要手段.本文详细论述了使用T-SQL命令方式实现数据库约束的方法. 相似文献
8.
人工智能与计算机科学中的许多问题都可视为约束满足问题,为了简化问题的求解,常采用局部一致性方法减小搜索空间。本文首先介绍与分析了着眼于全局一致性的局部处理的理论与方法,以及尽可能消除回溯因素的局部一致性方法,最后给出了一种在减少局部一致性维护代价上优于已有方法的新算法。 相似文献
9.
10.
11.
林立云 《计算机光盘软件与应用》2011,(20)
数据完整性是指数据的正确性、完备性和一致性,是衡量数据库质量好坏的标准。本文从以下三个方面分析了数据的完整性。即实体完整性、参照完整性和用户自定义完整性。 相似文献
12.
13.
通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。 相似文献
14.
XML之所以在很短的时间内就获得广泛认同,成为一种被大量使用的通用的数据格式,是因为XML文档很容易表达来自不同源的数据,是实现数据集成和交换的重要方法。但是其所能表示的语义信息却相对有限。在已有的DTD和XMLschema规范的基础上进一步增强定义完整性约束的能力,对此进行了论述。 相似文献
15.
16.
在分布式协同编辑系统中冲突是不可避免的.因此,提出一种适用于P2P环境下的基于多级协调者的多版本方法.本方法采用多级协调者分层树型结构,版本由下向上逐级提交.当产生冲突时通过冲突解决算法解决各种冲突问题.实验表明通过多级分层结构降低了网络带宽的占用,消除了系统瓶颈,有效地解决了意图冲突问题和语义冲突问题. 相似文献
17.
约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率.着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究. 相似文献
18.
由于故障如果造成一些不可分割的操作中断,就会使数据处于一种不一致的错误状态。本文通过实例来讨论了如何利用事务的ACID特性使功能上不允许中断的操作遇到故障后仍然保持其操作的不间断性,从而保证了数据库的一致性。 相似文献
19.
由于故障如果造成一些不可分割的操作中断,就会使数据处于一种不一致的错误状态。本文通过实例来讨论了如何利用事务的ACID特性使功能上不允许中断的操作遇到故障后仍然保持其操作的不间断性,从而保证了数据库的一致性。 相似文献
20.
逻辑程序设计语言具有很强的逻辑推理能力,将逻辑程序规则与数据库耦合在一起,可以扩充原有的关系数据库完整性约束规则.本文初步探讨了用逻辑程序实现关系数据库完整性约束的实现方法,该方法可以解决语义上逻辑错误的约束. 相似文献