论文部分内容阅读
对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍.在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法.
基于树元组的函数依赖推理规则
【摘 要】
：
对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍.在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性
【机 构】
：
燕山大学
【出 处】
：
燕山大学学报
【发表日期】
：
2005年1期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
根据二冷辊列参数对连铸坯固液相交界面上应变与应变速率的影响，提出了优化支承辊辊距的方法、并给出了确定带有可实现连铸坯等曲率速率矫直的多点乔直系统的二冷辊列几何尺寸
对比了传统的数据与流数据的存储方法,并总结了现有流数据存储方式的优缺点,在继承了双向流的优点基础上,针对多数据源、多查询及多级存储建立了一个新的流数据处理系统模型,
从能量原理出发，推导出了考虑摩擦影响时轴对称件拉深过程中法兰起皱的临界压边力。分析了摩擦系数，毛坯相对厚度等主要因素对尘兰起皱界压力边的影响。
随着中国资本市场的放开与国际化,以银行业以主体的中国金融业持续开放,外资、民营资本与地方国有资本纷纷进入银行业,我国银行业已经进入到前所未有的激烈竞争时代。竞争的
给出了由任一点集中弯矩引起的弯曲矩形板的位移公式和由该载荷引起的弯曲矩形板的边界值。最后给出了算例。
原有的无辅助开关的软开关单相功率因数校正电路环流能量大.本文通过改变谐振电容Cr取值的大小,减小了环流能量.分析了电流断续状态下的工作原理,所有开关器件都可实现ZVT或Z