课题基金 / 基金详情

Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge

Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge
用于编程数据和知识的声明性面向对象语言的研究
批准号:
9404629
负责人:
Michael Kifer
金额:
$18.8万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-10-01 至 1998-09-30

项目摘要

项目成果

Michael Kifer的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CCF-BSF: SHF: Small: Integration and Evolution of Software Models with Executable Logic
  • 批准号:
    1814457
  • 项目类别:
    Standard Grant
  • 资助金额:
    $41.25万
  • 财政年份:
    2018
  • 负责人:
    Michael Kifer
  • 依托单位:
SHF: Medium:Performance Analysis and Optimization for Logic Rule Engines
  • 批准号:
    0964196
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $80.8万
  • 财政年份:
    2010
  • 负责人:
    Michael Kifer
  • 依托单位:
A Deductive Engine for the Semantic Web
  • 批准号:
    0311512
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $29.86万
  • 财政年份:
    2003
  • 负责人:
    Michael Kifer
  • 依托单位:
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
  • 批准号:
    0072927
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $47.99万
  • 财政年份:
    2000
  • 负责人:
    Michael Kifer
  • 依托单位:
海外基金