Adding a path connectedness operator to \(FO+poly(linear)\)
From MaRDI portal
Publication:1403324
DOI10.1007/s00236-002-0088-1zbMath1034.68029MaRDI QIDQ1403324
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
68P15: Database theory
03C60: Model-theoretic algebra
03B70: Logic in computer science
14P10: Semialgebraic sets and related spaces
Related Items
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases, Reachability and connectivity queries in constraint databases, \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets