【摘 要】
：
本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性和完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理、强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑
论文部分内容阅读
本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性和完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理、强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。
In this paper, we discuss the definition and algorithm of NFD-NMVD strongly retentive recursive bases in null environment, and discuss the validity and completeness of the algorithm. We also present the NFD-NMVD mixed derivation axioms, Solve the algorithm, so as to solve the strong preserving logic implication in the case of NFD-NMVD hybrid.
其他文献
故障现象一辆广州本田雅阁乘用车,挂上倒档后,在怠速状态下能向后倒车,但一踩加速踏板就停下了,且自动变速器无故障代码。故障诊断与排除广州本田雅阁乘用车自动变速器采用
当在386机上使用复旦SICE软件包3.00版本时,您也许会发现仿真器(SICE)与微机之间根本不能通讯.原来许多386机只引出了一个串行口2,而软件包中的通讯程序使用的是串行口1,因此
海底隧道属于浅埋隧道,较之普通隧道水源补给无限,水的作用对海底隧道围岩应力场的影响不可忽略。基于Verruijt提供浅埋隧道求解基本方法,同时考虑自重及水的作用,将海底隧道
1994度(1993年11月～1994年10月)湖北省天气气候基本正常,年均温显著偏高,降水量大部偏少,日照接近常年值,各种灾害性天气发生次数少,无大旱、大涝,天气气候条件对农业生产的影
几种高速总线界面ＴＴＬ界面一般适用于系统速度较低的环境中．当系统速度超过５０ＭＨＺ时，由于功耗、噪声和信号的不完整性使得ＴＴＬ界面很难保障整个系统的正常运行。为了克服上述问题，ＩＣ厂商已经推出
本文对75例川崎病(KD)患儿进行回顾性分析,探讨KD并发冠状动脉扩张(CAD)的早期危险因素,以便及早采取对策,预防冠脉病变的发生或促进冠脉病变的恢复。2001年1月至2004年12月
人们有可能去购买DX4/100系统,要了解性能和价格的详细情况,然而由于情况在不断变化,还一定要同Pentium系统的价格进行比较,尽管DX4的母板是得到全面优化的,而且一般地说,它
2008年8月5日，黑龙江省林业设计研究院以“迎奥运、促发展、建和谐”为主题的全员万米徒步大赛在风景秀丽、湖水荡漾的二龙山风景区如期举行。为弘扬“更快、更高、更强”的奥
刚刚还是从古代翩翩走来的公主,瞬间就变成了时尚前卫的舞者;刚刚还是长裙一身的淑女,瞬间变成了身穿比基尼的辣妹;从阳光男孩到忧郁的小生,从宛若天使变成街头的古惑仔,这一