On Tuesday, October 9, 2018, Imai, Yoshikazu <imai.yoshik...@jp.fujitsu.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.
