[论文解读] The Deductive Database System LDL++

Faiz Arni, KayLiang Ong+3 more|ArXiv.org|Feb 1, 2002

Advanced Database Systems and Queries参考文献 30被引用 6

一句话总结

LDL++ 引入了一种演绎数据库系统，通过扩展逻辑编程以支持非单调性和非确定性构造（如选择、用户定义聚合（UDA）和 XY-分层），同时保持了声明性语义。它支持递归的否定和超越分层的聚合，与外部 DBMS 紧密集成，并在数据挖掘和中间件中展现出强大的适用性，通过可扩展、模块化的基于规则的推理实现。

ABSTRACT

This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using LDL++ on various tested applications, such as middleware and datamining.

研究动机与目标

• 通过支持带有否定和聚合的递归，克服演绎数据库中分层逻辑编程的局限性。
• 设计一种声明性语言，通过选择构造支持函数依赖，并支持单调的用户定义聚合。
• 开发一种执行模型，支持增量答案生成，并与外部数据库紧密耦合。
• 在真实世界的数据密集型应用中评估 LDL++，特别是在数据挖掘和中间件中的应用。
• 证明非分层、非单调逻辑编程在实际系统中的可行性和可扩展性。

提出的方法

• 引入选择构造以强制实施函数依赖，并实现非确定性但单调的规则执行。
• 采用 XY-分层以推广分层机制，支持递归中的否定和非单调聚合等非单调构造。
• 通过正式语义支持用户定义聚合（UDA），识别出一类可自由用于递归的单调 UDA。
• 设计一种流水线执行模型，支持增量答案生成，并高效处理递归规则。
• 通过 JDBC 和过程语言接口，实现与外部 DBMS 的开放扩展性集成。
• 使用编译时良好形式性检查确保语义正确性，保持语言的声明性特征。

实验结果

研究问题

• RQ1 演绎数据库系统如何支持超越分层约束的否定和聚合递归？
• RQ2 在递归规则中，用户定义聚合和基于选择的函数依赖应提供何种正式语义？
• RQ3 是否可以将非单调和非确定性构造集成到基于逻辑的语言中，同时保持声明性语义？
• RQ4 LDL++ 在支持复杂数据密集型应用（如数据挖掘和中间件）方面有多高效？
• RQ5 哪些架构原则能够实现与外部数据库的紧密集成以及向新领域的可扩展性？

主要发现

• LDL++ 通过创新的 XY-分层机制成功支持了带有否定和聚合的递归，突破了传统分层的限制。
• 选择构造以一种单调且语义上合理的方式实现了函数依赖约束，使其可在递归中安全使用。
• 单调用户定义聚合（UDA）已通过形式化方法表征，并被编译器识别，从而可在递归规则中无限制使用。
• 该系统的流水线执行模型支持增量答案生成，显著提升了大规模数据应用的性能。
• LDL++ 在数据挖掘工作负载中表现出色，其中演绎规则将原始关联规则转化为可操作的业务洞察。
• 尽管是一个具有许可限制的研究原型，LDL++ 展现出在决策支持和数据挖掘系统中高潜力的采用前景。