ROADMAP.md

Project Roadmap

This document outlines the features implemented in Zodd and the future goals for the project.

Important

This roadmap is a work in progress and is subject to change.

Core Features

• Relation - sorted, deduplicated tuple collections
• Variable - incremental update lifecycle
• Iteration - fixed-point computation context
• gallop - exponential and binary search for filtering
• joinHelper - merge-join on key-value tuples
• joinInto - high-level join between variables
• Leaper - Treefrog Leapjoin interface
• ExtendWith - propose values from a relation
• FilterAnti - negation (filter out matching tuples)
• ExtendAnti - anti-join (filter to keep non-matching values)

Extra Features

• Negation primitives (anti-join and anti-extend)
• Aggregations
• Recursion limits
• Persistence
• Secondary indices
• Incremental maintenance
• Parallel execution
• CLI
• Streaming input
• Rule DSL
• Query planner
• Magic sets

Development and Testing

• Unit tests in each module
• Integration, regression, property-based tests, etc. in tests directory
• Benchmarks