| XML函数依赖集的逻辑蕴含 |
| |
| 引用本文： | 陈子阳.XML函数依赖集的逻辑蕴含[J].燕山大学学报,2006,30(5):421-425. |
| |
| 作者姓名： | 陈子阳 |
| |
| 作者单位： | 燕山大学,信息科学与工程学院,河北,秦皇岛,066004 |
| |
| 基金项目： | 教育部科学技术研究重点项目;河北省教育厅资助项目 |
| |
| 摘 要： | 提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.
|
| 关 键 词： | 函数依赖 推理规则 路径闭包 |
| 文章编号： | 1007-791X(2006)05-0421-05 |
| 修稿时间： | 2006年5月12日 |
Logical implication of set of FDs for XML |
| |
| CHEN Zi-Yang.Logical implication of set of FDs for XML[J].Journal of Yanshan University,2006,30(5):421-425. |
| |
| Authors: | CHEN Zi-Yang |
| |
| Abstract: | With the increasing relevance of the data-centric aspects of XML, it is pertinent to study functional dependencies in the context of XML, which will form the basis for further studies into XML keys and normalization. In this paper, the XFD definition and relative notations proposed by M. Arenas et al. are introduced. Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, and inference rules's correctness and completeness is proved. |
| |
| Keywords: | XML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
