A Formal Language for Data Definitions | Hacker News Reader