@inproceedings{68793b67228a47e6808dc4159127a26f,
title = "Queries with External Predicates",
abstract = "Real-life query languages feature external predicates such as user-defined functions or built-in arithmetic and string operations. These predicates are often infinite, potentially leading to unsafe or non-computable queries. To overcome this, traditional languages such as SQL, put significant syntactic restrictions on the use of external predicates. These restrictions have been relaxed in a number of modern query languages, each doing it in their own way. Our goal therefore is to provide a theoretical basis for querying with external predicates. To this end, we formalize queries with external predicates based on the notion of access patterns. We develop a suitable evaluation model, based on Turing machines with oracles, and tailor the classical notion of query safety to it. Since query safety is undecidable in general, we can only produce sufficient conditions for guaranteeing safety. We do so by developing an inference system to derive safety and computability for relational algebra, first-order logic, as well as for a language that combines them both.",
keywords = "Access patterns, Computational model, External predicates, First-order logic, Infinite predicates, Oracles, Query safety, Relational algebra",
author = "Paolo Guagliardo and Leonid Libkin and Victor Marsault and Wim Martens and Filip Murlak and Liat Peterfreund and Cristina Sirangelo",
note = "Publisher Copyright: {\textcopyright} Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, and Cristina Sirangelo.; 28th International Conference on Database Theory, ICDT 2025 ; Conference date: 25-03-2025 Through 28-03-2025",
year = "2025",
month = mar,
day = "21",
doi = "10.4230/LIPIcs.ICDT.2025.22",
language = "الإنجليزيّة",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Sudeepa Roy and Ahmet Kara",
booktitle = "28th International Conference on Database Theory, ICDT 2025",
address = "ألمانيا",
}