There are 0 repository under relation-algebra topic.
Algebras for qualitative reasoning about time, space, etc.
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
Change the relation algebra to sql query using antlr4