III: Small: Datalog with Aggregates: Complexity, Optimization, Evaluation

III：小：带有聚合的数据记录：复杂性、优化、评估

• 批准号: 2314527
• 负责人: Dan Suciu
• 金额: $ 60万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-09-01 至 2026-08-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2314527&HistoricalAwards=false
• 关键词: III; Small; Datalog; Aggregates; Complexity

Computer applications are increasingly data driven. They rely on processing large datasets from which they learn models that drive the application. Machine learning on massive datasets is routinely done today by leading software companies and academic institutions, however, using ML tools effectively is still an obscure practice mostly done by ML experts. Future applications of ML will be developed by data scientists, who need friendly tools to help them manage data of massive scale. The goal of this project is to lay the foundations for building such tools. It extends relational databases that are already widely used today with the ability to perform iterations that are indispensable in machine learning applications.Relational databases are some of the best engineered systems to date, and they are used routinely to process datasets from small to massive. But the query language that they support, SQL, is only optimized for queries that do not require iteration. Yet virtually all modern data science tasks require some form of iteration. As SQL does not support iteration well, data scientists do not use SQL for most of their needs. Datalog is a query language proposed decades ago, precisely to support iteration, however, datalog does not support aggregates, such as summation or counting, which are indispensable in any data science task. This project overcomes the fundamental roadblock that prevents datalog from supporting aggregates by using a new abstraction, where standard relations are extended to relations over a semiring. This modification allows all traditional SQL optimizations to be carried over to datalog, and at the same time it allows recursion and aggregates to be interleaved freely.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.

计算机应用程序越来越多地驱动数据。他们依靠处理大型数据集，从中学习驱动应用程序的模型。领先的软件公司和学术机构通常会在大规模数据集上进行机器学习，但是，使用ML工具有效地是ML专家所做的晦涩的实践。 ML的未来应用将由数据科学家开发，他们需要友好的工具来帮助他们管理大规模数据。该项目的目的是为建立此类工具奠定基础。它扩展了当今已经广泛使用的关系数据库，能够执行机器学习应用程序中必不可少的迭代。划分数据库是迄今为止最好的工程系统，并且通常将它们用于处理从小到大型的数据集。但是，他们支持的查询语言SQL仅针对不需要迭代的查询进行了优化。然而，几乎所有现代数据科学任务都需要某种形式的迭代。由于SQL不能很好地支持迭代，因此数据科学家并未将SQL用于大多数需求。 Datalog是几十年前提出的一种查询语言，恰恰是为了支持迭代，但是，DataLog不支持汇总（例如求和或计数），这在任何数据科学任务中都是必不可少的。该项目克服了基本的障碍，该障碍通过使用新的抽象来防止数据支持支持骨料，在该抽象中，标准关系扩展到半度性的关系。 这种修改使所有传统的SQL优化都可以传递到DataLog，同时允许递归和骨料自由交织。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的审查标准来通过评估来获得支持的。