论文部分内容阅读
为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。
空值环境下子集依赖的研究
【摘 要】
：
为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证
【机 构】
：
东北重型机械学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年8期
【基金项目】
：
国家自然科学基金,黑龙江省自然科学基金
其他文献
面向程序并行化的过程间相关分析以开发过程间大粒度并行性为目的，对它的研究无疑将具有非常重要的意义。然而这类并行性的开发又是困难的，它需要精确计算被调用过程的访问信息
“低碳”，是人类面临日益严重的生存环境危机时提出的一种应对方法和手段。环境危机的实质，是人类为了追逐财富对环境投入巨大能量，彻底打破人类原生环境系统的能量（热能）结构平衡
利用燃烧理论、波动理论、有限元理论，研究直喷式柴油机燃烧压力振荡特性．研究表明，直喷式柴油机燃烧压力振荡具有多阶共振频率，实机缸内燃烧压力振荡是多个共振模态的叠加．经试验
采用文献分析法,从文献数量和文献内容两方面对1994-2010年有关中国＂绿色大学＂、＂绿色教育＂、＂环境教育＂的学术文献进行统计分析,研究表明绿色大学创建、绿色大学评价和绿色教育是
锦屏一级水电站坝址区位于典型的深切“V”型峡谷，边坡开挖总高度470m（不包含EL1650m以下70m基坑开挖），高边坡开挖工程中，通过优化施工方案，合理选择爆破参数，严格控制钻孔质量，边坡
在电流密度为1136A/cm~2的情况下,考察了直流电场对Al—Cu共晶片间距的影响。实验结果表明,电场使片间距减小。分析表明,这是由以下三个方面的原因引起的:(1)电场使共晶两相
本文提出了一种用模糊－神经技术建造专家系统的方法。从领域专家处获取的知识是以模糊规则和隶属函数的形式表示的。根据本文提出的方法，首先将模糊规则和隶属函数用神经网络表
1追施钾肥除每10d喷1次0．2％尿素＋0．2％磷酸二氢钾外，硬核期、果实膨大期株施尿素30g、磷酸二氢钾30g，有利于增大果个、提高果实含糖量。
实现经济发展模式由高碳向低碳转换是中国应对全球气候变化的必然选择。低碳经济发展模式是一个复杂系统，包括发展目标、衡量指标、参与主体、实施重点等众多构成要素。每一个