III: Small: Automatic Detection and Resolution of Anti-Patterns in Database Applications

III:小:数据库应用程序中反模式的自动检测和解决

基本信息

  • 批准号:
    1908984
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2019
  • 资助国家:
    美国
  • 起止时间:
    2019-08-01 至 2024-07-31
  • 项目状态:
    已结题

项目摘要

Designing and deploying data-intensive applications is easier now than it ever has been due to the proliferation of data science and database-as-a-service platforms. Data scientists can create applications in a short amount of time that have the potential to reach millions of users and that need to efficiently operate on large amounts of data. Designing database applications is, however, non-trivial since scientists can unknowingly fall into the trap of using an intuitive solution to a problem that is ineffective and often counterproductive, a so called "anti-pattern," thus violating fundamental design principles. The goal of this project is to improve the quality of database applications through a new holistic approach to automatically finding, ranking, and fixing anti-patterns. Studying and developing these techniques is essential in order to support future data science applications that need to efficiently process large amounts of data. The proposed research will make it easier for data scientists to develop applications that: (1) support much larger data sets and more complex workloads; (2) can evolve with less maintenance effort; and (3) are more accurate and secure than what is possible today. As a result, this will accelerate data science and reduce the labor cost of designing and maintaining database applications.The technical aims of the project are divided into three interacting research thrusts: (1) finding anti-patterns in database applications with high precision and recall; (2) ranking the impact of different anti-patterns on performance, maintainability, accuracy, and security; and (3) fixing anti-patterns by altering the logical and physical design of the database and rewriting queries. This research will develop new mechanisms for automated detection and resolution of anti-patterns that go beyond what is achievable in existing systems. The proposed techniques will enable data scientists to develop more performant, maintainable, accurate, and secure applications and will be implemented in a new open-source toolchain. The techniques and methods developed from this research will offer benefits outside of the context of database management systems because it will remove a significant impediment in deriving the full benefits of data-driven decision-making applications. This research effort will advance the understanding of applying program analysis and refactoring techniques to improve database applications.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.
由于数据科学和数据库即服务平台的激增,现在设计和部署数据密集型应用程序比以往任何时候都要容易。数据科学家可以在很短的时间内创建应用程序,这些应用程序有可能覆盖数百万用户,并且需要对大量数据进行有效操作。然而,设计数据库应用程序并非易事,因为科学家可能在不知不觉中陷入使用直观的解决方案来解决无效且通常适得其反的问题的陷阱,即所谓的“反模式”,从而违反了基本的设计原则。这个项目的目标是通过一种新的整体方法来自动查找、排序和修复反模式,从而提高数据库应用程序的质量。为了支持未来需要有效处理大量数据的数据科学应用,研究和开发这些技术是必不可少的。拟议的研究将使数据科学家更容易开发应用程序:(1)支持更大的数据集和更复杂的工作负载;(2)可以以较少的维护工作量进行进化;(3)比目前的技术更准确、更安全。因此,这将加速数据科学,并减少设计和维护数据库应用程序的人工成本。该项目的技术目标分为三个相互作用的研究重点:(1)在数据库应用程序中寻找高精度和高召回率的反模式;(2)对不同反模式对性能、可维护性、准确性和安全性的影响进行排序;(3)通过改变数据库的逻辑和物理设计以及重写查询来修复反模式。这项研究将开发新的机制,用于自动检测和解决反模式,这在现有系统中是无法实现的。所提出的技术将使数据科学家能够开发更高性能、可维护、准确和安全的应用程序,并将在一个新的开源工具链中实现。从这项研究中开发的技术和方法将提供数据库管理系统上下文之外的好处,因为它将消除在获得数据驱动的决策应用程序的全部好处方面的一个重大障碍。这项研究工作将促进应用程序分析和重构技术来改进数据库应用程序的理解。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Sia: Optimizing Queries using Learned Predicates
Sia:使用学习谓词优化查询
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Qi Zhou, Joy Arulraj
  • 通讯作者:
    Qi Zhou, Joy Arulraj
Interactive Demonstration of SQLCheck
SQLCheck的交互式演示
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
SPES:一种在包语义下证明查询等价性的符号方法
SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns
SQLCheck:SQL 反模式的自动检测和诊断
{{ 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 }}

Joy Arulraj其他文献

Accelerating Video Analytics
加速视频分析
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Joy Arulraj
  • 通讯作者:
    Joy Arulraj
Leveraging the short-term memory of hardware to diagnose production-run software failures
利用硬件的短期记忆来诊断生产运行的软件故障
Revisiting Query Performance in GPU Database Systems
重新审视 GPU 数据库系统中的查询性能
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jiashen Cao;Rathijit Sen;Matteo Interlandi;Joy Arulraj;Hyesoon Kim
  • 通讯作者:
    Hyesoon Kim
Production-run software failure diagnosis via hardware performance counters
通过硬件性能计数器进行生产运行软件故障诊断
Testing DBMS Performance with Mutations
使用突变测试 DBMS 性能
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Xinyu Liu;Qi Zhou;Joy Arulraj;A. Orso
  • 通讯作者:
    A. Orso

Joy Arulraj的其他文献

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

{{ truncateString('Joy Arulraj', 18)}}的其他基金

CAREER: Data Management for Exploratory Video Analytics
职业:探索性视频分析的数据管理
  • 批准号:
    2238431
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CRII: III: Buffer Management for Non-Volatile Memory
CRII:III:非易失性内存的缓冲区管理
  • 批准号:
    1850342
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

SaTC: CORE: Small: Automatic Exploits Detection and Mitigation for Industrial Control System Protocols
SaTC:核心:小型:工业控制系统协议的自动漏洞检测和缓解
  • 批准号:
    2345563
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Automatic Identification of Privilege-guard Variables for Data-only Attacks and Defenses
SaTC:核心:小型:自动识别纯数据攻击和防御的权限保护变量
  • 批准号:
    2247652
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: Automatic Detection and Repair of Side Channel Vulnerabilities in Software Code
SaTC:CORE:小型:自动检测和修复软件代码中的侧信道漏洞
  • 批准号:
    2245344
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: Sound Automatic Exploit Generation
SaTC:核心:小:声音自动漏洞利用生成
  • 批准号:
    2234257
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CCF: SHF: Small: Self-Adaptive Interference-Avoiding Wireless Receiver Hardware through Real-Time Learning-Based Automatic Optimization of Power-Efficient Integrated Circuits
CCF:SHF:小型:通过基于实时学习的高能效集成电路自动优化实现自适应干扰避免无线接收器硬件
  • 批准号:
    2218845
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
NSF-BSF:SHF:小型:高效、自动且值得信赖的智能合约验证
  • 批准号:
    2110397
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Automatic Exploits Detection and Mitigation for Industrial Control System Protocols
SaTC:核心:小型:工业控制系统协议的自动漏洞检测和缓解
  • 批准号:
    2051621
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
RI: Small: Accelerating Machine Learning via Randomized Automatic Differentiation
RI:小型:通过随机自动微分加速机器学习
  • 批准号:
    2007278
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Automatic, adaptive and massive parallel data processing on GPU/RDMA clusters in both synchronous and asynchronous modes
SHF:小型:在同步和异步模式下在 GPU/RDMA 集群上自动、自适应和大规模并行数据处理
  • 批准号:
    2005884
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Adaptive control for agile automatic welding in small batches
小批量敏捷自动焊接的自适应控制
  • 批准号:
    530116-2018
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Collaborative Research and Development Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了