A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).
chessai / hsdatalog Goto Github PK
View Code? Open in Web Editor NEWBDD-based implementation of Datalog
License: Other