实多项式约束下关系演算中的锥半径表达
数据库
2007-05-23 v1 计算机科学中的逻辑
摘要
我们证明存在一个在实数上以一阶逻辑可表达的查询，该查询在给定的半代数集 A 上，返回每个点 a 围绕其 A 为锥形的半径。我们通过将微积分和实代数几何中的著名结果（如 Sard 定理和 Thom 第一等位不变量引理）与 Rannou 最近的算法结果相结合来获得此结果。
引用
@article{arxiv.cs/0106046,
title = {Expressing the cone radius in the relational calculus with real polynomial constraints},
author = {Floris Geerts},
journal= {arXiv preprint arXiv:cs/0106046},
year = {2007}
}
备注
9 pages