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

DOI10.1007/S00236-002-0088-1MaRDI QIDQ1403324zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Reachability and connectivity queries in constraint databases
• First‐Order Languages Expressing Constructible Spatial Database Queries
• scientific article; zbMATH DE number 2080410
• On the expressiveness of linear-constraint query languages for spatial databases
• An expressive language for linear spatial database queries

Cited in

(5)

• \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets
• On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
• Reachability and connectivity queries in constraint databases
• On the expressiveness of linear-constraint query languages for spatial databases
• scientific article; zbMATH DE number 2080410 (Why is no real title available?)

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

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