共查询到20条相似文献,搜索用时 596 毫秒
1.
Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性, 提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。 相似文献
2.
XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义.树模式把XQuery表示成树结构的查询,如何基于XMLSchema对树模式进行优化是当前的研究热点,需要利用XMLSchema的一些特征进行树模式优化,因此如何自动提取XMLSchema的特征是需要解决的问题.提出基于模型检查的XMLSchema特征提取方法.首先把XMLSchema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XMLSchema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化. 相似文献
3.
基于XML的异构数据库集成方法研究与实现 总被引:2,自引:1,他引:1
异构数据库的集成问题是当前数据处理领域内研究的一个热点,它能更有效地利用信息资源、实现数据共享。文章提出并实现了基于XML的异构数据库集成与查询系统,并重点讨论了异构数据库的集成方法。系统采用W3C的XML Schema标准作为异构数据源的全局模式描述,借助XML Schema强大的数据描述能力,通过实现关系模式的提取、关系模式到XML Schema的转化和附加语义约束,实现了异构资源数据库数据的整合。 相似文献
4.
针对异构数据集成过程中的模式转换问题,提出一种XML模式与关系库模式的转化方法,通过定义XML Schema与关系模式之间的转换规则,以XML Schema文档树生成的结点树为基础,实现了XML模式与关系模式的映射。该方法的最大特点是它不仅可以反映数据的结构特征,而且还能表示数据的语义约束。 相似文献
5.
语义对象模型是把语义看作基本出发点,用来文档化用户需求并建立数据模型的。利用语义对象模型来获得XML Schema,或将语义对象模型作为关系数据模型向XML Schema转换的中介,有利于尽可能多地保留数据的语义信息。文章提出了利用语义对象的XML Schema数据建模的一些基本规则和方法。 相似文献
6.
基于关系模式的向量模型和XML模式树模型,提出了一种关系模式到模块化的XML Schema的模型映射方法BTT,其映射规则保持了关系模式的结构、属性以及约束信息的完整保留,自底向上的映射顺序在没有牺牲转换效率的情况下,完成了模块化的封装与重用,使得对转换后的XML Schema文档的更新操作可以在模块化内部完成,大大提高了维护效率。实验结果表明了与传统的嵌套层次的XML Schema文档相比,BTT方法转换形成的XML Schema在维护效率上有明显优势。 相似文献
7.
根据XML Schema中组件的定义及组件之间的嵌套关系,建立一系列从XML Schema转换成关系模式的结构映射规则和语义映射规则。基于这些规则实现一种转换算法,从Schema中提取出关系模式,并且证明映射得到的关系模式满足4NF。结果表明得到的关系模式不仅包含了XML Schema中所有的结构和内容信息,还能保留大部分语义约束信息,减少存储冗余。 相似文献
8.
XML Schema语义约束在关系数据库中的实现 总被引:1,自引:0,他引:1
数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题.针对这一问题,本文简要分析XML Schema和关系模式的语义约束特征,较为详细地论述XML Schema语义约束与关系模式的完整性约束之间的转换方法. 相似文献
9.
10.
11.
面向对象的语义关联数据模型理论 总被引:2,自引:0,他引:2
本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。 相似文献
12.
演员模型:一种多媒体数据表达模型 总被引:3,自引:0,他引:3
本文提出一种多媒体数据表达模型:演员模型,该模型建立在多媒体数据库概念模型基础之上,基于库所—时间Petri网,描述多媒体对象之间的时态关系,同时引入与变迁相关联的场景表达式,描述多媒体对象之间的空间关系,从而模拟多媒体数据的时空编组,文中形式化地定义了演员模型的抽象模型和实现模型,提出多媒体对象的表达算法以及多媒体数据库的查询模型. 相似文献
13.
针对社交网络特定网络舆情信息难以收集分析的问题,提出一种结合模型集成的网络舆情管理模型。对各大社交门户网站的采集器提出模块化的概念,在获取信息的速度和获取舆情信息的质量上相较于传统模型有较大提升。为了数据分析更加精确,提出一种新的集成学习算法。在此算法的基础之上设计一种新的分析模型,实现了对网络舆情的快速采集、高效分析。实验结果表明,模型在舆情信息采集以及舆情分析方面有较强的性能,有助于网络舆情的管理。 相似文献
14.
为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义,以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。 相似文献
15.
装备可靠性一直是全寿命周期保障工作的重要内容.结合电子装备的特点,假设装备各单元基于指数分布,提出一种可靠性预测模型.建立装备可靠性与其各单元可靠性的关系模型,同时提出一种非等间隔的GM(1,1)模型来预测各单元的可靠性.通过实例,对给出的方法进行了可靠性预测.经过精度检验说明该方法的有效性. 相似文献
16.
《计算机应用与软件》2016,(10)
针对小波神经网络(WNN)在非平稳、非线性时间序列预测上无法实现自适应多分辨率分析,且其预测精度有待提高的问题,提出基于经验模态分解的小波神经网络预测模型。首先,对非线性、非平稳时间序列进行经验模态分解(EMD),以降低时间序列的非平稳性;然后对EMD分析得到的固有模态分量(IMF)和余项分别构建WNN模型;最后,汇总预测结果,得到预测值。通过数据验证,新模型的预测精度高于BP神经网络和WNN。 相似文献
17.
S. E. VAN DER LEEUW 《控制论与系统》2013,44(2-3):117-128
I discuss the utility of modeling in the social sciences, with emphasis on the long-term study of the coevolution between society and nature. I emphasize the need for such models to develop dynamical theories concerning processes about which we are only informed through their consequences and results. 相似文献
18.
在对授权代理模型深入分析的基础上,提出了一种基于约束的用户-用户授权代理模型,给出了该模型的构成要素和体系结构,并且详细描述了该模型的职责分离约束以及代理判定关系,并在判定关系中描述了角色基数约束、用户基数约束和权限基数约束,最后给出了代理实施策略. 相似文献
19.
一个拟PETRI网建模模型 总被引:1,自引:0,他引:1
马锦忠 《小型微型计算机系统》1994,15(7):40-46
本文利用PETRI网和自动机理论,为EAR数据模型的数据库设计,建立一个拟PETRI网的设计方法,并构造一个建模模型,为数据库辅助设计提供基础框架结构。 相似文献
20.
基于灰色预测理论的软件缺陷预测模型研究 总被引:3,自引:0,他引:3
软件缺陷是软件产品预期属性的偏离现象.妥善处理软件中的缺陷关系软件质量以及软件组织的生存与发展.利用开发过程中收集的软件缺陷的相关数据,依据灰色预测理论的核心:GM(1,1)来建立预测模型,对后续软件开发中缺陷的存在情况作出相应预测.实验表明该预测结果能指导软件组织较好地把握软件质量、合理分配测试资源,并在一定程度上帮助软件组织度量软件过程. 相似文献