The Database Programmer: Theorems Regarding Business Logic
database-programmer.blogspot.com