David I agree that much of this discussion is based on semantics and your proposal "that any logic, the avoidance of which may produce rows in the database which do not reflect true propositions, belongs inside the DBMS and should be a function for the DBMS to enforce." is correct. I would add that any logic that does not directly address these requirements be placed elsewhere.

[edited to protect the good name of Mike C by using my full name}

Mike Du Bois

All this talk of beer and its too early. I think I will have an Irish coffee instead.