arXiv AI By Jean Marie Lagniez, Emmanuel Lonca

Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing

Read the original on arXiv AI →

arXiv:2607. 11492v1 Announce Type: new Abstract: In this paper, we investigate preprocessing techniques aimed at improving the efficiency of accessing models of propositional formulas represented in conjunctive normal form (CNF).

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Aug 24

SAGE: A Unified Algebra and Self-Adaptive Execution for AI Functions in SQL

SAGE (Self-Adaptive Generative Execution) introduces a unified framework for integrating AI functions into SQL by defining three typed primitives—AI_SCALAR, AI_AGG, and AI_JOIN—that correspond to the relational roles of transforming rows, aggregating groups, and joining row pairs. The framework standardizes a confidence-gated execution interface and tailors physical strategies to each primitive’s shape, with AI_JOIN employing predicate analysis and a recipe card to select optimal execution plans. Evaluations across scalar, aggregate, and join workloads demonstrate that SAGE consistently improves execution quality and efficiency, achieving the best overall SemBench performance and dramatically reducing model calls in factorable joins.

By Xiangqi Wang, Nhan H. Pham, Oktie Hassanzadeh, Dharmashankar Subramanian, Xiangliang Zhang
arXiv AI
Sep 16

Scalable Algorithms for Approximate DNF Model Counting

The paper introduces a new Monte Carlo algorithm for approximate counting of Disjunctive Normal Form (DNF) formulas, featuring an adaptive stopping rule and short‑circuit evaluation. It achieves PAC learning bounds and is asymptotically more efficient than existing methods, including classical Monte Carlo, hashing‑based, and neural‑network approaches. Experiments demonstrate that the algorithm outperforms prior techniques by orders of magnitude and scales to problems with millions of variables.

By Paul Burkhardt, David G. Harris, Kevin T Schmitt