共查询到18条相似文献,搜索用时 75 毫秒
1.
2.
基于BCDM的双时态关系代数 总被引:10,自引:0,他引:10
双时态概念数据模型BCDM是一种重要的时态数据库模型,基于BCDM模型,建立了一种双时态关系代数.首先,对时态数据库事务时间和有效时间进行规范化的定义,给出BCDM中时间元素的规范化定义和演算描述;而后,定义时态映射,用以描述BCDM中的双时态元组,并形式描述时态映射的演算;最后,用时态映射定义的元组对双时态关系进行定义,并由此给出双时态关系代数运算的形式化描述. 相似文献
3.
《计算机应用与软件》2013,(4)
对双时态数据库建模时以客观事物的时态特征为切入点,定义有关时态表示的双时态点、双时态组合集和双时态标签,通过分析客观对象的时态稳定性,将其划分为时态值稳定对象和时态值变对象。参照数据库概念结构设计基本方法,给出一种基于对象时态稳定性分类特征的双时态ER模型,并定义了相关的基本图元及建立规则,该模型可有效减少因模式中存在大量与时态无关属性而造成的数据冗余现象。最后给出该模型与应用较为普遍的BCDM模型相互转化的方法,使其具有推广应用价值。 相似文献
4.
文明瑶 《网络安全技术与应用》2014,(11):9-10
网络营销中的很多信息都是时变的。目前常见的快照数据库并不能很好地对其描述和处理。文章引入了时态数据库的理论,采用了基于BCDM模型的双时态数据库,并将混合式时态应用模式应用于实际开发中。实践证明,时态数据库在处理与时间相关的数据时表现出独特的优势。 相似文献
5.
一种基于时态中间件的高效双时态索引模型 总被引:1,自引:0,他引:1
当前的时态数据库中间件不支持包含事务时间和有效时间的双时态数据索引,通过使用适当的数据变换和查询变换,可将双时态数据转化为R树可索引的数据.基于4R技术,提出了作为时态中间件TimeDB组件的双时态索引模型B4Rindex.实验证明,利用该模型对双时态数据进行索引是高效的. 相似文献
6.
时态数据库中时间特征主要由有效时间和事务时间描述,论文扩充了4R索引的双时态数据,使其能处理有效时间初始值大于事务时间初始值的所有双时态数据,同时扩充了4R的查询功能使其不仅可以查询当前和历史数据,还可以查询将来的情况,并改进了相应的索引方法。 相似文献
7.
能为时态数据库设计出一种比现有的时态索引技术更健全且更有效的索引技术是当今时态数据库研究的主要问题,本文结合2R-tree索引、GR-tree索引和G4R-tree索引,提出了一种新的索引技术,称为G2R-tree索引。它能有效地处理所有类型的双时态数据,而且性能与4R-tree索引和GR-tree索引相当。 相似文献
8.
翟怀宇 《计算机与数字工程》2011,39(8):69-72
系统六元抽象分析方法,从系统的范畴、系统的组元、系统的结构、系统的状态、系统的运行和系统的功能六个方面对系统进行抽象描述,它对作战系统的抽象更具准确性和完备性。文章通过分析系统概念模型的任务空间、实体、状态、结构、行为和交互的内涵以及UML图形表示法的特征,在概念模型同UML表示法之间建立对应关系。 相似文献
9.
《计算机应用与软件》2016,(4)
为简化双时态数据模型(BCDM)时态属性表达、减少存储空间、提高查询效率,按照双时态信息的3种表达形式,针对有效时间区间更新历史是否保留的两种情况,讨论双时态数据的合并描述、优化算法、合并传统双时态序偶为"事务时间区间+有效时间区间"的表达机制,给出规范的BCDM双时态形式定义。复杂性分析表明,规范的BCDM双时态标签具有明显的低存储性和高查询效率。 相似文献
10.
11.
基于UML的概念模型的Petri网映射算法研究 总被引:1,自引:0,他引:1
概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点. 相似文献
12.
概念模型可以有效促进军事领域专家与仿真技术人员的沟通与协作。文章研究了装备指挥概念模型的地位作用和体系构成,分析了装备指挥系统的功能,基于UML的建模机制建立了功能模型、静态结构模型和动态行为模型。模型实现了对象间的交互关系和消息传递,反映了功能、结构和活动等内在逻辑。 相似文献
13.
基于UML的关系数据库模型设计 总被引:4,自引:0,他引:4
本文介绍了一种基于统一建模语言UML,使用统一建模方法并结合面向对象的建模工具RationalRose 设计关系数据库模型的方法,并结合一个简单实例具体说明这种方法的使用过程及其优点,从而引入了一种全新的关系数据库设计模式。 相似文献
14.
该文详细介绍了统一建模语言和模型检测技术,在此基础上,该文研究了基于交互自动机和时态逻辑的UML交互模型性质检测方法,提出了模型检测所需的Marking算法。该算法通过对交互自动机全部状态的遍历,检测各状态的时态逻辑公式(CTL公式)的真值,以判断用户设计的UML交互模型是否符合计算机软件系统应满足的性质及规范。 相似文献
15.
本文提出了一种以概念图为元表达语言的多视点需求建模方法.该模型提供了一种多视点中不同表示风格带来的问题的解决方法,该方法使用多视点进行需求获取,通过统一建模语言中的协作图简化了视点间的一致性检查,使多视点的集成更为简便. 相似文献
16.
基于UML和模型检测的安全模型验证方法 总被引:2,自引:0,他引:2
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反. 相似文献
17.
在对用户兴趣模型探讨的基础上,提出了一种基于概念的用户兴趣模型,用于区别用户兴趣的大小.讨论了基于链接的查询聚类算法,并针对该算法的不足提出了一种基于概念的聚类算法,该算法根据用户兴趣模型建立查询-概念二分图,然后计算图中查询顶点间的概念相似度,并将概念相似度最高的查询顶点进行合并以实现聚类.设计实现了一个基于Web数据挖掘的个性化搜索引擎系统,对系统的个性化查询进行了测试,并对比分析了链接聚类和概念聚类的实验结果. 相似文献
18.
本文介绍了UML(Unified Modeling Language)的发展情况、基本概念、建模的基本过程,阐述了一种基于UML技术的关系数据库建模方法,以学籍管理系统作为案例分析了UML类到关系数据库表及表访问操作之间的映射方案。 相似文献