18
правок
Изменения
Добавлено определение реляционной модели.
{{Определение
|definition =
'''Реляционная модель данных''' — это модель данных, тра-ля-ля логики построенная на логике первого порядка <ref>[https://en.wikipedia.org/wiki/First-order_logic First-order logic — Wikipedia]</ref>, где все данные представлены в виде кортежей, связанных отношениями.}}
== Отношение ==
* Заголовок отношения — описание данных, представляющее собой множество пар <code>{имя: тип}</code>,
* Тело отношения — данные, представляющие собой множество множеств пар <code>{имя: значение}</code>.}}
Заданное отношение соответствует тому, что называется мы называли расширением предиката<ref>[https://en.wikipedia.org/wiki/Extension_(predicate_logic) Extension (predicate logic) — Wikipedia]</ref> в логике первого порядка.
''' Пример отношения '''
=== Отношения и таблицы ===
Изоморфизму — нет, различиям — да!
{| class="wikitable"
|-
