共查询到15条相似文献，搜索用时 62 毫秒
1.
本文深入探讨了空值环境下的满足强，弱保持的嵌入多值依赖的概念，给出了嵌入多值依赖的投影规则及ＮＭＶＤ：Ｘ→→Ｚ强保持成立的充要条件，证明了逆投影性定理。 相似文献
2.
本文给出了空值环境下广义连接依赖强保持，弱保持的概念。讨论了它们的推导规则，证明了各推导规则在强保持，弱保持条件下的存在性，以及相应的完备性结论。 相似文献
3.
本文给出了空值环境下广义连接依赖强保持、弱保持的概念。讨论了它们的推导规则，证明了各推导规则在强保持、弱保持条件下的存在性，以及相应的完备性结论。 相似文献
4.
本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理，强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。 相似文献
5.
本文讨论了一类自身具有有效，完备公理系统的空值环境下的模板依赖，给出了模板依赖的强，弱保持条件。 相似文献
6.
为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。 相似文献
7.
由于空值的出现，使ＮＭＶＤ公理系统的存在性更趋于复杂。本文分别讨论了在单一的强，弱保持条件下和强，弱保持的复合条件下公理存在的条件，并进行了相应的证明。 相似文献
8.
给出模糊空值连接依赖的两个概念,一个是基于无损连接得出的,另一个是类似模糊空值多值依赖给出的,并证明了两个概念的等价性。定义了模糊空值嵌入连接依赖。给出模糊空值连接依赖的公理系统,并且进行了有效性证明。 相似文献
9.
10.
SQL语言中量词和空值的使用技术 总被引：1，自引：0，他引：1
丁宝康 《计算机研究与发展》1994,31(3):15-22
在ＳＱＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＱＬ语言使用更为自然，方便。本文讨论全称量词，存在量词和ＡＬＬ三种谓词之间的转换，联系和区别，以及空值存在时ＳＱＬ的使用技术。 相似文献
11.
为了研究ＮＥＭＶＤ、ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ、ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念（强、弱保持），讨论了强、弱保持下的自反律、传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。 相似文献
12.
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。 相似文献
13.
由于空值的出现，使数据库更新操作更趋势复杂。为适应更新要求，建立了扩展关系模型。本文正是基于这种模型进行对查询处理的讨论，给出了相应的查询策略及实现过程。 相似文献
14.
文章探讨了模糊空值环境下关系数据库的范式理论,将规范化程度分为:一范式、二范式、三范式、BC范式、四范式、五范式,并对范式之间的关系进行了论证。 相似文献
15.
本文以空值的完全语义为基础，以空值环境下基于５值（５ＶＬ）的选择运算为工具，深入研究了基于关于模型的含空值关系数据库的数据更新策略和实现算法 相似文献