Классика баз данных - статьи

       

По этой причине мы можем


По этой причине мы можем сказать, что связь из A в C является связью многие-к-одному (обратите внимание, что здесь «многие» не включают ноль). Более того, часто мы более конкретно называем эту связь (для выделения) связью многие-к-одному «на» onto»), поскольку по определению в C нет такого элемента c, который не был бы образом какого-то элемента из A.

Что же касается связи от множества A к области значений B, то мы называем эту связь связью многие-к-одному «в» into»), поскольку в общем случае в B имеются некоторые элементы b, которые не являются образами никаких элементов A. Замечание: Конечно, связь многие-к-одному «на» является частным случаем связи многие-к-одному «в». Кроме того, следует заметить, что в случае связи многие-к-одному «в» (но не многие-к-одному «на») спецификатор многие-к-одному используется немного неаккуратно. См. разд. «Соответствия» (подразд. «Соответствие многих-к-одному»).

Примеры:

  1. Телефонный пример (где A является множеством A-Z, B является множеством целых чисел 0-9, и C является множеством целых чисел 2-9) – это пример связи от A в B многие-к-одному «на»– и, конечно, связи многие-к-одному «в» от A в C.
  2. Аналогично, функция, которая отображает неотрицательные целые числа x в их квадраты x² (где A и B являются множествами неотрицательных целых числе, а C – множеством квадратов целых чисел), также представляет пример связи многие-к-одному «в» от A в B и связи многие-к-одному «на» от A в C.


Дополнительная терминология: Связь многие-к-одному называют также сюръективной функцией (или отображением), или, для краткости, просто сюръекцией. Для полноты приведу ее определение: Сюръекция – Пусть f – это функция с областью определения A и областью значений B. Тогда f является сюръекцией (называемой также связью многие-к-одному «на») тогда и только тогда, когда каждый элемент b в B представляет собой образ не менее одного элемента a из A – другими словами, тогда и только тогда, когда множество значений f совпадает с областью значений.


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