Research in Database Foundations and Logic Programming at an Undergraduate Institutions
本科院校数据库基础与逻辑编程研究
基本信息
- 批准号:8714544
- 负责人:
- 金额:$ 5.7万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1988
- 资助国家:美国
- 起止时间:1988-04-01 至 1990-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project contains two related activities. First, we propose to continue our research in database foundations and logic programming that we have been conducting under the present RUI grant. Specifically, we wish to implement a semantic query optimizer that was developed under the present RUI grant. We will also study incremental semantic compilation, structured deductive databases, integrity constraint checking, and cooperative answer generation. Second, we wish to continue our research program in the Department of Computer and Information Sciences at Towson State University, an undergraduate institution. We will continue the seminar in database research for outstanding students, thereby encouraging them to study for advanced degrees in computer science.
该项目包括两项相关活动。 首先,我们建议 继续研究数据库基础和逻辑编程 我们一直在进行的研究。 具体来说,我们希望实现一个语义查询优化器, 根据目前的RUI赠款开发。 我们还将研究增量 语义编译,结构化演绎数据库,完整性 约束检查和协作答案生成。 二是 我希望继续我们在计算机系的研究项目 他是陶森州立大学的一名本科生, 机构。 我们将继续数据库研究的研讨会, 优秀的学生,从而鼓励他们学习先进的 计算机科学学位。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
John Grant其他文献
Measuring Inconsistency in Some Logics with Tense Operators
使用时态运算符测量某些逻辑中的不一致
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0.7
- 作者:
John Grant - 通讯作者:
John Grant
On optimizing the evaluation of a set of expressions
- DOI:
10.1007/bf00999727 - 发表时间:
1982-06-01 - 期刊:
- 影响因子:0.900
- 作者:
John Grant;Jack Minker - 通讯作者:
Jack Minker
Postulates for revising BDI structures
- DOI:
10.1007/s11229-010-9735-1 - 发表时间:
2010-07-21 - 期刊:
- 影响因子:1.300
- 作者:
John Grant;Sarit Kraus;Donald Perlis;Michael Wooldridge - 通讯作者:
Michael Wooldridge
Confirmation of empirical theories by observation sets
- DOI:
10.1007/bf02379249 - 发表时间:
1978-11-01 - 期刊:
- 影响因子:0.500
- 作者:
John Grant - 通讯作者:
John Grant
Shape statistics of particle clusters in a turbulent flow
湍流中粒子簇的形状统计
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
John Grant - 通讯作者:
John Grant
John Grant的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Grant', 18)}}的其他基金
Research in Database Foundations and Logic Programming at anUndergraduate Institution
本科院校数据库基础与逻辑编程研究
- 批准号:
9200898 - 财政年份:1992
- 资助金额:
$ 5.7万 - 项目类别:
Continuing Grant
RUI: Research in Database Foundations and Logic Programmingat an Undergraduate Institution
RUI:本科院校数据库基础与逻辑编程研究
- 批准号:
8921951 - 财政年份:1990
- 资助金额:
$ 5.7万 - 项目类别:
Continuing Grant
Study of the Interaction of Internal Gravity Waves and Turbulence
内重力波与湍流相互作用的研究
- 批准号:
8415123 - 财政年份:1985
- 资助金额:
$ 5.7万 - 项目类别:
Continuing grant
RUI: Research in Database Foundations and Logic Programming at an Undergraduate Institution
RUI:本科院校数据库基础和逻辑编程研究
- 批准号:
8412662 - 财政年份:1985
- 资助金额:
$ 5.7万 - 项目类别:
Standard Grant
U. S. - Australia Joint Seminar/ Workshop on the "ComparisonOf Electron and Ion Beam Methods For Surface Analysis:" Canberra, Australia, February 23 Through 27, 1981
美国-澳大利亚“表面分析电子束和离子束方法比较”联合研讨会/讲习班:澳大利亚堪培拉,1981 年 2 月 23 日至 27 日
- 批准号:
8106723 - 财政年份:1981
- 资助金额:
$ 5.7万 - 项目类别:
Standard Grant
相似海外基金
Establishing the foundations of comparative law by developing a database of legal information in Japan, Korea, Taiwan and China.
通过开发日本、韩国、台湾和中国的法律信息数据库,奠定比较法的基础。
- 批准号:
20240024 - 财政年份:2008
- 资助金额:
$ 5.7万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1999
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1998
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1997
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1996
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1995
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1994
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1993
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1992
- 资助金额:
$ 5.7万 - 项目类别:
Discovery Grants Program - Individual
Research in Database Foundations and Logic Programming at anUndergraduate Institution
本科院校数据库基础与逻辑编程研究
- 批准号:
9200898 - 财政年份:1992
- 资助金额:
$ 5.7万 - 项目类别:
Continuing Grant