Preprint
Sep 2026
Property Testing for Recursive Query Languages
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, through completion queries and size queries. A fundamental result of Chen and Yoshida (2019) states that non-satisfaction of a Boolean conjunc...
Isolde Adler, Carsten Lutz, Quentin Manière et al.
· 0 citations