Должен сразу признаться, что приведенные

Случай 4.4: от нуля или более к нулю или более

Должен сразу признаться, что приведенные термины все еще не являются настолько отчетливо ясными, как бы мне хотелось. Например, в случае «от одного или менее к одному или более» должно быть ясно, что «один или менее» означает, что для каждого b имеется не более одного a, а не наоборот, и что «один или более» означает, что для каждого a имеется не менее одного b, а не наоборот. Так что, возможно, я все еще нахожусь в поиске лучших терминов … но пока этих терминов нет, я думаю, что могут послужить те, которые приведены выше. Замечание: В связи с этим Хью Дарвен предложил следующую числовую замену для фраз «не больше одного» (и т.д.):

один или менее	1-
ровно один	1
один или более	1+
ноль или более	0+

При использовании этой замены «от одного или менее к нулю или более» (например) становится «от 1- к 0+» (или, что, возможно, лучше, «от 1-:0+»). Эта нотация, по крайней мере, является краткой, в ней не используются слова естественного языка, и она работает в более экзотических случаях, таких как «от ровно одного к не более двух» (1:2-); но и она не кажется мне совершенной.

Я хотел бы оставить для вас несколько вопросов для размышления. В этой статье (среди прочего) я предложил точные определения терминов функция, соответствие один-к-одному, соответствие многие-к-одному и соответствие многие-ко-многим. Теперь приведу точное определение бинарного отношения (в математическом смысле этого термина): бинарное отношение (binary relation) – Пусть A и C – это множества, не обязательно различные.Тогда бинарное отношение r – это правило, спаривающее каждый элемент множества A (области определения r) с одним или большим числом элементов множества C (области значений r); эквивалентно, можно сказать, что r – это само это спаривание.

Как вы думаете, имеется ли связь между тем понятием связей, которое было определено в этой статье, и математическим понятием бинарного отношения? И имеется ли связь между связями и отношениями, как они определяются в реляционной модели? И почему, по вашему мнению, реляционная модель получила такое название?


Содержание  Назад  Вперед

---

---