openivm

Deep research reference on view matching (answering queries using views, materialized-view query rewriting, subsumption-based rewriting) spanning classical PODS/SIGMOD theory, the Goldstein-Larson matcher, Calcite's implementation, commercial systems (Oracle, SQL Server, DB2, Snowflake, BigQuery, Redshift, Databricks, Firebolt, ClickHouse), adjacent result/semantic caching, and Microsoft/Google computation-reuse work. Auto-loaded when discussing view matching, query rewriting with MVs, subsumption, cache-aware optimization, or integrating a matcher into OpenIVM.

Reference for Z-sets — the integer-weighted multiset algebra at the heart of DBSP, differential dataflow, and OpenIVM's delta tables. Focused on the algebra itself (definition, group structure, operators) and on its lineage (Green/Tannen K-relations, Koch's Z-relations, Naiad/differential dataflow). Mirrors the structure of Feldera's `01-zsets-and-dbsp.md` worked example. For DBSP system details see `explain-related-systems`; for the broader IVM operator theory see `explain-ivm`; for compilation/cost work see `incrementalization-strategies`.

Comprehensive reference for Incremental View Maintenance (IVM) algebraic rules, delta rules for all relational operators, multiplicity approaches, efficiency techniques, and correctness considerations. Auto-loaded when discussing IVM theory, delta computation, view maintenance algorithms, or operator incrementalization.

Reference material for IVM-related systems and papers — DBSP, DBToaster, pg_ivm, Snowflake Dynamic Tables, Materialize. Auto-loaded when discussing related work, comparisons, or IVM literature.

Reference for SQL MERGE statement and its application to IVM upsert patterns. Auto-loaded when discussing upserts, delta application, MERGE, INSERT OR REPLACE, or the CompileAggregateGroups/CompileSimpleAggregates/CompileProjectionsFilters functions.

Deep research reference on incrementalization strategies for IVM — higher-order deltas, factorized IVM, compilation-based approaches, algebraic optimizations, cost models, constraint exploitation, and emerging techniques. Auto-loaded when discussing how to make IVM faster, delta optimization, auxiliary views, higher-order IVM, F-IVM, CROWN, compilation for IVM, IVM cost models, or research directions.

Reference for dbt (data build tool) and LinkedIn Coral — SQL transformation frameworks relevant to IVM. Auto-loaded when discussing dbt models, incremental models, Coral SQL translation, cross-engine SQL compilation, or data transformation pipelines.