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

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

基于树元组的XML函数依赖研究

与关系数据库一样,XML文档可能由于函数依赖而产生数据冗余或操作异常,在关系数据库中对于函数依赖的理论体系的研究已经比较完善,但对XML函数依赖的研究才刚刚起步。结合XML文档类型定义DTD进行探讨,提出基于树元组的XML函数依赖的概念,并结合Armstrong公理系统推导出函数依赖的推理规则集。

基于树元组的XML文档中的多值依赖

XML模式设计是XML数据库设计的关键,同关系数据库相似,对引起XML数据更新异常的原因及消除更新异常的方法进行研究具有重要的意义。与Vincent等人不同,本文在DTD一级对XML文档中的多值依赖进行了研究。首先分析了XML文档模式设计的研究方法,其次,重新给出了XML树,树元组等的定义,消除了Arenas等人在定义模型“相等”上的二义性,并基于DTD提出了XML多值依赖的概念。最后,分析了XML中多值依赖的公理系统及蕴涵问题并指出了XML多值依赖未来的研究方向。

数据库关键词检索中候选元组集连接树生成算法的研究

在基于关系数据库的关键词检索系统中，在线系统的主要的问题是查询效率低。虽然生成候选元组集连接树并不是造成其效率低的主要因素，但是随着数据库中关系数量的增长，其消耗时间也是造成系统效率的低的一个至关重要的因素。该文给出了相关定义，并提出一种对数据库进行预处理的算法，然后对两种算法进行了详细的介绍。最后通过实验比较两种算法的效率。

组合测试故障定位的关系树模型

组合测试是一种重要的软件测试方法,该方法通常采用覆盖表作为测试用例集,适用于检测系统中由特定配置组合引发的故障.覆盖表中的一条引发系统故障的测试用例含有多个配置组合,如何确定其中哪个或哪几个配置组合引发系统故障有助于系统开发人员检测出故障原因并做出改进.目前已有一些研究尝试解决上述问题,然而这些方法都没有对待定元组关系进行深入的研究与分析,因此定位过程代价很大并且定位结果也并不完整.文中构建了一个待定元组关系树(Tuple Relationship Tree,TRT)来描述所有待定元组的关系,利用TRT可以减少生成附加测试用例的数量,并且由于TRT给出全部待定元组的清晰视图,可以避免漏掉分析可能的待定元组,特别是有重叠部分的故障元组.基于TRT,我们提出了4种选择策略来辅助故障定位.系统的实验表明:其中的路径方法可以以较高的效率得到一个比已有方法更加完整的故障定位结果.

不完全信息下XML树的函数依赖强保持条件

DTD规范下,在XML完全树中引入不完全信息,定义了不完全信息树.在不完全信息树下讨论树中节点之间的关系,给出节点值等价、节点值相容的概念,并进一步讨论不完全信息树下树元组之间的关系及函数依赖的保持条件.

关系数据库上基于索引的Top-N关键词查询

为了实现关系数据库上自由态的关键词查询,通过创建索引表并运用其存储的知识为每个属性赋予不同的权值来改进信息检索中传统的排序方法.对每个查询用索引表和改进的排序方法来获得Top-N答案.用实际数据集进行了实验,实验结果表明此方法在查询时间和准确性上是有效的.

基于关系数据库的关键词查找排序策略

基于关系数据库的关键词查找技术像使用搜索引擎一样获取数据库中相关的数据。针对RDBMS上具体书目索引数据库的关键词查找高效性问题,提出了对返回结果集的一种排序策略。以查询序列与结果元组树之间的相似值作为排序依据,参照传统信息检索系统上关键词查找结果集排序的相似值计算公式,提出数据库上查询序列与结果元组树之间的相似值公式,并分析与重新定义了相关影响因子的标准化函数表达式。通过在简单数据库上的分析验证了该改进是合理的。关键词:信息检索;关系数据库;关键词;权重;相似值;因子;

关系数据库的纠错性关键词查询研究

提出一种在关系数据库文本字段上进行关键词查询的方法,以解决当输入的关键词有误时,也能查找到期望的查询结果.问题的解决方案是,建立一个"热词库",对K-差别近似串匹配中的动态规划算法进行改进,使误输入的关键词组和"热词"进行匹配,从而实现关系数据库的纠错性查询.通过实验验证,本解决方案具有良好的查询性能.

XML弱函数依赖及其推理规则

XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义,提出空值、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上,给出弱函数依赖及其满足性的定义;其次研究了XML弱函数依赖的逻辑蕴含问题,提出一组适合XML空值模型的函数依赖推理规则集;最后给出推理规则集的正确性和完备性证明。

XML函数依赖等价的研究

近年来,人们已经提出了XML函数依赖多种定义方法。本文给出了基于树元组的XML函数依赖和基于路径的XML函数依赖的两种定义方法。一般说来,这两种方法是不可比较的,但是在DTD存在、XML文档没有信息缺失的情况下,这两种方法是可比较的,并且是一致的。