On first-order topological queries

DOI10.1145/507382.507384zbMATH Open1365.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

first-order logicconstraint databasestopological queries

Mathematics Subject Classification ID

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

Cited In (3)

• Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space
• The past and future of embedded finite model theory
• First-Order Queries on Finite Structures Over the Reals

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Expressive power in first order topology 👍 👎
• First-Order Queries on Finite Structures Over the Reals 👍 👎
• The query topology in logic programming 👍 👎
• Topological queries in spatial databases 👍 👎
• First-order queries on databases embedded in an infinite structure 👍 👎
• Querying spatial databases via topological invariants 👍 👎
• The expressive power of first-order topological languages 👍 👎

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

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