Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
Property Testing for Recursive Query Languages
Isolde Adler, Carsten Lutz, Quentin Manière +2
In the context of database querying, property testing provides a framework for testing query answers with high confidence while inspecting only a sublinear part of the database, th…
cs.DB2025
Query Repairs
Balder ten Cate, Phokion Kolaitis, Carsten Lutz
We formalize and study the problem of repairing database queries based on user feedback in the form of a collection of labeled examples. We propose a framework based on the notion…