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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes
-
批准号:9809945
-
项目类别:Standard Grant
-
资助金额:$2.55万
-
财政年份:1999
-
负责人:Michael Kifer
-
依托单位:
Design and Implementation of a Higher-Order Logic Programming Language
-
批准号:9102159
-
项目类别:Continuing Grant
-
资助金额:$35.48万
-
财政年份:1991
-
负责人:Michael Kifer
-
依托单位:
Database Methods in Expert Systems
-
批准号:8903507
-
项目类别:Continuing Grant
-
资助金额:$12.29万
-
财政年份:1989
-
负责人:Michael Kifer
-
依托单位:
An Efficient Implementation of Deductive Database Systems
-
批准号:8603676
-
项目类别:Standard Grant
-
资助金额:$11.5万
-
财政年份:1986
-
负责人:Michael Kifer
-
依托单位:
海外基金