DDoop:基于差分式Datalog求解的增量指针分析框架

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。

带否定的DATALOG的语义的不动点特性

带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此基础上，定义了振荡不动点模型论语义，然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看和是后者的构造性定义。

基于嵌入式SQL的Datalog演绎规则解释器的设计

文章提出了一个建立在传统关系数据库基础上的能支持ANSISQL与嵌入式SQL的演绎规则解释器。利用这个解释器,用户能够定义一个蕴含关系并可以像在演绎数据库中使用Datalog规则一样来提出查询。其方法是把演绎规则和查询翻译成嵌入式SQL程序,该程序在执行查询时能被调用。这个解释器可以被认为是扩充RDBMS演绎查询功能的一个前端工具。

DOOL程序语义等价转换为Datalog程序的转换规则

演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。

基于逻辑的数据模型Datalog的递归应用

重点探讨了基于逻辑的数据模型 Datalog在以关系数据库为基础的递归查询上的应用 ,给出了求解 Datalog递归规则的两种通用算法 。

可更新Datalog的分布式时态逻辑扩展及应用

针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。

Datalog综合录井系统

该文介绍Datalog综合录井系统的主要硬件结构和功能,系统阐述了计算机软件系统的功能,突出介绍了快速色谱分析引入综合录井系统的应用优势。该系统的介绍对于了解其结构特点和功能,实现录井系统国产化向更高层次发展具有推动作用。

LFIO:基于输入输出的Datalog归纳学习系统

归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO归纳学习出一个Datalog程序P,对于E中的每个例子(I,O),O都是B∪P∪I的最小(Herbrand)模型。本文详细描述了LFIO的系统设计及实现,初步的实验结果展示了该归纳学习系统的有效性。

DATALOG与关系代数

本文旨在通过描述DATALOG和关系代数的概念,以及DATALOG与关系代数的区别,经过从关系代数到逻辑规则和从逻辑到关系的论述,并比较DATALOG和关系代数,说明DATALOG是一种基于逻辑的数据模型,是PROLOG语言的数据库版本,关系代数是过程化的语言,关系代数表达式与安全、非递归、带有非操作的DATALOG程序的表达能力是相同的。

线性递归DataLog程序优化算法

提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ

Datalog综合录井仪

随着录井技术的不断发展 ,为了更好的为石油勘探服务 ,中原油田从加拿大引进了Datalog综合录井仪。从 2口井的应用效果来看 ,该设备硬件少 ,结构小 ,集成化程度高 ,稳定性好。特别是其先进的快速色谱系统 ,具有其他录井仪无法相比的分析周期短、稳定性好、精度高的特点。独特的QNX软件操作系统 ,安全可靠 ,运行稳定。后台软件齐全 ,可操作性强 ,能实时解决钻井。

DATALOG程序的组及其应用

为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（Semi-Naove）算法和良基模型（Well-Founded）的交替不动点算法（AlternatingFixPoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．

Datalog程序的正规变换及其实现

文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜索算法及相关文献中的算法相比具有更高的效率．

基于核外计算的Datalog引擎设计与实现

随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎计算规模往往受限于内存容量大小,不具有可扩展性.为解决上述问题,设计并实现基于核外计算的Datalog引擎.方法首先设计一系列计算Datalog程序所需的支持核外计算的操作算子,然后将Datalog程序转换合成带核外计算算子的C++程序,接着方法设计基于Hash的分区策略和基于搜索树剪枝的最少置换调度策略,将相应的分区文件调度执行计算并得到最终结果.基于该方法,实现原型工具DDL(disk-based Datalog engine),并选取广泛应用的真实Datalog程序,在合成数据集以及真实数据集上进行实验,实验结果体现了DDL良好性能以及高可扩展性.

知识库语言—Prolog与Datalog

知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有智能的各种复杂问题。论述了知识库语言Prolog与Datalo语言的语句结构、特点,并且给出了程序设计的实例加以说明。

Datalog 线性递归程序的自动编译

基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法．研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式．

DML-DATALOG综合录井仪的气体总量检测仪(TGD)应用探讨

从仪器的硬件构成和原理的分析入手,探讨了DML-DATALOG综合录井仪气体检测系统在录井应用中发现的一些问题。有时出现C1值或组分之和高于气体总量值的现象,是由于钻遇含有H2的地层导致的;当地层中含有CO2、H2S气体时,该仪器可能出现气体总量检测值为负值的现象,是由于这两种气体的导热系数低于空气。为了便于指导现场人员的操作,系统阐述了该仪器的调校、标定方法,并以实例做了分析对比。

Datalogic得利捷携突破性无线充电技术推出三款最新产品

自动数据采集和过程自动化市场的全球领先企业Datalogic得利捷近日宣布推出三款最新产品——通用型全触控设备Memor?1、Memor?10坚固型移动数据终端以及Gryphon?4500系列无线扫描器——以为零售、医疗、制造、物流仓储等领域的客户与企业提供以智取胜的技术方案与应用支持。据悉,三款产品均采用了Datalogic得利捷最具突破性的无线充电技术,作为首家在企业级移动数据终端和手持式扫描器上采用这项技术的制造商,得利捷将该技术完美植入了最新产品的应用中.

DATALOG规则与基于逻辑的关系查询

Datalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式。文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题。