The semantics are simple and complete. Sql is based off a complete system (relational algebra), but the null handling results in degenerate cases.