Florent Capelli ; Nicolas Crosetti ; Joachim Niehren ; Jan Ramon - Linear Programs with Conjunctive Database Queries

lmcs:10232 - Logical Methods in Computer Science, January 26, 2024, Volume 20, Issue 1 - https://doi.org/10.46298/lmcs-20(1:9)2024
Linear Programs with Conjunctive Database QueriesArticle

Authors: Florent Capelli ; Nicolas Crosetti ; Joachim Niehren ; Jan Ramon

In this paper, we study the problem of optimizing a linear program whose variables are the answers to a conjunctive query. For this we propose the language LP(CQ) for specifying linear programs whose constraints and objective functions depend on the answer sets of conjunctive queries. We contribute an efficient algorithm for solving programs in a fragment of LP(CQ). The natural approach constructs a linear program having as many variables as there are elements in the answer set of the queries. Our approach constructs a linear program having the same optimal value but fewer variables. This is done by exploiting the structure of the conjunctive queries using generalized hypertree decompositions of small width to factorize elements of the answer set together.
We illustrate the various applications of LP(CQ) programs on three examples:
optimizing deliveries of resources, minimizing noise for differential privacy, and computing the s-measure of patterns in graphs as needed for data mining.


Volume: Volume 20, Issue 1
Secondary volumes: Selected Papers of the 25th International Conference on Database Theory (ICDT 2022)
Published on: January 26, 2024
Accepted on: November 27, 2023
Submitted on: November 1, 2022
Keywords: Computer Science - Databases
Funding:
    Source : OpenAIRE Graph
  • Human-cEntric Data-oriented WORKflows; Funder: French National Research Agency (ANR); Code: ANR-16-CE23-0015
  • Aggregation Queries; Funder: French National Research Agency (ANR); Code: ANR-14-CE25-0017

Classifications

1 Document citing this article

Consultation statistics

This page has been seen 1314 times.
This article's PDF has been downloaded 1612 times.