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.