Relational
Learn and experiment relational algebra
Relational is primarily a tool to provide a workspace for experimenting with relational algebra, an offshoot of first-order logic.
This package provides a graphical user interface that can be used to execute relational queries.