18
правок
Изменения
Добавлены знания по отношениям.
'''Реляционная модель данных''' — это модель данных, тра-ля-ля логики первого порядка <ref>[https://en.wikipedia.org/wiki/First-order_logic First-order logic — Wikipedia]</ref>}}
== Основные понятия Отношение == === Отношение Определение и пример ==={{Определение|definition ='''Отношение''' — это кортеж с именем, состоящий из (Заголовок, Тело), где:* Заголовок отношения — описание данных, представляющее собой множество пар <code>{имя: тип}</code>,* Тело отношения — данные, представляющие собой множество множеств пар <code>{имя: значение}</code>.}}Заданное отношение соответствует тому, что называется расширением предиката<ref>[https://en.wikipedia.org/wiki/Extension_(predicate_logic) Extension (predicate logic) — Wikipedia]</ref> в логике первого порядка. ''' Пример отношения ''' '''{id: int, name: string}''' {{id: 10, name: Иванов}, {id: 20}} === Кортежи Отношения и математика === <tex> R === Представление null'ов ===(\{a_1:T_1,a_2:T_2,\dots,a_n:T_n\},\{\{a_1:v_1,a_2:v_2,\dots ,a_n:v_n\},\dots\}) \\ R(a_1,a_2,\dots ,a_n)⊂T_1×T_2×\cdots×T_n \\ \;\;(v_1,v_2,\dots ,v_n)∈T_1×T_2×\cdots×T_n</tex> === Отличия таблиц Отношения и отношений таблицы ===
{| class="wikitable"
|-
| Таблица – список строк || Отношение – множество кортежей
|}
== Ключи ==
