A Journey to the Frontiers of Query Rewritability
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
We consider (first-order) query rewritability in the context of theory-mediated query answering. The starting point of our journey is the FUS/FES conjecture, which states that any theory that is a finite expansion set (FES) and admits query rewriting (BDD, FUS) must be uniformly bounded. We show that this conjecture holds for a large class of BDD theories, which we call "local". Upon investigating how "non-local"BDD theories can actually get, we discover unexpected phenomena that, we think, are at odds with prevailing intuitions about BDD theories.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | PODS 2022 - Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems |
| Redakteure/-innen | Leonid Libkin, Pablo Barceló |
| Herausgeber (Verlag) | ACM Press |
| Seiten | 359–367 |
| Seitenumfang | 9 |
| ISBN (elektronisch) | 9781450392600 |
| ISBN (Print) | 9781450392600 |
| Publikationsstatus | Veröffentlicht - 1 Juni 2022 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 85132971246 |
|---|---|
| Mendeley | b21e47b1-7c99-350e-b037-0d325f9b3499 |
| dblp | conf/pods/Ostropolski-Nalewaja22 |
| WOS | 000850439300031 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- existential rules, first-order logic, first-order rewritability, Existential Rules, First-Order Rewritability, First-Order logic