Postgres Pro
Downloads
Home   >   mailing lists

Re: Why we allow CHECK constraint contradiction? - Mailing list pgsql-hackers

From David G. Johnston
Subject Re: Why we allow CHECK constraint contradiction?
Date
Msg-id CAKFQuwbV-c2qNH1wXD-cDp5gugJw3ickZ7XZbkqxTtTzRY-=FA@mail.gmail.com
Whole thread Raw
In response to Why we allow CHECK constraint contradiction?  ("Imai, Yoshikazu" <imai.yoshikazu@jp.fujitsu.com>)
Responses Re: Why we allow CHECK constraint contradiction?
List pgsql-hackers
Tree view
On Tuesday, October 9, 2018, Imai, Yoshikazu <imai.yoshikazu@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.

pgsql-hackers by date:

Previous
From: "Imai, Yoshikazu"
Date:
Subject: Why we allow CHECK constraint contradiction?
Next
From: Corey Huinker
Date:
Subject: Re: Why we allow CHECK constraint contradiction?