Datalog
and SQL
The relational algebra you just built, in practice.