Semantic Constraints In Sql