The Deductive Database System LDL++

TL;DR

LDL++ is a deductive database system that introduces new nonmonotonic and nondeterministic constructs, extending its language capabilities while maintaining core semantics, with an architecture supporting integration and practical application testing.

Contribution

The paper presents the design, semantics, and architecture of LDL++, including new language constructs and insights from real-world application use cases.

Findings

Supports nonmonotonic and nondeterministic reasoning

Successfully applied to middleware and data mining tasks

Maintains model-theoretic and fixpoint semantics

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.