On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
From MaRDI portal
Publication:1307697
DOI10.1006/JCSS.1999.1625zbMATH Open0939.68027OpenAlexW2034207933MaRDI QIDQ1307697FDOQ1307697
Authors: Freddy Dumortier, Marc Gyssens, L. Vandeurzen, D. Van Gucht 
Publication date: 9 November 1999
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1999.1625
Recommendations
- Definability with a predicate for a semi-linear set
- scientific article; zbMATH DE number 1670479
- On the expressiveness of linear-constraint query languages for spatial databases
- An expressive language for linear spatial database queries
- Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases
Cites Work
- Title not available (Why is that?)
- A Decision Procedure for the First Order Theory of Real Addition with Order
- Title not available (Why is that?)
- A new decision method for elementary algebra
- Title not available (Why is that?)
- Elementary structure of real algebraic varieties
- Queries with arithmetical constraints
- Relational expressive power of constraint query languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fourier algorithm revisited
- Efficient structures for geometric data management
- Title not available (Why is that?)
- On the expressiveness of linear-constraint query languages for spatial databases
Cited In (8)
- Title not available (Why is that?)
- Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
- An expressive language for linear spatial database queries
- On the expressiveness of linear-constraint query languages for spatial databases
- A representation independent language for planar spatial databases with Euclidean distance
- Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
- Title not available (Why is that?)
Uses Software
This page was built for publication: On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1307697)
