Queries with external predicates

DOI10.4230/LIPICS.ICDT.2025.22MaRDI QIDQ7292790zbMATH OpenFDO

Authors Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo

Publication date 8 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICDT.2025.22

Mathematics Subject Classification ID

Database theory (68P15)

Cites work

• Computable queries for relational data bases
• Conjunctive queries with free access patterns under updates
• Elements of finite model theory.
• Finite model theory and its applications.
• Finite queries do not have effective syntax.
• scientific article; zbMATH DE number 2080475 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 1395614 (Why is no real title available?)
• Metafinite model theory
• On the complexity of finding the chromatic number of a recursive graph. I: The bounded case
• Recursive Euler and Hamilton Paths
• Rewriting queries using views with access patterns under integrity constraints
• Safe Constraint Queries

This page was built for publication: Queries with external predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7292790)