[发明专利]基于分层计数的datalog并行增量维持方法

摘要

本发明提供了一种基于分层计数的datalog并行增量维持方法，属于知识库领域。本发明首先对datalog的实例化过程进行分层，将迭代的datalog计算过程映射到设计的层次结构中，并在层次结构中结合计数法，对每个推导出来的事实进行计数。这种方式将递归的datalog计算转化成多个串连的非递归计算，既解决了计数法无法应用于递归程序的缺陷，又保留了其高效的特性。由外延数据库更新触发的增量维持，以计数法的过程依次更新每个层次。在此基础上，本发明进一步引入外延数据状态序列，利用少量的空间，为并行操作提供了对外延数据库的不同版本的访问。本方法可以同时处理多个更新操作，大幅度提升了频繁动态变化的外延数据库的实例化效率。

主权项

1.一种基于分层计数的datalog并行增量维持方法，其特征在于，包括如下步骤：步骤一、在实例化内延数据库的过程中，依据计算过程的迭代次数动态构建相应层次的计数结构，计数迭代过程中推导出来的内延数据，在相应层次的计数结构中记录；每次更新启动一条线程处理，线程逐层计算构建的计数结构，每层计数结构每次只能由一个线程处理，多层结构被多个线程同时处理；步骤二、计算各层计数结构时，根据外部数据Add_i，Del_i对结构内部数据olds和news数据集进行增减调整,并依据具体数据状态对olds和news数据集进行分割；在计数结构内添加add和删除del数据，并且对计数结构内的olds和news部分分别进行数据判别和迁移，完成对计数结构的更新维护操作；步骤三、计算各层计数结构时，对news数据集增量进行推导；依据半朴实算法，对分割后的news数据集的增量部分进行推导，并对将推导结果作为下层计数结构的增量数据；步骤四、多线程访问多版本数据库时，构建多版本的数据库结构和访问多版本数据库的方式,设计了一种带状态序列的外延数据库，代替数据的直接拷贝。