The Deductive Database System LDL++
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang, Carlo Zaniolo
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.
Create a lesson
Related papers
Path Length Existence Problems in Bounded-Treewidth Probabilistic Graphs
Antoine Amarilli, Mikaël Monet, Harshul Sagar
High-Throughput LLM-Based Compression and What It Takes: A Systems Study of Inference Engines and Entropy Coding Optimizations
David Adams, Luisa Neubauer, Ping-Lin Kuo et al.
ML Engineering Agents - A Data Management Perspective
Arnab Phani, Elias Strauss, Tim Schuster et al.
GQL Datatypes as an RDF Vocabulary
Dominik Tomaszuk, Daniel Szałaj
CellChain: Benchmarking Cross-Scale Evidence Use for Perturbation Reasoning
Xue Xia, Yue Wang, Shuizhou Chen et al.
SemReuse: Certified Reuse of Cached Natural-Language Views for Semantic Operators
Phat T. Tran-Truong, Tung Kieu, Xuan-Bach Le et al.