Expressing the cone radius in the relational calculus with real polynomial constraints

Simple item page
dc.creatorGeerts, Floris
dc.date2001-06-21
dc.date.accessioned2026-07-07T03:17:16Z
dc.date.available2026-07-07T03:17:16Z
dc.descriptionWe show that there is a query expressible in first-order logic over the reals that returns, on any given semi-algebraic set A, for every point a radius around which A is conical. We obtain this result by combining famous results from calculus and real algebraic geometry, notably Sard's theorem and Thom's first isotopy lemma, with recent algorithmic results by Rannou.
dc.description9 pages
dc.identifierhttps://arxiv.org/abs/cs/0106046
dc.identifierhttp://arxiv.org/abs/cs/0106046
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30662
dc.subjectDatabases
dc.subjectLogic in Computer Science
dc.subjectH.2.3; H.2.8
dc.titleExpressing the cone radius in the relational calculus with real polynomial constraints
dc.typetext

Files

Collections

arXiv