Datalog

Another query language
cleaner
closer to a “logic” notation, prolog
more convenient for analysis
can express queries that are not expressible in relational algebra or SQL (recursion).
No grouping and aggregation, bags, orderby.