On first-order topological queries

DOI10.1145/507382.507384zbMath1365.68205OpenAlexW2176172793MaRDI QIDQ5738958

Martin Grohe, Luc Segoufin

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01223388/file/topo-FO.pdf

zbMATH Keywords

constraint databasesfirst-order logictopological queries

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Classical first-order logic (03B10)

Related Items (2)

Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ The past and future of embedded finite model theory

This page was built for publication: On first-order topological queries