Relational an educational tool to provide a workspace for experimenting with relational algebra.
It provides GUI that can be used for executing relational queries, and also a command line interface and a Python library.
||Download setup||Download sources|
These are some valid queries
A ∪ B A ∩ B A ⋈ C σ (age==12) (A) π name,age (A) ρ age➡a,name➡n (A) A ∪ B ∪ σ id==3 (C)
Explaination of all the operators and their syntax can be found here.
Formal language definition can be read here.
Documentation on how the automatic casting is performed.