基于XML数据集成与交换中的完整性约束研究 被引量：5

1

作者 刘云峰 杨冬青 +3 位作者 唐世渭 王腾蛟 高军 李缨 《计算机工程》 EI CAS CSCD 北大核心 2005年第9期39-40,224,共3页

介绍了CoXML系统中提出的3种新的XML完整性约束技术:基于XML的数据交换中的函数依赖转换方法,面向XMLSchema的键约束转换方法和基于XPath的XML文档键约束验证方法,并且通过CoXML系统的实现验证了这些技术的有效性。

关键词 完整性约束 数据集成 SCHEMA 转换方法 XML文档 XPATH 函数依赖 数据交换 验证方法 L系统 技术

在线阅读 下载PDF 职称材料

XML结构完整性约束下的路径表达式的最小化 被引量：3

2

作者 张剑妹 陶世群 梁吉业 《软件学报》 EI CSCD 北大核心 2009年第11期2977-2987,共11页

引入了一个XML结构完整性约束体系.这个体系描述了XML文档中节点或路径之间的5种结构关系,包括路径蕴涵、路径同现、路径互斥、必需性包含和排他性包含.给出了这些结构完整性约束的语法和语义定义,并研究了它们在XML查询优化中的作用.... 引入了一个XML结构完整性约束体系.这个体系描述了XML文档中节点或路径之间的5种结构关系,包括路径蕴涵、路径同现、路径互斥、必需性包含和排他性包含.给出了这些结构完整性约束的语法和语义定义,并研究了它们在XML查询优化中的作用.基于子路径的概念,提出了有结构完整性约束的路径表达式的最小化算法.该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式.实验结果表明了该算法的正确性和有效性. 展开更多

关键词 路径表达式 XML结构完整性约束 路径蕴涵闭包 子路径 最小化

在线阅读 下载PDF 职称材料

虚拟企业环境中支持完整性约束的主动规则 被引量：2

3

作者 杨晓春 王丹 +1 位作者 王国仁 于戈 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第1期21-24,共4页

探讨了分布式环境下信息集成系统的完整性约束种类 ,并引入主动规则用于支持分布式对象间的完整性约束 ,研究不同的约束种类与主动规则的映射关系·最后 ,提出了ViaScope系统中支持企业信息完整性约束的规则定义语言和调度结构·... 探讨了分布式环境下信息集成系统的完整性约束种类 ,并引入主动规则用于支持分布式对象间的完整性约束 ,研究不同的约束种类与主动规则的映射关系·最后 ,提出了ViaScope系统中支持企业信息完整性约束的规则定义语言和调度结构·基于主动规则的企业信息集成策略 ,将传统的模式集成和分布式对象调度相结合 ,支持企业用户在线定义不同的企业逻辑 ,为虚拟企业的信息管理提供了高度的灵活性、可重用性和实用性· 展开更多

关键词 虚拟企业 信息集成 完整性约束 主动规则 分布式调度

在线阅读 下载PDF 职称材料

DTD模式下的XML结构完整性约束 被引量：3

4

作者 张剑妹 陶世群 《小型微型计算机系统》 CSCD 北大核心 2009年第11期2232-2237,共6页

XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了... XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了有DTDs的情况下结构完整性约束的逻辑蕴含问题和一致性问题. 展开更多

关键词 XML结构完整性约束 DTDs 逻辑蕴含 一致性

在线阅读 下载PDF 职称材料

基于时区的次协调数据库的完整性约束及模型 被引量：3

5

作者 黄慧 毛宇光 《计算机应用与软件》 CSCD 北大核心 2014年第3期22-26,共5页

传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型... 传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型之上的集合运算及关系运算,给出这种新模型的应用。 展开更多

关键词 次协调数据库 四值逻辑 时区 完整性约束 时态模型

在线阅读 下载PDF 职称材料

在多数据库系统中维护完整性约束 被引量：1

6

作者 卢正鼎 杨玉萍 +2 位作者 李长磊 肖卫军 吴炜 《小型微型计算机系统》 CSCD 北大核心 2000年第9期936-939,共4页

在多数据库系统中 ,需要维护全局完整性约束 .针对这一问题 ,本文提出了将主动机制集成到多数据库系统中以维护全局完整性约束的方法 ,并给出了具体的实例 .由于主动规则与系统无关 。

关键词 全局完整性约束 多数据库系统 ECA-规则 维护

在线阅读 下载PDF 职称材料

XML结构完整性约束的研究 被引量：2

7

作者 张剑妹 陶世群 《计算机工程与应用》 CSCD 北大核心 2006年第32期167-169,196,共4页

XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现... XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。 展开更多

关键词 结构完整性约束 排他性包含 必需性包含 路径蕴涵 路径互斥 路径同现

在线阅读 下载PDF 职称材料

分布式数据库中海量数据采集完整性约束 被引量：1

8

作者 赫然 王秀坤 +1 位作者 王轶讴 曾智 《大连理工大学学报》 EI CAS CSCD 北大核心 2003年第z1期190-192,共3页

在分布式数据库系统的建立过程中,需要把大量的异构信息转化成数据库管理系统可以识别和处理的数据.在把信息装载到数据库前,需要对这些源数据进行完整性校验.利用数据库关系的偏序性把数据划分成不相交的子集,给出了一种描述数据库统... 在分布式数据库系统的建立过程中,需要把大量的异构信息转化成数据库管理系统可以识别和处理的数据.在把信息装载到数据库前,需要对这些源数据进行完整性校验.利用数据库关系的偏序性把数据划分成不相交的子集,给出了一种描述数据库统计概貌的模型,把全局完整性约束局部化,对以文件形式存在的源数据进行分布式完整性检查,然后在后台将其批量装载到数据库中.此种方法在黑龙江省防洪决策数据库系统的建立过程中,明显提高了数据的可信度及装载效率. 展开更多

关键词 数据库 概貌 数据采集 完整性约束

在线阅读 下载PDF 职称材料

一种基于完整性约束的路径表达式的查询优化策略 被引量：1

9

作者 张剑妹 陶世群 段洪秀 《计算机科学》 CSCD 北大核心 2006年第3期129-131,共3页

利用路径表达式导航 XML 查询是 XML 查询语言的共同特点。目前对 XML 路径表达式的计算有两种方法:一种是基于树遍历的方法,一种是路径连接方法。在路径连接方法中路径表达式的计算效率很大程度上依赖于路径表达式的长度。在对 XML 模... 利用路径表达式导航 XML 查询是 XML 查询语言的共同特点。目前对 XML 路径表达式的计算有两种方法:一种是基于树遍历的方法,一种是路径连接方法。在路径连接方法中路径表达式的计算效率很大程度上依赖于路径表达式的长度。在对 XML 模式反映的完整性约束研究的基础上,本文提出了排他性包含约束的概念;给出了利用排他性包含约束缩短路径表达式的策略和算法,从而降低了路径连接的代价。通过分析比较,这种路径缩短策略是有效可行的。 展开更多

关键词 XML 路径表达式 结构连接 完整性约束 排他性包含约束 优化策略

在线阅读 下载PDF 职称材料

完整性约束规则的自动生成 被引量：1

10

作者 姜跃平 董继润 《计算机科学》 CSCD 北大核心 1994年第4期52-55,共4页

1．前言 传统数据库一直被动地对用户(应用程序)的要求作出反应,八十年代末期提出的主动数据库突破了这一局限,能够在没有用户干预的情况下,自动地对系统内部或外部产生的事件做出响应[5],其主动性行为的基础是规则系统的有力支持。 ... 1．前言 传统数据库一直被动地对用户(应用程序)的要求作出反应,八十年代末期提出的主动数据库突破了这一局限,能够在没有用户干预的情况下,自动地对系统内部或外部产生的事件做出响应[5],其主动性行为的基础是规则系统的有力支持。 后期推出的关系数据库产品(如SYBASE)已经提供了规则机制,有许多基于规则的主动数据库已经或正在形成。但这些系统中提供的规则定义语言都是过程式的,要求用户对规则的条件和动作进行具体描述,规则定义成为一项很繁琐的工作,给用户充分利用规则造成困碓。特别是对于大量的完整性约束保持规则来说,其触发条件和动作都有稳定一致的规律性,应该提供一种说明性的语言使用户能够简明安全地表达约束语义,而规则的细节能由系统自动生成。 展开更多

关键词 数据库 完整性约束 规划语言

在线阅读 下载PDF 职称材料

XML的结构完整性约束推理

11

作者 张剑妹 陶世群 +1 位作者 梁吉业 曹峰 《计算机学报》 EI CSCD 北大核心 2010年第12期2281-2290,共10页

为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵... 为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法. 展开更多

关键词 XML结构完整性约束 逻辑蕴涵 一致性 推理规则 路径蕴涵闭包

在线阅读 下载PDF 职称材料

演绎数据库中完整性约束视图表示和生成算法

12

作者 毛翼飞 陶世群 《计算机工程与应用》 CSCD 北大核心 2003年第20期189-191,共3页

在演绎数据库系统中,一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法,给出了一个生成算法,将完整性约束条件表示成视图形式,克服了传统方法中存储开销大,演绎查询实现复杂的缺... 在演绎数据库系统中,一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法,给出了一个生成算法,将完整性约束条件表示成视图形式,克服了传统方法中存储开销大,演绎查询实现复杂的缺点,有效地提高了演绎查询的执行效率。 展开更多

关键词 演绎数据库 数据库 完整性约束条件 视图表示 视图生成算法

在线阅读 下载PDF 职称材料

基于非完整性约束的采煤机定位方法 被引量：2

13

作者 宋单阳 杨金衡 +3 位作者 陶心雅 卢春贵 田慕琴 宋建成 《工矿自动化》 北大核心 2022年第7期52-57,共6页

目前基于惯性导航系统和里程计组合的采煤机定位方法直接用里程计输出对惯性导航系统推算得到的采煤机前进速度进行修正,但抑制惯性导航系统误差发散的能力非常有限。采煤机在运动过程中满足非完整性约束的特点,即在采煤机不发生跳跃和... 目前基于惯性导航系统和里程计组合的采煤机定位方法直接用里程计输出对惯性导航系统推算得到的采煤机前进速度进行修正,但抑制惯性导航系统误差发散的能力非常有限。采煤机在运动过程中满足非完整性约束的特点,即在采煤机不发生跳跃和侧滑的情况下,牵引齿轮和履带连接处的侧向和垂向速度为零。基于该特点,在惯性导航系统和里程计组合定位的基础上,提出了一种基于非完整性约束的采煤机定位方法。安装于采煤机机身中部的惯性测量单元输出经机械编排获得采煤机姿态、速度和位置信息;安装于采煤机牵引齿轮上的里程计输出用于计算采煤机瞬时速度。使用惯性导航系统的机械编排结果和误差传播模型建立卡尔曼滤波状态方程,在采煤机牵引齿轮和履带的连接处引入非完整性约束,利用惯性导航系统投影在连接处的速度与里程计输出的速度之差作为观测向量,建立卡尔曼滤波观测方程;将卡尔曼滤波算法处理后的结果作为误差反馈,对惯性导航系统的输出进行修正,得到采煤机姿态、速度和位置的最优估计。实验结果表明,相较于传统惯性导航系统和里程计组合的定位方法,加入非完整性约束后定位误差没有随时间发散,对实际轨迹具有良好的追踪性能;采煤机在前向、侧向、垂向上的定位误差分别降低了66%,62%,67%。 展开更多

关键词 采煤机定位 惯性导航系统 里程计 非完整性约束 卡尔曼滤波

在线阅读 下载PDF 职称材料

存在完整性约束时最小化树模式查询的算法

14

作者 张凡 熊志平 胡运发 《计算机工程》 CAS CSCD 北大核心 2006年第10期66-67,70,共3页

树模式是查询树型结构数据如XML和LDAP的天然模型。在一个给定的数据库上进行查询,查询的效率很大程度上依赖于查询的大小。因此,在查询前删除查询中的冗余分支,使查询最小化是非常重要的。在树型结构数据库中,存在孩子必需、后代必需... 树模式是查询树型结构数据如XML和LDAP的天然模型。在一个给定的数据库上进行查询,查询的效率很大程度上依赖于查询的大小。因此,在查询前删除查询中的冗余分支,使查询最小化是非常重要的。在树型结构数据库中,存在孩子必需、后代必需和子类3种完整性约束是十分普遍的。针对存在这3种完整性约束的情况,基于扩展的模拟概念提出了一种复杂度为O(n2)的最小化树模式查询算法(n为树模式查询的节点数)。分析结果表明这个算法的效率要远高于同类算法。 展开更多

关键词 XML查询 树模式查询 完整性约束 查询最小化 模拟

在线阅读 下载PDF 职称材料

基于Client/Server数据完整性约束的实现技术 被引量：3

15

作者 时亚弘 《计算机工程与设计》 CSCD 2002年第2期33-35,共3页

主要讨论基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ数据完整性约束及其如何实施企业业务规则，并以 ＳＱＬＳｅｒｖｅｒ和ＰｏｗｅｒＢｕｉｌｄｅｒ５．０为例，介绍了数据完整性约束的实现技术。

关键词 数据完整性约束 企业业务规划 客户/服务器 数据库

在线阅读 下载PDF 职称材料

一种具有完整性约束智能小车运动控制的实现 被引量：2

16

作者 李毓川 《电子测量技术》 2018年第10期29-34,共6页

为了实现具有完整性约束3轮智能小车在模拟小型足球比赛场地的避障和循迹的运动功能,首先建立了3轮智能小车的全局坐标系,推导了各车轮及小车的运动学模型。利用PWM控制方法实现对小车驱动直流电机速度即轮子速度的控制,然后设计了一种... 为了实现具有完整性约束3轮智能小车在模拟小型足球比赛场地的避障和循迹的运动功能,首先建立了3轮智能小车的全局坐标系,推导了各车轮及小车的运动学模型。利用PWM控制方法实现对小车驱动直流电机速度即轮子速度的控制,然后设计了一种改进的PID控制算法和控制器,通过对智能小车的实地调试,调整了控制器的相关参数,如小车的＂带球时间＂、小车避障时的转弯半径和转弯速度等,最终使小车在直行和转弯时都能稳定＂带球＂运动,实现了小车在比赛中的避障和循迹功能,并在比赛中取得了不错的成绩。 展开更多

关键词 完整性约束 智能小车 改进PID控制算法 运动学模型

在线阅读 下载PDF 职称材料

地理链接数据的空间拓扑完整性验证

17

作者 卢禹博 叶育鑫 欧阳丹彤 《吉林大学学报(理学版)》 北大核心 2025年第1期60-66,共7页

为能准确且快捷地验证地理链接数据多重实体空间拓扑关系的完整性,提出一种基于RCC8模型的饱和推理方法,用于检验多重空间拓扑关系是否具有冲突.该方法应用推理规则,将关系对进行两两组合推理,逐步推导出潜在空间关系并对推理结果进行检... 为能准确且快捷地验证地理链接数据多重实体空间拓扑关系的完整性,提出一种基于RCC8模型的饱和推理方法,用于检验多重空间拓扑关系是否具有冲突.该方法应用推理规则,将关系对进行两两组合推理,逐步推导出潜在空间关系并对推理结果进行检验,不断重复以上过程,直到确保推理过程在所有关系对均被推导后终止.在此基础上,封装一个基于RCC8模型的饱和推理验证组件,以方便使用者在无需重复编写代码的情况下,通过直接调用组件验证多重空间拓扑关系.利用该方法和组件对SLIPO项目的链接数据集的部分数据进行测试,成功识别出GeoSHACL组件无法检测到的多个空间拓扑关系冲突实体. 展开更多

关键词 地理链接数据 空间完整性约束 饱和式推理 完整性验证 空间约束组件

在线阅读 下载PDF 职称材料

对象/关系映射中的完整性及关系约束检查 被引量：1

18

作者 卫春敏 赵莉 陈文宇 《电子科技大学学报》 EI CAS CSCD 北大核心 2004年第5期570-572,593,共4页

针对面向对象设计与关系数据库设计之间的不匹配问题,介绍了一种映射方法O/R Mapping。在使用对象模型时,常常通过对象之间的关系来进行访问;而根据关系理论,则通过表的连接、行列的复制来实施数据的存取。其不同使两种机制的结合并不理... 针对面向对象设计与关系数据库设计之间的不匹配问题,介绍了一种映射方法O/R Mapping。在使用对象模型时,常常通过对象之间的关系来进行访问;而根据关系理论,则通过表的连接、行列的复制来实施数据的存取。其不同使两种机制的结合并不理想,当为访问数据寻找一种合适的方法时,则不匹配就成为了主要矛盾。使用对象/关系映射可以解决该矛盾。 展开更多

关键词 对象 关系映射 对象 关联 完整性及关系约束

在线阅读 下载PDF 职称材料

基于航位推算的车载组合导航系统NHC杆臂估计算法

19

作者 邓成剑 陈起金 +1 位作者 张提升 牛小骥 《北京航空航天大学学报》 北大核心 2025年第2期668-675,共8页

车辆运动的非完整性约束(NHC)可用作车载组合导航系统的速度观测信息,能够有效抑制惯性导航系统(INS)的误差累积。充分发挥NHC的约束作用需要准确估计和补偿IMU安装角和NHC杆臂。因此对NHC杆臂进行研究,通过三维航位推算(dead reckoning... 车辆运动的非完整性约束(NHC)可用作车载组合导航系统的速度观测信息,能够有效抑制惯性导航系统(INS)的误差累积。充分发挥NHC的约束作用需要准确估计和补偿IMU安装角和NHC杆臂。因此对NHC杆臂进行研究,通过三维航位推算(dead reckoning)及扩展卡尔曼滤波器,在没有里程计的情况下,同时估计IMU安装角和NHC杆臂。实验结果表明,本算法能够同时准确估计高精度惯导和低精度MEMS惯导的安装角和NHC杆臂,安装角估计误差小于0.1°,使用估计的NHC杆臂投影点比IMU中心更符合NHC约束条件,能够明显提高NHC约束的辅助效果,提升车载组合导航系统的性能。 展开更多

关键词 车载组合导航系统 航位推算 非完整性约束 NHC杆臂 IMU安装角

在线阅读 下载PDF 职称材料

基于MEMS IMU和运动约束的共享单车定位算法 被引量：7

20

作者 牛小骥 丁龙阳 +1 位作者 旷俭 吴宜斌 《中国惯性技术学报》 EI CSCD 北大核心 2021年第3期300-306,共7页

由于全球卫星导航系统在城市环境中信号遮挡严重,共享单车在这类关键区域难以实现连续可靠的定位。为解决这一问题,利用MEMS IMU和自行车运动特性,设计了一种基于惯性导航系统(INS)和非完整性约束(NHC)的融合推算定位方案(NHC/INS)。尤... 由于全球卫星导航系统在城市环境中信号遮挡严重,共享单车在这类关键区域难以实现连续可靠的定位。为解决这一问题,利用MEMS IMU和自行车运动特性,设计了一种基于惯性导航系统(INS)和非完整性约束(NHC)的融合推算定位方案(NHC/INS)。尤其是深入探讨了IMU安装角误差与NHC杆臂补偿对自行车NHC/INS定位性能的影响。实验结果表明:(1)在卫星信号中断60 s的情况下,相较于传统惯性导航方案,NHC/INS方案在北向、东向以及垂向的定位精度分别提升了91%、95%和83%;(2)即使在卫星信号中断5 min的极端苛刻条件下,NHC/INS方案的北向、东向以及垂向的位置最大误差的RMS统计值也仅为4.0 m、2.5 m和4.0 m,能够满足共享单车的日常监管需要。 展开更多

关键词 MEMS IMU 非完整性约束 自行车定位 扩展卡尔曼滤波

在线阅读 下载PDF 职称材料