首页> 中文期刊> 《燕山大学学报》 >基于树元组的函数依赖推理规则

基于树元组的函数依赖推理规则

         

摘要

对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍.在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法.

著录项

  • 来源
    《燕山大学学报》 |2005年第1期|75-80|共6页
  • 作者单位

    燕山大学,信息科学与工程学院,河北,秦皇岛,066004;

    燕山大学,信息科学与工程学院,河北,秦皇岛,066004;

    燕山大学,信息科学与工程学院,河北,秦皇岛,066004;

    燕山大学,信息科学与工程学院,河北,秦皇岛,066004;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 TP311.13;
  • 关键词

    XML; 函数依赖:推理规则; 路径闭包;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号