I-Corps: An Interactive Query Interface

I-Corps:交互式查询界面

基本信息

  • 批准号:
    1831005
  • 负责人:
  • 金额:
    $ 5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-04-01 至 2018-09-30
  • 项目状态:
    已结题

项目摘要

The broader impact/commercial potential of this I-Corps project will be to enable companies and end-users to more easily extract relevant information from data sources. This system can be beneficial for a wide range of companies including e-commerce, business intelligence, and database and could systems. It is envisioned that this technology will be used in two ways: First, companies can use the system internally to enable easier and faster data access for their employees, thereby reducing dependence on database administrators and cutting costs. Second, companies could use the system externally to provide a better search interface to their customers. In addition, this technology can potentially also be useful to academic researchers, particularly within social and natural sciences, by allowing them to easily extract relevant data.This I-Corps project provides an interface for extracting data from databases by writing English sentences. Although relational databases are the most common choice for the storage of information, retrieving a relevant subset of the data from them requires expertise in a formal query language. This technology allows end-users to query information stored in a relational database without having to learn a formal query language. The technology is based on a research which combines advanced natural language processing techniques with automated program synthesis and repair. A key advantage of this approach is that it is database-agnostic and does not require end-users to know the database schema.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
这个I-Corps项目更广泛的影响/商业潜力将是使公司和最终用户能够更轻松地从数据源中提取相关信息。该系统可以为包括电子商务,商业智能,数据库和云系统在内的各种公司带来好处。据设想,这项技术将以两种方式使用:首先,公司可以在内部使用该系统,使员工能够更轻松、更快速地访问数据,从而减少对数据库管理员的依赖,降低成本。其次,公司可以在外部使用该系统,为客户提供更好的搜索界面。此外,该技术还可以帮助学术研究人员,特别是社会科学和自然科学领域的研究人员轻松提取相关数据。I-Corps项目提供了一个通过编写英语句子从数据库中提取数据的界面。虽然关系数据库是存储信息的最常见选择,但从其中检索数据的相关子集需要正式查询语言的专业知识。该技术允许最终用户查询存储在关系数据库中的信息,而无需学习正式的查询语言。该技术基于一项研究,该研究将先进的自然语言处理技术与自动程序合成和修复相结合。这种方法的一个主要优点是它是数据库无关的,不需要最终用户知道数据库schema.This奖项反映了NSF的法定使命,并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

项目成果

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

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

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

Isil Dillig其他文献

Metric Program Synthesis
度量程序综合
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    John Feser;Isil Dillig;Armando Solar-Lezama
  • 通讯作者:
    Armando Solar-Lezama

Isil Dillig的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Isil Dillig', 18)}}的其他基金

FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations
FMITF:轨道 I:机器人从演示中学习的程序综合
  • 批准号:
    2319471
  • 财政年份:
    2023
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes
协作研究:SHF:核心:媒介:模式更改的程序综合
  • 批准号:
    2210831
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Expeditions: Collaborative Research: Understanding the World Through Code
探险:合作研究:通过代码了解世界
  • 批准号:
    1918889
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
SHF:中:协作研究:连接自动形式推理和持续优化以实现可证明安全的深度学习
  • 批准号:
    1901376
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Effective Formal Reasoning for Mobile Malware
SaTC:核心:媒介:协作:移动恶意软件的有效形式推理
  • 批准号:
    1908304
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: Small: Scalable Program Synthesis using Counterexample-Guided Abstraction Refinement
SHF:小型:使用反例引导的抽象细化的可扩展程序综合
  • 批准号:
    1811865
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science
SHF:媒介:协作研究:数据科学计算机辅助编程
  • 批准号:
    1762299
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
SHF:Small:Analysis, Repair, and Synthesis for k-Safety
SHF:Small:k-安全的分析、修复和合成
  • 批准号:
    1712067
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
CAREER: UNITY: Bridging the Gap Between Program Analyzers and Deductive Verifiers via Abductive Reasoning
职业:UNITY:通过归纳推理弥合程序分析器和演绎验证器之间的差距
  • 批准号:
    1453386
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant

相似海外基金

CRII: CHS: Scalable Interactive Image Segmentation through Hierarchical, Query-Driven Processing
CRII:CHS:通过分层、查询驱动的处理进行可扩展的交互式图像分割
  • 批准号:
    1657020
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
III: Small: Interactive Construction of Complex Query Models
III:小:复杂查询模型的交互构建
  • 批准号:
    1617408
  • 财政年份:
    2016
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Interactive query system for Internet Protocol TV (IPTV) T-commerce applications
互联网协议电视(IPTV)T商务应用交互式查询系统
  • 批准号:
    418007-2011
  • 财政年份:
    2011
  • 资助金额:
    $ 5万
  • 项目类别:
    Engage Grants Program
Grid-Based Query Creation for Interactive Image Search
用于交互式图像搜索的基于网格的查询创建
  • 批准号:
    22700093
  • 财政年份:
    2010
  • 资助金额:
    $ 5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
III-CXT-Large: Collaborative Research: Interactive and Intelligent searching of biological images by query and network navigation with learning capabilities.
III-CXT-Large:协作研究:通过具有学习功能的查询和网络导航对生物图像进行交互式和智能搜索。
  • 批准号:
    0808661
  • 财政年份:
    2008
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
III-CXT-Large: Collaborative Research: Interactive and intelligent searching of biological images by query and network navigation with learning capabilities
III-CXT-Large:协作研究:通过具有学习能力的查询和网络导航对生物图像进行交互式和智能搜索
  • 批准号:
    0808624
  • 财政年份:
    2008
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
III-CXT-Large : Collaborative Research: Interactive and intelligent searching of biological images by query and network navigation with learning capabilities
III-CXT-Large:协作研究:通过具有学习能力的查询和网络导航对生物图像进行交互式和智能搜索
  • 批准号:
    0808632
  • 财政年份:
    2008
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
III-CXT-Large: Collaborative Research: Interactive and intelligent searching of biological images by query and network navigation with learning capabilities
III-CXT-Large:协作研究:通过具有学习能力的查询和网络导航对生物图像进行交互式和智能搜索
  • 批准号:
    0808770
  • 财政年份:
    2008
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Application of knowledge-discovery in databases to Interactive Query-by-Sketch Image Retrieval
数据库知识发现在交互式草图图像检索中的应用
  • 批准号:
    18700140
  • 财政年份:
    2006
  • 资助金额:
    $ 5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Interactive Handwritten Database Query Research
交互式手写数据库查询研究
  • 批准号:
    9732914
  • 财政年份:
    1998
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了