Случай 1.1: от одного или менее к одному или менее
Случай 1.2: от ровно одного к одному или менее
Случай 1.3: от одного или более к одному или менее
Случай 1.4: от нуля или более к одному или менее
Случай 2.1: от одного или менее к ровно одному
Случай 2.2: от ровно одного к ровно одному
Случай 2.3: от одного или более к ровно одному
Случай 2.4: от нуля или более к ровно одному
Случай 3.1: от одного или менее к одному или более
Случай 3.2: от ровно одного к одному или более
Случай 3.3: от одного или более к одному или более
Случай 3.4: от нуля или более к одному или более
Случай 4.1: от одного или менее к нулю или более
Случай 4.2: от ровно одного к нулю или более
Случай 4.3: от одного или более к нулю или более
Случай 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 – это само это спаривание.
Как вы думаете, имеется ли связь между тем понятием связей, которое было определено в этой статье, и математическим понятием бинарного отношения? И имеется ли связь между связями и отношениями, как они определяются в реляционной модели? И почему, по вашему мнению, реляционная модель получила такое название?