* Vincenzo Romano (vincenzo.romano@notorand.it) wrote:
> Which kind of information are you thinking about?
> I think that the stuff you put into the CHECK condition for the table
> will say it all.
The problem is that CHECK conditions can contain just about anything,
hence the planner needs to deal with that possibility.
> Infact there you have not just the column names with relevant values, but the
> actual expression(s) to be checked,
Yes, that would be the problem. Proving something based on expressions
is alot more time consuming and complicated than being explicitly told
what goes where.
Stephen