On Sat, Sep 15, 2007 at 04:06:12PM +0400, Хихин Руслан wrote:
> Проверка наоборот упростится - если есть mysq	l, то postgresql можно не 
> проверять.

xor это я имел ввиду "исключающее или".  Требуется один из backend'ов:
либо mysql, либо postgresql, но не оба вместе.

То есть, выражаясь не слишком строго, можно сказать вот что: rpm дает
две булевы функции для указания зависимостей: конъюнкция (Requires: A, B)
и отрицание (Conflicts: C).  Из теории известно, что такая система
булевых функций полна, то есть дизъюнкцию можно эмулировать за счёт
преумножения сущностей.

> PS Тут есть одна тонкость русского языка - 
> A || B || С = Истина Если установлен хотя-бы один.
> (точное математическое или)
> 001
> 011
> 111
> ....
> 010 
> и т.д
>  Не менее важен случай, что 
> A || B || С = Истина, если установлен ТОЛЬКО один:
> 100
> 010
> 001
> матемимтически это другая функция (для двух элементов функция 
> нечётности), но не менее редкая в практической жизни, чем вторая. 

Ну да.