共查询到17条相似文献，搜索用时 62 毫秒
1.
左万利 《吉林大学学报(理学版)》1998,(3)
从关系和子关系观点出发,探讨嵌套关系数据模型中传统集合运算的语义问题．通过引入uid路径,给出既可作用于关系,又可作用于子关系上的基本代数操作的更一般性定义,并证明PNF关系对于这些扩展关系运算的封闭性． 相似文献
2.
刘惟一 《云南大学学报(自然科学版)》1992,14(3):255-260
用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题,本文从模糊连接依赖的定义出发讨论了模糊连接依赖间的蕴含问题,得出了与经典关系模型平行的一系列结论,使模糊数据依赖理论更加完善 相似文献
3.
研究了利用半结构化时空数据的"嵌套"特征实现对时空数据存储和管理的问题,提出了一种面向时空嵌套关系的半结构化时空数据管理模型.该模型以时空数据的"嵌套关系"为管理对象,用更丰富的数据语义(semantics)区别了"实体对象类"的属性、"空问嵌套关系类"的属性和"时空嵌套关系类"的属性等概念,运用非第一范武的嵌套关系数据库实现对时空数据的综合营理.基于传统关系型DBMS和GIS组件构成的软件实验系统表明,本模型简明有效,在数据更新和冗余方面均取得了较好的效果.该研究为半结构化时空数据的管理探索了一条新的途径. 相似文献
4.
本文讨论了嵌套关系数据库中的一些问题，主要包括对两种范式ＰＮＦ和ＮＮＦ的评价、空值和从平面关系到嵌套关系的转换。 相似文献
5.
无穷嵌套矩阵的表示和有效运算一直是个难点,前者可以利用Matlab提供的单元结构描述,但是单元结构不支持直接运算,利用逆分块矩阵的思想,实现了嵌套矩阵的加法、乘法等运算.实验表明,基于单元结构和逆分块矩阵的思想可以有效地解决无穷嵌套矩阵运算问题. 相似文献
6.
文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。 相似文献
7.
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率,以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性。 相似文献
8.
徐君 《辽宁工程技术大学学报(自然科学版)》2005,24(6):805-807
为了解决矿区各产业发展、生产与环境污染之间的协调控制问题,以焦作矿区为例,基于logistic方程,建立了矿区社会经济系统产业发展的非线性嵌套模型,指出了协调控制途径,提出了一套适合于模型特点的参数协调方法,运用四阶龙格．库塔算法进行数值求解,求解结果分析预测了焦作矿区各产业发展的趋势值,提出了焦作矿区煤炭开采业和非煤产业的发展方向。 相似文献
9.
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性 相似文献
10.
在传统的嵌套事务模型基础上,根据CAD系统事务的并发性和数据的一致性,提出一种基于组件的嵌套事务模型,并给出组件的功能实现。同时,分析了该模型对CAD系统事务的影响,并给出了模型的应用实例。 相似文献
11.
12.
13.
本文就ｄＢＡＳＥＩＶ中三种连接操作在实现连接各个库时的有效性方面进行了对比，结论是ＳＱＬＳＥＬＥＣＴ操作在连接各个库时的有效性最好。 相似文献
14.
分析了多级安全关系数据库系统中客体安全级的不同定义方法；描述了基于数据项级的多级关系模式；对利用多示例和分级存储的方法防止高安全级数据的泄漏，多级关系的分解和恢复进行了详细的讨论． 相似文献
15.
文中提出了一种基于数据仓库和位图连接索引的查询方法.该方法采用高效频集挖掘的数据挖掘技术,建立了一种自动索引选择框架,目的是解决数据仓库的自动管理.实验结果表明,该方法不仅在减少查询响应时间和数据仓库维护成本方面取得明显效果,而且对于其他的索引优化技术也提供了参考. 相似文献
16.
17.
文中提出了一种基于数据仓库和位图连接索引的查询方法．该方法采用高效频集挖掘的数据挖掘技术，建立了一种自动索引选择框架，目的是解决数据仓库的自动管理．实验结果表明，该方法不仅在减少查询响应时间和数据仓库维护成本方面取得明显效果，而且对于其他的索引优化技术也提供了参考． 相似文献