课题基金 / 基金详情

NYI: Theory and Implementation of Declarative Database Systems

NYI: Theory and Implementation of Declarative Database Systems
NYI：声明式数据库系统的理论与实现
批准号：
9457613
负责人：
Kenneth Ross
金额：
$31.25万
依托单位：
Columbia University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1994
资助国家：
美国
项目状态：
已结题
起止时间：
1994-09-01 至 2000-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9457613&HistoricalAwards=false
关键词：
NYITheoryImplementationDeclarativeDatabase

项目摘要

项目成果

Kenneth Ross的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This project covers theoretical and implementation work on both deductive databases and on a declarative object-oriented database language. In the area of deductive databases, foundational work on the semantics and optimization of rules with recursive aggregation and negation is being pursed. Efficient techniques for incremental computation of aggregation functions are being developed. Syntactically checkable stratification conditions that are more general than past proposal are also being investigated. In the area of declarative object-oriented databases, a language called Noodle has been designed, and is being implemented as part of the SWORD/Oda database systems. Once implemented, the system will be tested on realistic applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
III: Medium: Linear Algebra Operators in Databases to Support Analytic and Machine-Learning Workloads
  • 批准号：
    2312991
  • 项目类别：
    Standard Grant
  • 资助金额：
    $101.63万
  • 财政年份：
    2023
  • 负责人：
    Kenneth Ross
  • 依托单位：
    Columbia University
III: Small: Bringing database query optimization to data intensive applications
  • 批准号：
    2008295
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2020
  • 负责人：
    Kenneth Ross
  • 依托单位：
    Columbia University
III: Small: Database Algorithms for Modern CPU Memory Hierarchies
  • 批准号：
    1422488
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2014
  • 负责人：
    Kenneth Ross
  • 依托单位：
    Columbia University
Evolutionary Genomics of a Supergene Implicated in Social Evolution
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    55万元
  • 批准年份：
    2022
  • 负责人：
    Thomas Pahtz
  • 依托单位：
    浙江大学
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号：
    12126512
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2021
  • 负责人：
    李常品
  • 依托单位：
    上海大学