RelationalAl: Systems and theory united against software complexity
CMU Database Group · 9:41
Rel (short for relation) is a declarative language built on the relational model and Datalog-style first-order logic, but designed as a full programming language with libraries so a query optimizer can see and optimiz...