On first-order topological queries

DOI10.1145/507382.507384MaRDI QIDQ5738958zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Publication:4508943
• First-Order Queries on Finite Structures Over the Reals
• First-order queries on classes of structures with bounded expansion
• The expressive power of first-order topological languages
• Topological queries in spatial databases
• First-order queries on databases embedded in an infinite structure
• The query topology in logic programming
• Expressive power in first order topology
• Querying spatial databases via topological invariants
• scientific article; zbMATH DE number 3483195

Cited in

(11)

• scientific article; zbMATH DE number 2241916 (Why is no real title available?)
• The expressive power of first-order topological languages
• The past and future of embedded finite model theory
• A general strategy for decomposing topological invariants of spatial databases and an application
• Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
• Logical aspects of spatial databases
• Querying spatial databases via topological invariants
• scientific article; zbMATH DE number 1515862 (Why is no real title available?)
• A characterization of first-order topological properties of planar spatial data
• scientific article; zbMATH DE number 2080410 (Why is no real title available?)
• First-Order Queries on Finite Structures Over the Reals

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)