Пример отношения (в математическом смысле / реляционной алгебры), показанного в таблице SQL

Question

У меня есть таблица с заголовком "ID" (целое число), "Имя" (строка), "Адрес" (строка).

+---------------------+
|  ID | Name  | City  |
+---------------------+
| 1  | John  | London |
| 2  | Mary  | Paris  |
| 3  | Cris  | Tokio  |
+---------------------+

Не могли бы вы помочь мне и показать, как эта таблицаотношение?

Двоичное отношение - это набор упорядоченных пар, каждая пара - это отображение из набора A в набор B (например, A = {1,2,3} B = {A, B} => {1A, 2A, 2B, 3A} - это двоичное отношениемое дело?И что такое 3-кортеж («1 | Джон | Лондон»), если мне нужно иметь пары (а кортеж - не пара) - вторая часть этой пары (набор) просто всегда подразумевается?

Я думаю, что в моем случае это троичное отношение, у меня есть три набора (набор IS, набор Имен, набор городов), и заголовок таблицы не должен рассматриваться как набор, говорящий об отношениях (заголовок используется, потому что все 3-тупы будут упорядочены в соответствии с заголовком).Так что бинарное отношение совершенно не связано с моей таблицей. Я прав?

prooflink

Answer 1

1) Для заголовка таблицы:

отношение представляет собой набор из (заказанных) пар :

{ (ID, Integer), {Name, String}, {City, String) }

2) Для тела таблицы

отношение представляет собой набор из (заказанных) пар :

{ (ID, 1), (Name, John), (City, London),  
  (ID, 2), (Name, Mary), (City, Paris), 
  (ID, 3), (Name, Cris), (City, Tokio) }

Например, эти три пары { (ID, 1), (Name, John), (City, London) } означают кортеж (3-кортеж = запись = строка таблицы) .Точнее говоря, кортеж должен быть набором (упорядоченных) троек, а не набором пар: { (ID, Integer, 1), (Name, String, John), (City, String, London) }, но всякий раз, когда мы видим "ID" , мы всегда знаем, что это Integer (домен= тип данных), поэтому домен / тип опущен, и поэтому мы говорим о парах (вместо того, чтобы говорить о триплетах).

Таким образом, (нормализованная) таблица может быть аналогична алгебраическому двоичному отношению, и двоичное отношение определенокак набор упорядоченных пар.

Я просто не уверен на 100%, если для такого отношения = таблица набор пар для отношения должен включать объединение наборов пар в 1 и 2 (наборы pir для заголовка и тела).

Answer 2

Не смешивайте бинарные отношения в математике с бинарными отношениями в базе данных.В концепции БД бинарное отношение указывает на отношение между двумя различными сущностями, где как бинарное отношение в математике связано с теорией множеств. См. Это

Хотя они разные, между ними существуют тесные отношения.Вы можете проверить Прикладная математика для специалистов по базам данных