The Database Programmer: Theorems Regarding Business Logic | Dark Hacker News