%0 Conference Proceedings %T Knowledge-Preserving Certain Answers for SQL-like Queries %+ University of Edinburgh %+ Value from Data (VALDA ) %A Toussaint, Etienne %A Guagliardo, Paolo %A Libkin, Leonid %Z Work partially supported by EPSRC grants M025268 and N023056, EPSRC Centre for Doctoral Training in Data Science, a grant from the Foundation Sciences Mathématiquesde Paris under the FSMP Chairs program, and the Royal Society through a Wolfson Research Merit Award. %< avec comité de lecture %B KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning %C Rhodes / Virtual, Greece %I International Joint Conferences on Artificial Intelligence Organization %P 758-767 %8 2020-09-12 %D 2020 %R 10.24963/kr.2020/78 %Z Computer Science [cs]/Databases [cs.DB]Conference papers %X Answering queries over incomplete data is based on finding answers that are certainly true, independently of how missing values are interpreted. This informal description has given rise to several different mathematical definitions of certainty. To unify them, a framework based on "explanations", or extra information about incomplete data, was recently proposed. It partly succeeded in justifying query answering methods for relational databases under set semantics, but had two major limitations. First, it was firmly tied to the set data model, and a fixed way of comparing incomplete databases with respect to their information content. These assumptions fail for reallife database queries in languages such as SQL that use bag semantics instead. Second, it was restricted to queries that only manipulate data, while in practice most analytical SQL queries invent new values, typically via arithmetic operations and aggregation. To leverage our understanding of the notion of certainty for queries in SQL-like languages, we consider incomplete databases whose information content may be enriched by additional knowledge. The knowledge order among them is derived from their semantics, rather than being fixed a priori. The resulting framework allows us to capture and justify existing notions of certainty, and extend these concepts to other data models and query languages. As natural applications, we provide for the first time a well-founded definition of certain answers for the relational bag data model and for valueinventing queries on incomplete databases, addressing the key shortcomings of previous approaches. %G English %2 https://inria.hal.science/hal-03128504/document %2 https://inria.hal.science/hal-03128504/file/main1.pdf %L hal-03128504 %U https://inria.hal.science/hal-03128504 %~ ENS-PARIS %~ CNRS %~ INRIA %~ INRIA-ROCQ %~ TESTALAIN1 %~ INRIA2 %~ PSL %~ INRIA-PSL %~ ENS-PSL %~ INRIA-ROYAUMEUNI