Adding a path connectedness operator to \(FO+poly(linear)\)

DOI10.1007/s00236-002-0088-1zbMath1034.68029OpenAlexW2067324257MaRDI QIDQ1403324

D. Massart

Publication date: 1 September 2003

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-002-0088-1

zbMATH Keywords

spatial database query languages

Mathematics Subject Classification ID

Database theory (68P15) Model-theoretic algebra (03C60) Logic in computer science (03B70) Semialgebraic sets and related spaces (14P10)

Related Items (3)

Reachability and connectivity queries in constraint databases ⋮ On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases ⋮ \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets

This page was built for publication: Adding a path connectedness operator to \(FO+poly(linear)\)