Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge
用于编程数据和知识的声明性面向对象语言的研究
基本信息
- 批准号:9404629
- 负责人:
- 金额:$ 18.8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-10-01 至 1998-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Relational query languages, such as SQL, were the early success stories of declarative programming. However, as new applications areas have developed, relational systems have been found wanting. Their limitations--both structural and language related--have led databases and deductive databases. Object-oriented databases (abbr., O-O) are effective when the structure of the data is well- known and the data access paths and retrieval methods can be determined at system development time. Deductive DBMS, based on logic, are appropriate in less well-defined situations; situations where one does not know before-hand all the queries that will be asked. Flexibility is extremely important for modern DBMS, especially when the user lacks detailed knowledge about the structure of the application domain. For this reason, logic-base languages have traditionally been used whenever intelligent processing of data was required. On the other hand, flat data structures inherent in such languages are ill-suited for many scientific applications, CAD/CAM design, modeling agile manufacturing processing, etc., where data has complex and known internal structure.
关系查询语言,如SQL,是声明式编程的早期成功案例。 然而,随着新的应用领域的发展,关系系统已被发现需要。 它们的局限性--结构上和语言上的--导致了数据库和演绎数据库的出现。 面向对象的数据库(简称,当数据的结构是众所周知的,并且数据访问路径和检索方法可以在系统开发时确定时,O-O)是有效的。 基于逻辑的演绎DBMS适用于定义不太明确的情况;在这种情况下,人们事先不知道将被询问的所有查询。 灵活性对于现代DBMS是极其重要的,尤其是当用户缺乏关于应用程序域结构的详细知识时。 出于这个原因,逻辑基语言传统上被用于需要智能处理数据的任何时候。 另一方面,这种语言中固有的平面数据结构不适合许多科学应用、CAD/CAM设计、建模敏捷制造处理等,其中数据具有复杂且已知的内部结构。
项目成果
期刊论文数量(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 }}
Michael Kifer其他文献
Clabject Typing in MLM – the Double Life of a Clabject: A Position Paper
传销中的 Claject 打字 – Claject 的双重生命:立场文件
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Mira Balaban;Michael Kifer;Azzam Maraee - 通讯作者:
Azzam Maraee
Foreword: Deductive object-oriented databases
- DOI:
10.1007/bf00961870 - 发表时间:
1995-03-01 - 期刊:
- 影响因子:3.400
- 作者:
Michael Kifer - 通讯作者:
Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines
OpenRuleBench:规则引擎性能分析
- DOI:
10.1145/1526709.1526790 - 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Senlin Liang;Paul Fodor;Hui Wan;Michael Kifer - 通讯作者:
Michael Kifer
A layered architecture for querying dynamic Web content
用于查询动态 Web 内容的分层架构
- DOI:
- 发表时间:
1999 - 期刊:
- 影响因子:0
- 作者:
H. Davulcu;Juliana Freire;Michael Kifer;I. V. Ramakrishnan - 通讯作者:
I. V. Ramakrishnan
Michael Kifer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Kifer', 18)}}的其他基金
CCF-BSF: SHF: Small: Integration and Evolution of Software Models with Executable Logic
CCF-BSF:SHF:小型:具有可执行逻辑的软件模型的集成和演化
- 批准号:
1814457 - 财政年份:2018
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
SHF: Medium:Performance Analysis and Optimization for Logic Rule Engines
SHF:中:逻辑规则引擎的性能分析和优化
- 批准号:
0964196 - 财政年份:2010
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
A Deductive Engine for the Semantic Web
语义网演绎引擎
- 批准号:
0311512 - 财政年份:2003
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
基于逻辑的建模分析与工作流管理系统的实现
- 批准号:
0072927 - 财政年份:2000
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes
美国-土耳其合作研究:工作流程建模和验证
- 批准号:
9809945 - 财政年份:1999
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
Design and Implementation of a Higher-Order Logic Programming Language
高阶逻辑编程语言的设计与实现
- 批准号:
9102159 - 财政年份:1991
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
Database Methods in Expert Systems
专家系统中的数据库方法
- 批准号:
8903507 - 财政年份:1989
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
An Efficient Implementation of Deductive Database Systems
演绎数据库系统的高效实现
- 批准号:
8603676 - 财政年份:1986
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
相似海外基金
Seamless integration of Financial data into ESG data
将财务数据无缝集成到 ESG 数据中
- 批准号:
10099890 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Collaborative R&D
MARVEL-ous Extracellular vesicles carry RXLR effectors into host plant cells
MARVEL-ous 细胞外囊泡携带 RXLR 效应子进入宿主植物细胞
- 批准号:
BB/Y002067/1 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Research Grant
Electro-fermentation process design for efficient CO2 conversion into value-added products
电发酵工艺设计可有效地将二氧化碳转化为增值产品
- 批准号:
EP/Y002482/1 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Research Grant
Integrating Self-Regulated Learning Into STEM Courses: Maximizing Learning Outcomes With The Success Through Self-Regulated Learning Framework
将自我调节学习融入 STEM 课程:通过自我调节学习框架取得成功,最大化学习成果
- 批准号:
2337176 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
Collaborative Research: AGEP ACA: An HSI R2 Strategic Collaboration to Improve Advancement of Hispanic Students Into the Professoriate
合作研究:AGEP ACA:HSI R2 战略合作,以提高西班牙裔学生进入教授职位的水平
- 批准号:
2343235 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
NSF Convergence Accelerator track L: Translating insect olfaction principles into practical and robust chemical sensing platforms
NSF 融合加速器轨道 L:将昆虫嗅觉原理转化为实用且强大的化学传感平台
- 批准号:
2344284 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Standard Grant
HSI Implementation and Evaluation Project: Blending Socioeconomic-Inclusive Design into Undergraduate Computing Curricula to Build a Larger Computing Workforce
HSI 实施和评估项目:将社会经济包容性设计融入本科计算机课程,以建立更大规模的计算机队伍
- 批准号:
2345334 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
CAREER: Branched Amphiphilic Peptide Capsules (BAPCs) for the delivery of lethal dsRNA into invasive organisms
事业:分支两亲肽胶囊 (BAPC) 用于将致命的 dsRNA 传递到入侵生物体中
- 批准号:
2340070 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Continuing Grant
A genome wide investigation into the roles of error-prone polymerases during human DNA replication
对易错聚合酶在人类 DNA 复制过程中的作用进行全基因组研究
- 批准号:
24K18094 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Bridging Economic Demands with Social Responsibility: A Deep Dive into SMFDI's Production-Driven CSR Initiatives
连接经济需求与社会责任:深入探讨 SMFDI 的生产驱动型企业社会责任计划
- 批准号:
24K20993 - 财政年份:2024
- 资助金额:
$ 18.8万 - 项目类别:
Grant-in-Aid for Early-Career Scientists