Database.Algebra.Rewrite

DAG rewriting

Rewrite rules

DAG matching

DAG traversal

Property inference

Pattern syntax