pgsql: Enable btree_predicate_proof() to make proofs involving

Поиск
Список
Период
Сортировка
От tgl@postgresql.org (Tom Lane)
Тема pgsql: Enable btree_predicate_proof() to make proofs involving
Дата
Msg-id 20061228195305.E50059FA5CE@postgresql.org
обсуждение исходный текст
Список pgsql-committers
Дерево обсуждения 
Log Message:
-----------
Enable btree_predicate_proof() to make proofs involving cross-data-type
predicate operators.  The hard stuff turns out to be already done in the
previous commit, we need merely open the floodgates...

Modified Files:
--------------
    pgsql/src/backend/optimizer/util:
        predtest.c (r1.11 -> r1.12)
        (http://developer.postgresql.org/cvsweb.cgi/pgsql/src/backend/optimizer/util/predtest.c.diff?r1=1.11&r2=1.12)

В списке pgsql-committers по дате отправления:

Предыдущее
От: momjian@postgresql.org (Bruce Momjian)
Дата:
Сообщение: pgsql: Done: < * Move some /contrib modules out to their own project
Следующее
От: tgl@postgresql.org (Tom Lane)
Дата:
Сообщение: pgsql: Remove caveat about avoiding cross-type operators in constraints