非一致性数据库关键词非聚集约束查询与性能分析

在分析非一致性数据库一致性查询方法的基础上,结合非聚集约束条件,以关键词为元数据,利用B-树与二叉树的原理,提出一种新的针对非一致性数据库的查询方法.通过节点分组访问、分层迭代查询的方法,不仅解决非一致性数据库约束条件难写的问题,而且容易组合选择查询条件,有助于提高查询的灵活性与准确性.     

基于空值修复的数据库一致性查询方法*

完整性约束常用来定义数据库的数据语义,违反约束的数据库实例为不一致数据库,返回含有不一致结果的查询称为不一致查询。一致性查询目的在于不修改数据库实例而从不一致数据库获取满足约束的查询结果,已有方法因其支持的约束类型有限或计算复杂度高而影响其应用范围。提出了一种基于空值修复的数据库一致性查询方法,首先将原始完整性约束转换为与查询相关的统一约束,然后根据统一约束对原SQL查询进行查询重写,重写后的查询将不一致属性值当做空值来处理以获得满足完整性约束的结果。系统实现与实验证明,该方法在多种完整性约束类型与SQL     

XML Schema语义约束在关系数据库中的实现

数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题.针对这一问题,本文简要分析XML Schema和关系模式的语义约束特征,较为详细地论述XML Schema语义约束与关系模式的完整性约束之间的转换方法.     

在Delphi中用事务保持数据库一致性和完整性

即使出现硬件故障,使用事务仍可保证数据的一致性,在多用户环境下,事务还可维护数据的完整性。本文结合实际应用讨论Delphi中使用事务的方法和意义。     

客户机端数据库完整性约束的程序实现

本文对完整性约束的定义、含义等内容进行了阐述，分析了数据库维护及程序设计中的完整性约束问题。结合QCMS信息管理系统的设计，对在程序设计中如何保证完整性约束进行了讨论。     

基于对象分布式实时系统约束的一致性研究

在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。     

使用T-SQL实现数据库约束的方法

在数据库设计中,数据库中表的约束是实现数据库安全及数据准确性和一致性的重要手段.本文详细论述了使用T-SQL命令方式实现数据库约束的方法.     

约束满足问题的局部一致性维护理论与方法

人工智能与计算机科学中的许多问题都可视为约束满足问题,为了简化问题的求解,常采用局部一致性方法减小搜索空间。本文首先介绍与分析了着眼于全局一致性的局部处理的理论与方法,以及尽可能消除回溯因素的局部一致性方法,最后给出了一种在减少局部一致性维护代价上优于已有方法的新算法。     

客户机端数据库完整性约束的程序实现

本文对完整性约束的定义、含义等内容进行了阐述，分析了数据库维护及程序设计中的完整性约束问题。结合QCMS信息管理系统的设计，对在程序设计中如何保证完整性约束进行了讨论。     

E-CSPE约束的一致性判定

分布式程序目前被大量使用．由于并发的存在，测试分布式程序需要采用事件约束来判定运行事件序列的正确性，事件约束之间需要判定一致性．初始的事件约束可以通过规约来定义，作者提出E-CSPE约束的描述规则来推导新约束，并提出约束之间的一致性判定机制．该算法具有多项式复杂度．     

浅谈数据库中的完整性约束

数据完整性是指数据的正确性、完备性和一致性,是衡量数据库质量好坏的标准。本文从以下三个方面分析了数据的完整性。即实体完整性、参照完整性和用户自定义完整性。     

基于CTL和Petri网的约束一致性验证方法研究

通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。     

XML完整性约束的实现

XML之所以在很短的时间内就获得广泛认同,成为一种被大量使用的通用的数据格式,是因为XML文档很容易表达来自不同源的数据,是实现数据集成和交换的重要方法。但是其所能表示的语义信息却相对有限。在已有的DTD和XMLschema规范的基础上进一步增强定义完整性约束的能力,对此进行了论述。     

时间UML-Statecharts建模的工作流时序约束的一致性验证

工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。     

一种多协调者的多版本一致性控制算法

在分布式协同编辑系统中冲突是不可避免的.因此,提出一种适用于P2P环境下的基于多级协调者的多版本方法.本方法采用多级协调者分层树型结构,版本由下向上逐级提交.当产生冲突时通过冲突解决算法解决各种冲突问题.实验表明通过多级分层结构降低了网络带宽的占用,消除了系统瓶颈,有效地解决了意图冲突问题和语义冲突问题.     

约束满足问题中一致性算法的分析与研究

约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率.着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究.     

事务在保持数据库一致性中的作用

由于故障如果造成一些不可分割的操作中断,就会使数据处于一种不一致的错误状态。本文通过实例来讨论了如何利用事务的ACID特性使功能上不允许中断的操作遇到故障后仍然保持其操作的不间断性,从而保证了数据库的一致性。     

事务在保持数据库一致性中的作用

由于故障如果造成一些不可分割的操作中断,就会使数据处于一种不一致的错误状态。本文通过实例来讨论了如何利用事务的ACID特性使功能上不允许中断的操作遇到故障后仍然保持其操作的不间断性,从而保证了数据库的一致性。     

逻辑程序在关系数据库完整性约束中的应用

逻辑程序设计语言具有很强的逻辑推理能力,将逻辑程序规则与数据库耦合在一起,可以扩充原有的关系数据库完整性约束规则.本文初步探讨了用逻辑程序实现关系数据库完整性约束的实现方法,该方法可以解决语义上逻辑错误的约束.