OpenIVM: a SQL-to-SQL Compiler for Incremental Computations

被引:0
|
作者
Battiston, Ilaria [1 ]
Kathuria, Kriti [2 ]
Boncz, Peter [1 ]
机构
[1] Ctr Wiskunde & Informat, Amsterdam, Netherlands
[2] Univ Waterloo, Waterloo, ON, Canada
关键词
Incremental view maintenance; HTAP; compiler;
D O I
10.1145/3626246.3654743
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This demonstration presents a new Open Source SQL-to-SQL compiler for Incremental View Maintenance (IVM). While previous systems, such as DBToaster, implemented computational functionality for IVM in a separate system, the core principle of OpenIVM is to make use of existing SQL query processing engines and perform all IVM computations via SQL. This approach enables the integration of IVM in these systems without code duplication. Also, it eases its use in cross-system IVM, i.e. to orchestrate an HTAP system in which one (OLTP) DBMS provides insertions/updates/deletes (deltas), which are propagated using SQL into another (OLAP) DBMS, hosting materialized views. Our system compiles view definitions into SQL to eventually propagate deltas into the table that materializes the view, following the principles of DBSP. Under the hood, OpenIVM uses the DuckDB library to compile (parse, transform, optimize) the materialized view maintenance logic. We demonstrate OpenIVM in action (i) as the core of a DuckDB extension module that adds IVM functionality to it and (ii) powering cross-system IVM for HTAP, with PostgreSQL handling updates on base tables and DuckDB hosting materialized views on these.
引用
收藏
页码:516 / 519
页数:4
相关论文
共 50 条
  • [1] A SQL to C compiler in 500 lines of code
    Rompf, Tiark
    Amin, Nada
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [2] A development kit based on incremental computation for SQL
    Wu, B
    Liao, HS
    Song, K
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 41 - 46
  • [3] Solving SQL constraints by incremental translation to SAT
    Lohfert, Robin
    Lu, James J.
    Zhao, Dongfang
    NEW FRONTIERS IN APPLIED ARTIFICIAL INTELLIGENCE, 2008, 5027 : 669 - 676
  • [4] Functional Pearl: A SQL to C Compiler in 500 Lines of Code
    Rompf, Tiark
    Amin, Nada
    PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 2 - 9
  • [5] Functional Pearl: A SQL to C Compiler in 500 Lines of Code
    Rompf, Tiark
    Amin, Nada
    ACM SIGPLAN NOTICES, 2015, 50 (09) : 2 - 9
  • [6] Incremental Checking of OCL Constraints with Aggregates Through SQL
    Oriol, Xavier
    Teniente, Ernest
    CONCEPTUAL MODELING, ER 2015, 2015, 9381 : 199 - 213
  • [7] Die SQL-norm (the SQL standard) the SQL standard
    Michels, Jan-Eike
    Kulkarni, Krishna
    Darwen, Hugh
    Farrar, Christopher M.
    Eisenberg, Andrew
    Mattos, Nelson
    2003, De Gruyter Oldenbourg (45):
  • [8] Expression of SQL statements of local SQL and SQL server 7.0
    He, Pin
    Zhu, Yu
    Chongqing Jianzhu Daxue Xuebao/Journal of Chongqing Jianzhu University, 2002, 24 (01):
  • [9] Translating Temporal SQL to Nested SQL
    Dyreson, Curtis
    Rani, Venkata A.
    PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016, 2016, : 157 - 166
  • [10] SQL-ASTERISK - A RECURSIVE SQL
    KOYMEN, K
    CAI, QJ
    INFORMATION SYSTEMS, 1993, 18 (02) : 121 - 128