10.3969/j.issn.1001-5965.2005.04.018
面向NXD的XML数据函数依赖
XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.
数据库理论、可扩展标记语言、推理规则、定律证明
31
TP311.1(计算技术、计算机技术)
国家高技术研究发展计划(863计划)2001AA113030
2005-06-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
451-454