algebra-dag-0.1.0.0: Infrastructure for DAG-shaped relational algebra plans

Safe Haskell	None
Language	Haskell98

Database.Algebra.Rewrite

Contents

DAG rewriting
Rewrite rules
DAG matching
DAG traversal
Property inference
Pattern syntax

Synopsis

DAG rewriting

module Database.Algebra.Rewrite.DagRewrite

Rewrite rules

module Database.Algebra.Rewrite.Rule

DAG matching

module Database.Algebra.Rewrite.Match

DAG traversal

module Database.Algebra.Rewrite.Traversal

Property inference

module Database.Algebra.Rewrite.Properties

Pattern syntax

module Database.Algebra.Rewrite.PatternConstruction