Readyset компилирует SQL-запросы в dataflow-графы вместо повторного выполнения
The Query Transformation Pipeline
Readyset компилирует каждый запрос в dataflow-граф, который инкрементально поддерживает результат при изменениях данных, превращая чтения в поиск по материализованному представлению. Но компилятор накладывает жёсткие структурные ограничения: только бинарные соединения по равенству, никаких коррелированных подзапросов, ограниченный набор join-типов. Статья разбирает трёхблочный конвейер перезаписи — нормализацию, глубокие преобразования и очистку — который приводит произвольный SQL к канонической форме, пригодной для компиляции.
Традиционные движки оптимизируют то, как выполнить запрос при каждом его запуске. Readyset оптимизирует один раз, в момент создания кэша, а затем поддерживает результат инкрементально навсегда.