论文标题
DBSP：自动增量视图维护丰富的查询语言
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
论文作者
论文摘要
增量视图维护长期以来一直是数据库理论中的中心问题。已经提出了许多解决方案，用于限制类别的数据库语言，例如关系代数或数据库。这些技术并不能自然地推广到更丰富的语言。在本文中，我们通过3个步骤为此问题提供了一个普遍的解决方案：（1）我们描述了一种简单但表达的语言，称为DBSP，用于描述数据流的计算； （2）我们提供了一种通用算法，用于解决任意DBSP程序的增量视图维护问题，并且（3）我们展示了使用DBSP使用DBSP来模拟许多富于许多丰富的数据库查询语言（包括完整的关系查询，单调和非单声音递归以及流式汇总））。结果，我们为所有这些丰富的语言获得有效的增量视图维护技术。
Incremental view maintenance has been for a long time a central problem in database theory. Many solutions have been proposed for restricted classes of database languages, such as the relational algebra, or Datalog. These techniques do not naturally generalize to richer languages. In this paper we give a general solution to this problem in 3 steps: (1) we describe a simple but expressive language called DBSP for describing computations over data streams; (2) we give a general algorithm for solving the incremental view maintenance problem for arbitrary DBSP programs, and (3) we show how to model many rich database query languages (including the full relational queries, grouping and aggregation, monotonic and non-monotonic recursion, and streaming aggregation) using DBSP. As a consequence, we obtain efficient incremental view maintenance techniques for all these rich languages.
