刘嘉
- 作品数：3 被引量：3H指数：1
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- XML函数依赖研究综述被引量：2
- 2014年
- 函数依赖作为数据库规范化的基础在关系理论中起着重要的作用。近年来,XML得到广泛应用并已成为互联网上数据传输和交换的标准。由于XML半结构化的特性,使得如何定义XML函数依赖使其具有更强的描述能力,以及如何解决相应的逻辑蕴涵问题成为当今学术界所面临的挑战。针对这些问题,系统地描述了目前关于XML函数依赖的研究现状,特别是把分析的重点放在如何定义函数依赖、判断其蕴涵关系以及从XML文档中发现函数依赖等问题上。最后讨论了诸如类型化函数依赖关系等一些相关的研究方向。
- 刘嘉廖湖声
- 关键词：XML函数依赖逻辑蕴涵
- XML函数依赖研究综述
- 函数依赖作为数据库规范化的基础在关系理论中起着重要的作用。近年来,XML得到广泛应用并已成为因特网上数据传输和交换的标准。由于XML半结构化的特性,使得如何定义XML函数依赖使其具有更强的描述能力,以及如何解决相应的逻辑...
- 刘嘉廖湖声
- 关键词：数据库函数依赖逻辑蕴涵
- 文献传递
- 基于规则推导的正规式相交判定算法被引量：1
- 2015年
- 正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。
- 刘嘉廖湖声
- 关键词：正规式
