XML多值依赖的推理规则集问题

摘要：

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一.该文对XML树、树元组等进行了重新定义,与Vincent等人不同,提出了基于DTD的XML多值依赖的概念,通过对XML的关系化表示给出了其形式化定义,定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念,给出了一个有效且完备的推理规则集,并对其有效性及完备性进行了证明.

关键词：DTD、多值依赖、XML树、推理规则

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：教育部科学技术基金205014;河北省自然科学基金2005102

在线出版日期：2007-11-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：86-89