On Tuesday, October 9, 2018, Imai, Yoshikazu <imai(dot)yoshikazu(at)jp(dot)fujitsu(dot)com>
wrote:
>
> Are there any rows which can satisfy the ct's CHECK constraint? If not,
> why we
> allow creating table when check constraint itself is contradicted?
>
I'd bet on it being a combination of complexity and insufficient expected
benefit. Time is better spent elsewhere. Mathmatically proving a
contradiction in software is harder than reasoning about it mentally.
David J.