Rel: A Programming Language for Relational Data

Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika·April 14, 2025

Summary

Rel is a relational programming language for complex applications, combining query and programming capabilities. Accessible via Snowflake or Python, it's used in large enterprises for tasks like fraud detection and supply chain management. Future developments aim to enhance type systems, integrate constraint databases, and improve operational semantics.

Advanced features