Lambda the Ultimate

Declarative/functional programming (esp. Haskell); lambda
calculus;
data structuring and data models for commercial data
processing;
relational algebra as a declarative language: how did Codd's
gold get turned into the dirt of SQL?