论文部分内容阅读
提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.
XML函数依赖集的逻辑蕴含
【摘 要】
：
提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.
【机 构】
：
燕山大学信息科学与工程学院
【出 处】
：
燕山大学学报
【发表日期】
：
2006年5期
【基金项目】
：
教育部科学技术研究重点项目（No.205014）,河北省教育厅自然科学指令计划（No.2005102）
其他文献
在大量实测资料基础上,总结了桥上测流技术(以下简称桥测)在鲁北平原地区巡测中的应用情况,提出了一套合理适用的桥测方案,阐述了测流断面、测速垂线、测点布设方法及流速系
调蓄经验单位线法是计算干旱、半干旱区无水文资料的中小流域设计洪水的一种较适用的方法.该方法要通过图表查算、产流试算、汇流计算来完成,计算较为繁杂,且存在图表查算缺
给出了双斜平面的一种简便的图示方法--'斜投影法',使作图更加简捷、迅速.
以Signorini接触问题为例，讨论了接触问题边界变分不等式的边界元方法，得到了离散边界变分不等式近似解的存在唯一性定理，给出了近似解与精确解的误差估计表达式。
讨论了一种并联平面3-RRR全柔性机器人机构的微运动学.首先建立了机构的'伪刚体模型',利用铰链位移法对机构进行了微运动学分析,最后进行了数值验证.
孤岛检测是分布式发电并网研究的难点，特别是在逆变器输出与负载功率平衡时难以检测出孤岛。频率或相位偏移等主动检测方法在逆变器输出与负载相位匹配时孤岛检测失效。本文提
暴雨洪水是自然界的主要灾害之一，它是水文现象的极端事件。山洪给国民经济和人民的生命财产造成很大损失．它是甘肃经济社会发展的重要制约因素之一。随着经济发展，人口增加，山洪
在由暴雨资料间接推求设计洪水计算中,暴雨资料系列中有无大暴雨加入,对设计值影响很大.通过辽宁"95.7"大暴雨对浑河上游小流域设计暴雨洪水的影响分析,进一步证明了有大暴雨