* Roy Souther:
> In what way could a database like PostgreSQL not be "faithful to
> relational theory"? Does he give any explanation as to what that means?
My guess: In SQL (and in PostgreSQL as a result), relations aren't
sets, aren't first-class, and the underlying logic is not Boolean.