Article Dans Une Revue SIGMOD record Année : 2024

Tractable Circuits in Database Theory

Résumé

This work reviews how database theory uses tractable circuit classes from knowledge compilation. We present relevant query evaluation tasks, and notions of tractable circuits. We then show how these tractable circuits can be used to address database tasks. We first focus on Boolean provenance and its applications for aggregation tasks, in particular probabilistic query evaluation. We study these for Monadic Second Order (MSO) queries on trees, and for safe Conjunctive Queries (CQs) and Union of Conjunctive Queries (UCQs). We also study circuit representations of query answers, and their applications to enumeration tasks: both in the Boolean setting (for MSO) and the multivalued setting (for CQs and UCQs).

Dates et versions

hal-04871509 , version 1 (07-01-2025)

Identifiants

Citer

Antoine Amarilli, Florent Capelli. Tractable Circuits in Database Theory. SIGMOD record, 2024, 53 (2), pp.6-20. ⟨10.1145/3685980.3685982⟩. ⟨hal-04871509⟩
199 Consultations
0 Téléchargements

Altmetric

Partager

  • More