Изменения

{{Определение|definition == '''Реляционная модель данных == ''' — это модель данных, построенная на логике первого порядка <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}} == Представление null'ов = Отношения и математика ===  <tex> R =(\{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"|-! Таблицы !! Отношения|-| Столбцы – список || Атрибуты – множество|-| Строки – элемент расширенного декартова произведения || Кортежи – элемент декартова произведения|-| Таблица – список строк || Отношение – множество кортежей|}

==== Определения ===={{Определение|definition = '''Ключ''' — минимальный по включению надключ.}}Учитывая то, что у любого множества атрибутов отношения R существует надключ в виде множества всех атрибутов R, то ключ всегда можно найти, минимизировав этот надключ. Как следствия приходим к следующему определению:{{Определение|definition =Ключ является '''минимальным идентификатором''' кортежа.}} Ключи для таблицы с паспортными данными:* <tex>SId</tex>* <tex>\{PassS, PassNo\}</tex> ==== Требования к ключам ===={{Определение|definition =Пусть R — отношение. Будем говорить, что заданное множество атрибутов R обладает свойством '''неизменности''', если в любой конкретный момент времени никакое строгое подмножество множества атрибутов не обладает свойством уникальности.}}Ключи должны удовлетворять следующим свойствам:* Уникальность* Неизменность ==== Естественные и суррогатные ключи ====Различия суррогатных и натуральных ключей (виды ключей <ref>[http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B8%D0%B7%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%8C_%D0%B1%D0%B0%D0%B7%D1%8B_%D0%B4%D0%B0%D0%BD%D0%BD%D1%8B%D1%85#.D0.9A.D0.BB.D1.8E.D1.87.D0.B8 Виды ключей — Викиконспекты]</ref>):* Натуральные – соответствуют бизнес-правилам, часто составные* Суррогатные – простые и эффективные == Выбор ключей =Примечания ==<references />

* ''Дейт К.'' : Введение в системы баз данных (Глава 9 — Целостность данных, Глава 11 — Функциональные зависимости)* ''Уидом Д., Ульман Д.'' : Основы реляционных баз данных (Глава 3)* ''W.W. Armstrong'' : [https://web.archive.org/web/20180126091352if_/https://ipfs.io/ipfs/QmWYWTGUZyTm2iRFTZY2pTr2x1vWkDiJr2CBp2PGVpSVSv Dependency Structures of Data Base Relationships] == Ссылки ==* [https://www.kgeorgiy.info/courses/dbms/lectures/fundeps.html Реляционная модель и функциональные зависимости — kgeorgiy]* [https://en.wikipedia.org/wiki/Relational_model Relational model — Wikipedia] [[Категория:Базы данных | ]][[Категория:{{BASEPAGENAME}}]]