当前位置: 首页 » 资料 » 健康论文 » XML亚强函数依赖及其推理规则

XML亚强函数依赖及其推理规则

放大字体  缩小字体 更新日期:2018-11-22  浏览次数:4
摘 要:为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;
  • 【题 名】XML亚强函数依赖及其推理规则
  • 【作 者】殷丽凤 刘亚欣 田宏
  • 【机 构】大连交通大学软件学院。辽宁大连116028
  • 【刊 名】《电子设计工程》2012年 第1期 6-9页 共4页
  • 【关键词】不完全信息 子树信息相容 子树信息等价 XML亚强函数依赖 推理规则
  • 【文 摘】为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。
 
本文导航:
  • (1) 不完全信息,子树信息相容,子树信息等价,XML亚强函数依赖,推理规则
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注