[sgarland]

Short of academic languages like D, nothing faithfully implements the relational model. Some compromises are necessary to make it useful for practical applications, hence SQL.

[eru]

Have you looked at Datalog recently?

SQL has other warts, apart from not being completely relational.