An Efficient Implementation of Deductive Database Systems

演绎数据库系统的高效实现

基本信息

  • 批准号：
    8603676
  • 负责人：
    Michael Kifer
  • 金额：
    $ 11.5万
  • 依托单位：
    SUNY at Stony Brook
  • 依托单位国家：
    美国
  • 项目类别：
    Standard Grant
  • 财政年份：
    1986
  • 资助国家：
    美国
  • 起止时间：
    1986-07-01 至 1988-12-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 的双重生命：立场文件
Foreword: Deductive object-oriented databases
OpenRuleBench: an analysis of the performance of rule engines
OpenRuleBench：规则引擎性能分析
A layered architecture for querying dynamic Web content
用于查询动态 Web 内容的分层架构
  • DOI：
  • 发表时间：
    1999
  • 期刊：
    ACM SIGMOD Conference
  • 影响因子：
    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.journal_name }}
  • 影响因子：
    {{ 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
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Standard Grant
SHF: Medium:Performance Analysis and Optimization for Logic Rule Engines
SHF：中：逻辑规则引擎的性能分析和优化
  • 批准号：
    0964196
  • 财政年份：
    2010
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
A Deductive Engine for the Semantic Web
语义网演绎引擎
  • 批准号：
    0311512
  • 财政年份：
    2003
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
基于逻辑的建模分析与工作流管理系统的实现
  • 批准号：
    0072927
  • 财政年份：
    2000
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes
美国-土耳其合作研究：工作流程建模和验证
  • 批准号：
    9809945
  • 财政年份：
    1999
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Standard Grant
Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge
用于编程数据和知识的声明性面向对象语言的研究
  • 批准号：
    9404629
  • 财政年份：
    1994
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
Design and Implementation of a Higher-Order Logic Programming Language
高阶逻辑编程语言的设计与实现
  • 批准号：
    9102159
  • 财政年份：
    1991
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
Database Methods in Expert Systems
专家系统中的数据库方法
  • 批准号：
    8903507
  • 财政年份：
    1989
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant

相似海外基金

Formalization, Modeling and Implementation of a neuro-cognitive theory of deductive reasoning
演绎推理的神经认知理论的形式化、建模和实现
  • 批准号：
    263286172
  • 财政年份：
    2015
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Heisenberg Fellowships
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
  • 批准号：
    193552-1996
  • 财政年份：
    1999
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
  • 批准号：
    193552-1996
  • 财政年份：
    1998
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
  • 批准号：
    193552-1996
  • 财政年份：
    1997
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Design, Implementation and Application of a Framework for the Formalization of Deductive Systems
演绎系统形式化框架的设计、实现和应用
  • 批准号：
    9619584
  • 财政年份：
    1997
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Standard Grant
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
  • 批准号：
    193552-1996
  • 财政年份：
    1996
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Design and implementation of a deductive and object-oriented database language
演绎型面向对象数据库语言的设计与实现
  • 批准号：
    184202-1993
  • 财政年份：
    1995
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Design and implementation of a deductive and object-oriented database language
演绎型面向对象数据库语言的设计与实现
  • 批准号：
    138559-1993
  • 财政年份：
    1994
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
Design, Implementation, & Application of a Framework for the Formalization of Deductive Systems
设计、实施、
  • 批准号：
    9303383
  • 财政年份：
    1993
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Continuing Grant
Design and implementation of a deductive and object-oriented database language
演绎型面向对象数据库语言的设计与实现
  • 批准号：
    138559-1993
  • 财政年份：
    1993
  • 资助金额：
    $ 11.5万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了