论文部分内容阅读
本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理，强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。
空值环境下NFD—NMVD混合强保持逻辑蕴涵问题
【摘 要】
：
本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理，强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵
【机 构】
：
东北重型机械学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年3期
【基金项目】
：
国家自然科学基金,黑龙江省自然科学基金
其他文献
文中利用机器人学习的方法研究英汉机器释译中目标词选择的问题。
N-25G采用了三诺独有的气磁场仿真技术，全木质箱体设计有效避免谐振、音染．保证音箱音质的纯；争自然N-25G拥有40英寸橡胶边复合纸盆材质的低音单元．由于胶边应用了近13高顺性材料
本文介绍了一种需求可跟踪性支持工具。在此基础上，提出了一种实用的面向对象的需求描述方法。通过采用ＰＯＯＡ对雷达子系统的分析，重点讨论了ＰＯＯＡ中的使用实例分析问题和对需求可跟踪性的
文中给出了一种利用象互相关性进行非规则数据场体绘制的方法。该方法通过分割图象空间，遍历体元后向相邻关系以建立基本可见性次序，以扫描转换方法求交和完成交点插值。最后在
本文描述了ＷＩＮＤＯＷＳ中文平台上汉字输入的机制，简单介绍了两种 典型ＷＩＮＤＯＷＳ中文平台上汉字输入法制作的要点，提出在ＷＩＮＤＯＷＳ平台上实现汉字输入法所必须要考虑的新问题，为汉字输入法上一个新台阶提供了
1前言目前，国内大型净水厂建设项目居多，作为净水厂的核心，滤池内滤梁上反冲洗气平衡孔的安装精度要求较高，数量巨大，采用传统浇注方法很难解决平衡孔的浇注成功率。
目的：为提高慢性阻塞性肺疾病（COPD）患者生活质量开展舒适护理并观察其对患者生活质量的改善作用。方法：将84例COPD患者作为本次研究对象．成立舒适护理小组。入院后首先对患者的情
在按内容检索的图象数据库系统中，图象特征的提取是系统的关键组件之一．文中在图象对象语义模型的基础上，提出了一种通过任务图调度的图象分析策略，并给出了一组相应的算法来进行
本文刍议CAD技术在化工机械设计中的重要性。通过对CAD技术的简单介绍，以及在化工机械设计中CAD技术的主要应用，和CAD技术在设计中的一些技巧体现出CAD在实际应用中，更能够强化
区别于传统的关系数据库，面向对象的数据库系统需要全新的理论及方法上的基础。我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。