课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
关系型查询语言,如SQL,是声明性编程的早期成功案例。然而,随着新的应用领域的发展,人们发现关系系统的不足。它们在结构和语言方面的局限性导致了数据库和演绎数据库的出现。当数据的结构是已知的,并且数据访问路径和检索方法可以在系统开发时确定时,面向对象数据库(简称O-O)是有效的。基于逻辑的演绎DBMS适用于定义不太明确的情况;事先不知道将被询问的所有问题的情况。灵活性对于现代DBMS来说是极其重要的,特别是当用户缺乏关于应用程序域结构的详细知识时。由于这个原因,每当需要对数据进行智能处理时,传统上就使用基于逻辑的语言。另一方面,这些语言中固有的扁平数据结构不适合许多科学应用,如CAD/CAM设计,建模敏捷制造处理等,其中数据具有复杂且已知的内部结构。
英文摘要
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
  • 依托单位:
海外基金