DRAFT: simple subqueries with DNF#4051

Draft

robacourt wants to merge 75 commits intomainfrom

rob/simple-subqueries-with-dnf

Commits on Apr 8, 2026

Oracle: Add CHECK_TIMEOUT
robacourt
committed
Oracle: Remove where clauses with two identical subqueries
robacourt
committed
Oracle: make all queries optimised
robacourt
committed
Oracle: Add more variation
robacourt
committed
Oracle: Allow idential subqueries
robacourt
committed
Fix bug caused by typo
robacourt
committed
Revert "Fix head-of-line blocking in SLC for subquery shapes via ETS link-values cache and inverted index (#3937)"
robacourt
committed
Remove: sync-service: always route subquery shapes in filter
robacourt
committed
Remove: SLC: remove Materializer.get_all_as_refs
robacourt
committed
Another PR: Introduce active_conditions wire format for DNF visibility

robacourt
and
claude
committed
Remove: Add debug.md
robacourt
committed
Docs: Add docs
robacourt
committed
Docs: Document LSN-based move-in splice triggers
robacourt
committed
Docs: Add prototype-issues.md
robacourt
committed
Docs: Add filter algorythm
robacourt
committed
Docs: Add RFC
robacourt
committed
Docs: Add to prototype-issues.md
robacourt
committed
Docs: Update RFC
robacourt
committed
Docs: Add implimentation plan
robacourt
committed
Docs: Add negation plan
robacourt
committed
Update client
robacourt
committed
Docs: Add negation.md
robacourt
committed
Update sync-server
robacourt
committed
Buffer: remove ++
robacourt
committed
Move buffering to buffering state module
robacourt
committed
Update @spec
robacourt
committed
Move drain queue to steady
robacourt
committed
Return actions
robacourt
committed
Format where_clause_generator.ex
robacourt
committed
Add start_move_in_query as action
robacourt
committed
Update tests
robacourt
committed
Hide Buffering from consumer
robacourt
committed
Remove duplication by adding NoSubqueries module
robacourt
committed
Don't acumulate batches
robacourt
committed
REMOVE: skip hacked Filter test
robacourt
committed
Fix warning
robacourt
committed
Docs: Add Filter plan
robacourt
committed
Update WhereClause to accept subquery function
robacourt
committed
Docs: Updated filter plan to remove hack
robacourt
committed
Docs: Update filter plan
robacourt
committed
Add SubqueryIndex storage and static registration (Stage 1)

robacourt
and
claude
committed
Add callback-based subquery evaluation via SubqueryIndex (Stage 2)

robacourt
and
claude
committed
Seed and maintain dynamic membership from consumer runtime (Stage 3)

robacourt
and
claude
committed
Use reverse index for subquery routing in Filter (Stage 5)

robacourt
and
claude
committed
Remove legacy always-route path, use index for all subquery routing (Stage 6)

robacourt
and
claude
committed
Finish off filter
robacourt
committed
Docs: update filter docs
robacourt
committed
Really finish off filter
robacourt
committed
Add ELECTRIC_SUBQUERY_BUFFER_MAX_TRANSACTIONS to limit buffering during move-in

robacourt
and
claude
committed
Client: fix tests
robacourt
committed
Client - format tests
robacourt
committed
REMOVE: add reviews
robacourt
committed
Consumer redesign part 1
robacourt
committed
Introduce ResultStream
robacourt
committed
Support UUID
robacourt
committed
Refactor Default
robacourt
committed
Fix nil event handler
robacourt
committed
Support truncate
robacourt
committed
Subscribe and unsubscribe to LSN updates
robacourt
committed
Reduce message passing for NOT IN subquery
robacourt
committed
Fix race condition of missed lsn update with queued moves
robacourt
committed
Make :materializer_changes synchronous
robacourt
committed
Get lastest lsn when subscribing to it
robacourt
committed
Update index as soon as move is enqueued
robacourt
committed
Remove redundant function head
robacourt
committed
Refactor filter
robacourt
committed
Add subquery node tests
robacourt
committed
Reject shapes that have subqueries but fail DNF decomposition
robacourt
committed
Use proper field name not
robacourt
committed
Remove unnessasary match
robacourt
committed
Optimise Filter by having reverse index per node
robacourt
committed
Skip Repatch for Oracle tests
robacourt
committed
Set txn ids for buffered transactions
robacourt
committed
Reject shapes that fail DnfPlan on creation
robacourt
committed
Format
robacourt
committed