* 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.