hsdatalog A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).