I-Corps: An Interactive Query Interface
I-Corps: An Interactive Query Interface
批准号:
1831005
负责人:
Isil Dillig
金额:
$5.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-04-01 至 2018-09-30
中文摘要
这个i-Corps项目的更广泛的影响/商业潜力将使公司和最终用户能够更容易地从数据源提取相关信息。该系统可以为包括电子商务、商业智能、数据库和CAN系统在内的广泛的公司带来好处。据设想,这项技术将以两种方式使用:第一,公司可以在内部使用该系统,使员工能够更容易、更快地访问数据,从而减少对数据库管理员的依赖,并降低成本。其次,公司可以在外部使用该系统,为客户提供更好的搜索界面。此外,这项技术还可能对学术研究人员有用,特别是在社会科学和自然科学领域,因为他们可以很容易地提取相关数据。这个i-Corps项目提供了一个通过编写英语句子从数据库中提取数据的接口。尽管关系数据库是存储信息的最常见选择,但从关系数据库检索相关的数据子集需要具备正式查询语言的专业知识。这项技术允许终端用户查询存储在关系数据库中的信息,而不必学习正式的查询语言。这项技术是基于一项研究,该研究将先进的自然语言处理技术与自动程序合成和修复相结合。这种方法的一个关键优势是它与数据库无关,不需要最终用户了解数据库模式。这一奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations
-
批准号:2319471
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2023
-
负责人:Isil Dillig
-
依托单位:
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes
-
批准号:2210831
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2022
-
负责人:Isil Dillig
-
依托单位:
Expeditions: Collaborative Research: Understanding the World Through Code
-
批准号:1918889
-
项目类别:Continuing Grant
-
资助金额:$77.68万
-
财政年份:2020
-
负责人:Isil Dillig
-
依托单位:
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
-
批准号:1901376
-
项目类别:Standard Grant
-
资助金额:$49.47万
-
财政年份:2019
-
负责人:Isil Dillig
-
依托单位:
SaTC: CORE: Medium: Collaborative: Effective Formal Reasoning for Mobile Malware
-
批准号:1908304
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2019
-
负责人:Isil Dillig
-
依托单位:
SHF: Small: Scalable Program Synthesis using Counterexample-Guided Abstraction Refinement
-
批准号:1811865
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2018
-
负责人:Isil Dillig
-
依托单位:
SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science
-
批准号:1762299
-
项目类别:Continuing Grant
-
资助金额:$105.0万
-
财政年份:2018
-
负责人:Isil Dillig
-
依托单位:
SHF:Small:Analysis, Repair, and Synthesis for k-Safety
-
批准号:1712067
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2017
-
负责人:Isil Dillig
-
依托单位:
CAREER: UNITY: Bridging the Gap Between Program Analyzers and Deductive Verifiers via Abductive Reasoning
-
批准号:1453386
-
项目类别:Continuing Grant
-
资助金额:$58.84万
-
财政年份:2015
-
负责人:Isil Dillig
-
依托单位:
海外基金