Author the new oneДавайте Вы сначала определитесь, а дальше мы продолжим, если пожелаете.
А чего тут продолжать?

1. select-функция в check constraint - это очевидно "левый" механизм, который просто не может нормально работать. Имхо это очевидно любому, кто задумывается, как вообще работает база. Мне, признаться, трудно поверить, что в PG есть такая лажа.

2. Наиболее нормально имхо делать такую проверку на уровне ХП бизнес-логики, а не на уровне декларативной целостности.

3. В Oracle есть пара хакерских путей сделать такое ограничение на декларативном уровне. Но не думаю, что стоит так делать.

Author the new oneавторselect-функция в check constraint - это очевидно "левый" механизм,
Она и в оракле есть вообще-то - with check option. Впрочем, можете и в это не верить.
В то, что with check option - это пользовательская функция, я пожалуй что действительно не поверю. Спасибо за любезное разрешение. В то, что это эффективное средство поддержания декларативной целостности на уровне таблиц, я также, пожалуй, не поверю.

ViPRosэтой фигни явно не хватает в мсскл и это меня БЕСИТ!!!!
Знаете, уж на что я лоялен и "это можно сделать", но про эту фигню я бы восемь раз подумал и таки сказал "нормально сделать нельзя". В check constraints можно применять только детерминированные функции (равно как и в function-based indexes итп) если мы хотим, чтобы наша программа не была непредсказуемо неработающей.