首页> 外文OA文献 >Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)

【2h】

Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)

机译：功能数据库查询语言，如固定顺序的键入Lambda计算（扩展摘要）

页面导航

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

著录项

作者
Gerd G. Hillebrand; Paris C. Kanellakis;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) [J] . Beno?t Valiron Electronic Notes in Theoretical Computer Science . 2011,第1期

机译：关于量子和概率线性λ计算（扩展摘要）
2. Abstract interpretation of database query languages [J] . Raju Haider, Agostino Cortesi Computer Languages, Systems & Structures . 2012,第2期

机译：数据库查询语言的抽象解释
3. The computational completeness of extended database query languages [J] . Varvel D.A., Shapiro L. IEEE Transactions on Software Engineering . 1989,第5期

机译：扩展数据库查询语言的计算完整性
4. Functional database query languages as typed lambda calculi of fixed order (extended abstract) [C] . Gerd G. Hillebrand, Paris C. Kanellakis ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems . 1994

机译：功能数据库查询语言为固定顺序的键入的lambda计算（扩展的摘要）
5. Well-definedness, semantic type-checking, and type inference for database query languages. [D] . Vansummeren, Stijn. 2005

机译：数据库查询语言的定义明确，语义类型检查和类型推断。
6. Criteria2Query: a natural language interface to clinical databases for cohort definition [O] . Chi Yuan, Patrick B Ryan, Casey Ta, 2019

机译：Criteria2Query：用于临床数据库的自然语言界面用于队列定义
7. Database Query Languages Embedded in the Typed Lambda Calculus [O] . Hillebrand Gerd G., Kanellakis Paris C., Mairson Harry G. 1996

机译：嵌入在类型化Lambda演算中的数据库查询语言
8. FQL -- The Design and Implementation of a Functional Database Query Language [R] . Frankel, R. E. 1979

机译：FQL - 功能数据库查询语言的设计与实现

Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅