首页> 外文OA文献 >Query languages for constraint databases: First-order logic, fixed-points, and convex hulls

【2h】

Query languages for constraint databases: First-order logic, fixed-points, and convex hulls

机译：约束数据库的查询语言：一阶逻辑，定点和凸包

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kreutzer Stephan;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. First-Order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases [J] . FLORIS GEERTS, SOFIE HAESEVOETS, BART KUIJPERS ACM transactions on computational logic . 2008,第2期

机译：时空数据库的一阶完整和计算完整查询语言
2. First-order languages expressing constructible spatial database queries [J] . Kuijpers B, Kuper G, Paredaens J, SIAM Journal on Computing . 2007,第6期

机译：表示可构造空间数据库查询的一阶语言
3. Database Query Languages and Functional Logic Programming [J] . Jesus M. ALMENDROS-JIMENEZ, Antonio BECERRA-TERON New Generation Computing . 2006,第2期

机译：数据库查询语言和功能逻辑编程
4. Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls [C] . Stephan Kreutzer International Conference on Database Theory . 2001

机译：查询约束数据库的语言：一阶逻辑，固定点和凸壳
5. Querying Web pages with database query languages. [D] . Yang, Xiaoyu. 1999

机译：使用数据库查询语言查询网页。
6. Fixed-point and Minimax Theorems in Locally Convex Topological Linear Spaces [O] . Ky Fan 1952

机译：局部凸拓扑线性空间中的不动点定理和极小极大定理
7. Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls [O] . Stephan Kreutzer 2001

机译：约束数据库的查询语言：一阶逻辑，定点数和凸包
8. Admissibility of Fixed-Point Induction in First-Order Logic of Typed Theories [R] . Igarashi, S. 1972

机译：类型理论一阶逻辑中定点归纳的可容许性

Query languages for constraint databases: First-order logic, fixed-points, and convex hulls

著录项

引文网络

相似文献

相关主题

期刊订阅