三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。

面向对象XML数据查询的代价估计研究

由于XML具有丰富的表达能力、自描述性和灵活性等优点,而面向对象的概念又具有很强的建模能力,将面向对象的概念引入到XML可以提高XML模式语言的建模能力。而面向对象XML数据查询的值匹配条件的查询代价估计问题是一种典型的多元素查询条件的代价估计问题。XML数据的值分布与其他值信息的分布有关,还与XML数据的结构信息有关,很难使用某种单一的代价估计方法。针对以上问题,提出了一种基于直方图,在估计过程中结合查询树结构的代价估计方法。

一种改进的XML压缩树索引技术

压缩树索引技术是XML数据压缩的热点问题之一,本文提出一种压缩树索引改进方法。针对压缩树在查询过程中不能很好的解决向上匹配与向下匹配的问题,改进方法引入正排索引和倒排索引。当查询到组一级时,利用正排索引可以快速的查找出以该组为父节点的子组。而选出符合值谓词的元素后,在进行向上匹配时利用倒排索引可找出该元素的父节点。新的索引方法在保留原压缩树索引优点的基础上,解决了压缩树索引在查询过程中匹配问题。

知识中不同否定关系的一种逻辑描述

提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系(CDC,CFC,ODC,OFC,ROM)及其形式定义;发现具有对立否定关系的概念中存在规律:对立否定概念之间存在中介对象(新的模糊概念),当且仅当对立否定概念是模糊概念;并且运用中介谓词逻辑MF与其无穷值模型Ф,研究了矛盾否定概念和对立否定概念在真值域0,1上的真值描述及其规律,给出了知识中的5种矛盾否定和对立否定关系的处理条件;讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。