[devel] дизъюнкция зависимостей

[Alexey Tourbin]

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
> матемимтически это другая функция (для двух элементов функция 
> нечётности), но не менее редкая в практической жизни, чем вторая. 

Ну да.
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20070915/98af67a2/attachment-0002.bin>