On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases

DOI10.1006/JCSS.1999.1625MaRDI QIDQ1307697zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

semialgebraic setsregular stratification

Mathematics Subject Classification ID

Database theory (68P15)

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

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 66679 (Why is no real title available?)
• scientific article; zbMATH DE number 177882 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1479611 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A Decision Procedure for the First Order Theory of Real Addition with Order
• A new decision method for elementary algebra
• Efficient structures for geometric data management
• Elementary structure of real algebraic varieties
• Fourier algorithm revisited
• On the expressiveness of linear-constraint query languages for spatial databases
• Queries with arithmetical constraints
• Relational expressive power of constraint query languages

Cited in

(8)

• Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
• Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
• A representation independent language for planar spatial databases with Euclidean distance
• scientific article; zbMATH DE number 2241916 (Why is no real title available?)
• Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases
• An expressive language for linear spatial database queries
• On the expressiveness of linear-constraint query languages for spatial databases
• scientific article; zbMATH DE number 1670479 (Why is no real title available?)

Describes a project that uses

Uses Software

• LyriC

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)