Кафедра ИУ5 МГТУ им. Н.Э.Баумана, студенческое сообщество - Вклад [ru]

ПБД (9) - Лекция №6 - SQL (продолжение)

2012-10-24T13:11:30Z

195.19.32.132: Новая страница: «{{Backward|l=ПБД (9) - Лекция №5 - SQL}} == Языки запросов == === SQL === ==== Синтаксис ==== ===== Представлени...»

{{Backward|l=ПБД (9) - Лекция №5 - SQL}}

== Языки запросов ==

=== SQL ===

==== Синтаксис ====

===== Представления =====

<syntaxhighlight lang="sql">
CREATE VIEW(поле1, поле2, поле3) AS
SELECT name, year, stud
FROM film;
</syntaxhighlight>

'''Обновляемые представления''' - позволяют не только SELECT, но и изменение данных в таблице. Должно быть на основе одной таблицы и содержать обязательные поля.

==== Примеры ====

<syntaxhighlight lang="sql">
-- чёрно-белые фильмы с группировкой, условием отбора и сортировкой
SELECT name, max(year), stud
FROM film
WHERE type = 'bw' GROUP BY name -- группировка
HAVING min(year) > 1930 -- условия отбора групп
ORDER BY name DESC; -- сортировка

-- объединение
SELECT ...
UNION [ALL] ...
SELECT ...

-- пересечение
SELECT ...
INTERSECT [ALL] ...
SELECT ...

-- разность
SELECT ...
EXCEPT [ALL] ...
SELECT ...

-- без повторений
SELECT DISTINCT name
FROM film;
</syntaxhighlight>

=== Языкы запросов к XML-документам ===

Пример XML-документа:
<syntaxhighlight lang="xml">
<?xml ... ?>
<db>
<films>
<f fid="f1" year=1995>
<name>Собачье сердце</name>
<role ra="11">Профессор</role>
<role ra="22">Пёс</role>
<stud>МФ</stud>
</f>
<f fid="f2" year=1993>
<name>Терминатор</name>
<role ra="3">Терминатор</role>
<stud>WB</stud>
<stud>F20</stud>
</f>
</films>

<acts>
<a inn="11">
<pers fio="Иванов Иван Иванович">
<addr>Москва, Ленина, 1</addr>
<teatr>Ленком</teatr>
<teatr>Большой театр</teatr>
<stud>
<name>Мосфильм</name>
<addr>Москва, Комсомола, 2</addr>
</stud>
</pers>
</a>
</acts>
</db>
</syntaxhighlight>

==== XPath ====

XML Path Language. Строит по документу дерево полуструктурированных данных.

Сокращённая запись пути до фильма:
<syntaxhighlight lang="php">
/db/films/f/name
</syntaxhighlight>

Полная запись:
<syntaxhighlight lang="php">
/child::db/child::film/child::f
</syntaxhighlight>

Сокращённая до фильма 1995 года:
<syntaxhighlight lang="php">
/db/films/f/name[../@year="1995"]
</syntaxhighlight>

Полная:
<syntaxhighlight lang="php">
/child::db/child::film/child::f/child::name[parent(::)/attribute::year="1995"]
</syntaxhighlight>

Оси:
* child - потомки. Стоит по умолчанию, потому можно не указывать;
* attribute - атрибуты @;
* parent - родители;
* ancestor - все предки;
* ancestor-or-self - все предки или я сам;
* descendant - все потомки вне зависимости от уровня вложенности;
* descendant-or-self - все потомки или я сам;
* following - все следующие (без предков и потомков);
* following-sibling - все следующие на одном уровне за текущим;
* preceding - все предыдущие (без предков и потомков)
* preceding-sibling - все предыдущие на одном уровне перед текущим;
* namespace - пространство имён.

Обозначения:
* <code>//</code> потомки;
* <code>..</code> родители;
* <code>.</code> self.

Имеется много встроенных функций. Основные:
* count() - подсчёт;
* sum() - сумма;
* min() - минимум;
* max() - максимум;
* name() - строка;
* substring(строка, с какого символа, сколько символов) - подстрока.

Примеры:

Все потомки:
<syntaxhighlight lang="php">
/db//f
</syntaxhighlight>

Все элементы name:
<syntaxhighlight lang="php">
/db//name
</syntaxhighlight>

Все вложенные через два уровня:
<syntaxhighlight lang="sql">
//db/*/*/name
</syntaxhighlight>

Третий фильм:
<syntaxhighlight lang="sql">
//f[3]
</syntaxhighlight>

Третий фильм, если он снят в 1950 году:
<syntaxhighlight lang="sql">
//f[3][@year="1950"]
</syntaxhighlight>

Все фильмы, снятые в 1950, и взять из них третий:
<syntaxhighlight lang="sql">
//f[@year="1950"][3]
</syntaxhighlight>

Все актёры, которые работали в Ленкоме:
<syntaxhighlight lang="sql">
//a[./pers/teatr/text()="Ленком"]
</syntaxhighlight>

Все родители для театра Ленком:
<syntaxhighlight lang="sql">
//teatr[text()="Ленком"]/parent::*
</syntaxhighlight>

Все актёры, у которых указано более трёх театров или более двух адресов:
<syntaxhighlight lang="sql">
//a[count(teatr)>3 OR count(//addr)>2]
</syntaxhighlight>

Все фильмы, в которых снимались актёры Ивановы Иваны Ивановичи:
<syntaxhighlight lang="sql">
//f[//a[pers/@fio="Иванов Иван Иванович"]/@inn=role/@ra]
</syntaxhighlight>

==== XQuery ====

Всё ещё сложнее, чем в XPath - он его расширил. Есть условия, функции, вложенные циклы.

Примеры:

вот один:
<syntaxhighlight lang="php">
let $a = 10, $b = 20, $c = "hello"
for $x in колонка
return $x
return <a>{$x}</a>
</syntaxhighlight>

вот другой:
<syntaxhighlight lang="php">
for $x in document("filename.xml")/db//a
let $c = $x/count(pers/teatr)
where $c > 2 and $a/pers/addr != "Москва"
return {$x, $c}
return <act fio={$x/pers/@fio}>
</syntaxhighlight>

===== Формат вывода =====

Возврат элемента:
<syntaxhighlight lang="php">
return $x
</syntaxhighlight>

Возврат значения:
<syntaxhighlight lang="php">
return data($x/pers/...)
</syntaxhighlight>

===== Вложенные циклы =====

Как выглядит вложенный цикл:
<syntaxhighlight lang="php">
for $x in document("filename.xml")//a,
$y in $x//teatr
return <newel>{$a/@inn $y/text()}</newel>
order by $y/text()
</syntaxhighlight>

===== Функции =====

Объявление функции:
<syntaxhighlight lang="php">
declare function fun($var as XS:integer) as element(act)*
{return element act {$var}}
</syntaxhighlight>

Вызов функции:
<syntaxhighlight lang="php">
return {fun(10)}
</syntaxhighlight>

[[Категория:Постреляционные базы данных (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

ПБД (9) - Лекция №5 - SQL

2012-10-24T12:54:23Z

195.19.32.132:

== Языки запросов ==

* SQL;
* объектное расширение SQL;
* OQL;
* Datalog;
* XQuery.

=== SQL ===

Умеет:
* создание схемы данных;
* работа с данными;
* работа с транзакциями;
* авторизация и права доступа;
* определение системы целостности, триггеры;
* определение представлений;
* определение физических структур для хранения данных.

Типы данных:
* integer;
* float;
* boolean;
* char(10);
* varchar(255);
* clob;
* blob;
* domain.

==== Синтаксис ====

===== Создание таблицы =====

<syntaxhighlight lang="sql">
CREATE TABLE таблица
(
поле1 тип ограничение,
поле2 тип ограничение,
поле3 тип ограничение
);
</syntaxhighlight>

===== Ограничения =====

Могут иметь имена:

<syntaxhighlight lang="sql">
CONSTRAINT имя;
</syntaxhighlight>

Например:

<syntaxhighlight lang="sql">
ALTER TABLE таблица
ADD CONSTRAINT имя CHECK(условие);
</syntaxhighlight>

Виды ограничений:
* уровня атрибутов:
** NOT NULL;
** DEFAULT;
** UNIQUE;
** CHECK();
* уровня кортежей:
** PRIMARY KEY();
** FOREIGN KEY() REFERENCES table();
** DEFERRABLE INITIALLY DEFERRED;
** CHECK();
* общего вида - проверяется ''при любом'' изменении БД:
** ASSERTION;
** триггеры.

Например:
<syntaxhighlight lang="sql">
CREATE ASSERTION имя
CHECK((SELECT COUNT(*) FROM таблица1) > (SELECT COUNT(*) FROM таблица2);
</syntaxhighlight>

Пример триггера:
<syntaxhighlight lang="sql">
AFTER UPDATE [of поле] ON таблица REFERENCING
OLD ROW AS имя1
NEW ROW AS имя2
FOR EACH ROW [WHEN(условие)] {тело SQL};
</syntaxhighlight>

===== Удаление таблицы =====

<syntaxhighlight lang="sql">
DROP TABLE таблица;
</syntaxhighlight>

===== Создание индекса =====

<syntaxhighlight lang="sql">
CREATE [UNIQUE] INDEX имя
ON таблица();
</syntaxhighlight>

===== Соединение таблиц =====

* таблица1 {{Формула|f=\times}} таблица2;
* join;
* natural join;
* cross join;
* outer join:
** left outer join;
** right outer join;
** full outer join.

==== Примеры ====

<code>Film(name, year, len, type, stud);

Actor(inn, fio, edu);

Stud(sname, addr);

FA(inn, name, year);</code>

Создание таблиц:
<syntaxhighlight lang="sql">
CREATE TABLE Film
(
name varchar(50),
year integer CHECK(year>1850 AND year <=2012), -- потому что конец света
len integer NOT NULL DEFAULT 120,
type char(2),
stud integer REFERENCES Stud(sid) ON UPDATE CASCADE ON DELETE SET NULL,

PRIMARY KEY(name, year)
);

CREATE TABLE Stud
(
sid integer PRIMARY KEY UNIQUE,
sname varchar(50) NOT NULL,
addr varchar(300)
);

CREATE TABLE Actor
(
inn char(10) PRIMARY KEY,
fio varchar(200),
edu varchar(50),
CHECK(edu IN('среднее', 'высшее', 'Щукинское'))
);

CREATE TABLE FA
(
act char(10) NOT NULL REFERENCES Actor(inn),
fname varchar(50) NOT NULL,
fyear integer NOT NULL,

FOREIGN KEY(fname, fyear) REFERENCES Film(name, year),
PRIMARY KEY(act, fname, fyear)
);
</syntaxhighlight>

Извлечение данных:
<syntaxhighlight lang="sql">
SELECT * | поля | выражения | агрегация
FROM таблица | вложенный запрос
WHERE условие [AND | OR | NOT условие];
</syntaxhighlight>

Примеры:
<syntaxhighlight lang="sql">
-- выбрать фильмы, снятые в 60-е года
SELECT *
FROM Film
WHERE year > 1950 AND year < 1960;

-- выбрать что-то ещё
SELECT name, year, len/60 AS hour
FROM Film
WHERE (name like '%s' or name like '_a')
AND EXISTS(SELECT * FA WHERE fname = name)
ORDER BY name, year DESC;

-- фильмы студий Лос-Анджелеса
SELECT name, year, sname
FROM Film join Stud ON stud = sid
WHERE addr = 'Los Angeles';

-- актёры фильма "The Matrix"
SELECT fio
FROM Actors join FA ON inn = act
WHERE fname = 'The Matrix';

-- актёры, которые не снимались ни в одном фильме
SELECT fio
FROM Actor
WHERE inn NOT IN(SELECT act FROM FA);

-- актёры, которые снялись хотя бы в одном фильме
SELECT fio
FROM Actor
WHERE inn IN(SELECT act FROM FA);
</syntaxhighlight>

{{Forward|l=ПБД (9) - Лекция №6 - SQL (продолжение)}}

[[Категория:Постреляционные базы данных (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

ПБД (9) - Лекция №5 - SQL

2012-10-24T12:49:57Z

195.19.32.132: /* Опять наш пример */

== Языки запросов ==

* SQL;
* объектное расширение SQL;
* OQL;
* Datalog;
* XQuery.

=== SQL ===

Умеет:
* создание схемы данных;
* работа с данными;
* работа с транзакциями;
* авторизация и права доступа;
* определение системы целостности, триггеры;
* определение представлений;
* определение физических структур для хранения данных.

Типы данных:
* integer;
* float;
* boolean;
* char(10);
* varchar(255);
* clob;
* blob;
* domain.

==== Синтаксис ====

===== Создание таблицы =====

<syntaxhighlight lang="sql">
CREATE TABLE таблица
(
поле1 тип ограничение,
поле2 тип ограничение,
поле3 тип ограничение
);
</syntaxhighlight>

===== Ограничения =====

Могут иметь имена:

<syntaxhighlight lang="sql">
CONSTRAINT имя;
</syntaxhighlight>

Например:

<syntaxhighlight lang="sql">
ALTER TABLE таблица
ADD CONSTRAINT имя CHECK(условие);
</syntaxhighlight>

Виды ограничений:
* уровня атрибутов:
** NOT NULL;
** DEFAULT;
** UNIQUE;
** CHECK();
* уровня кортежей:
** PRIMARY KEY();
** FOREIGN KEY() REFERENCES table();
** DEFERRABLE INITIALLY DEFERRED;
** CHECK();
* общего вида - проверяется ''при любом'' изменении БД:
** ASSERTION;
** триггеры.

Например:
<syntaxhighlight lang="sql">
CREATE ASSERTION имя
CHECK((SELECT COUNT(*) FROM таблица1) > (SELECT COUNT(*) FROM таблица2);
</syntaxhighlight>

Пример триггера:
<syntaxhighlight lang="sql">
AFTER UPDATE [of поле] ON таблица REFERENCING
OLD ROW AS имя1
NEW ROW AS имя2
FOR EACH ROW [WHEN(условие)] {тело SQL};
</syntaxhighlight>

===== Удаление таблицы =====

<syntaxhighlight lang="sql">
DROP TABLE таблица;
</syntaxhighlight>

===== Создание индекса =====

<syntaxhighlight lang="sql">
CREATE [UNIQUE] INDEX имя
ON таблица();
</syntaxhighlight>

===== Соединение таблиц =====

* таблица1 {{Формула|f=\times}} таблица2;
* join;
* natural join;
* cross join;
* outer join:
** left outer join;
** right outer join;
** full outer join.

==== Примеры ====

<code>Film(name, year, len, type, stud);

Actor(inn, fio, edu);

Stud(sname, addr);

FA(inn, name, year);</code>

Создание таблиц:
<syntaxhighlight lang="sql">
CREATE TABLE Film
(
name varchar(50),
year integer CHECK(year>1850 AND year <=2012), -- потому что конец света
len integer NOT NULL DEFAULT 120,
type char(2),
stud integer REFERENCES Stud(sid) ON UPDATE CASCADE ON DELETE SET NULL,

PRIMARY KEY(name, year)
);

CREATE TABLE Stud
(
sid integer PRIMARY KEY UNIQUE,
sname varchar(50) NOT NULL,
addr varchar(300)
);

CREATE TABLE Actor
(
inn char(10) PRIMARY KEY,
fio varchar(200),
edu varchar(50),
CHECK(edu IN('среднее', 'высшее', 'Щукинское'))
);

CREATE TABLE FA
(
act char(10) NOT NULL REFERENCES Actor(inn),
fname varchar(50) NOT NULL,
fyear integer NOT NULL,

FOREIGN KEY(fname, fyear) REFERENCES Film(name, year),
PRIMARY KEY(act, fname, fyear)
);
</syntaxhighlight>

Извлечение данных:
<syntaxhighlight lang="sql">
SELECT * | поля | выражения | агрегация
FROM таблица | вложенный запрос
WHERE условие [AND | OR | NOT условие];
</syntaxhighlight>

Примеры:
<syntaxhighlight lang="sql">
-- выбрать фильмы, снятые в 60-е года
SELECT *
FROM Film
WHERE year > 1950 AND year < 1960;

-- выбрать что-то ещё
SELECT name, year, len/60 AS hour
FROM Film
WHERE (name like '%s' or name like '_a')
AND EXISTS(SELECT * FA WHERE fname = name)
ORDER BY name, year DESC;

-- фильмы студий Лос-Анджелеса
SELECT name, year, sname
FROM Film join Stud ON stud = sid
WHERE addr = 'Los Angeles';

-- актёры фильма "The Matrix"
SELECT fio
FROM Actors join FA ON inn = act
WHERE fname = 'The Matrix';

-- актёры, которые не снимались ни в одном фильме
SELECT fio
FROM Actor
WHERE inn NOT IN(SELECT act FROM FA);

-- актёры, которые снялись хотя бы в одном фильме
SELECT fio
FROM Actor
WHERE inn IN(SELECT act FROM FA);

-- актёры, которые снимались во всех фильмах
SELECT fio
FROM Actor
WHERE NOT продолжение следует
</syntaxhighlight>

[[Категория:Постреляционные базы данных (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

СЭВМ (9) - Лекция №6 - Домены

2012-10-24T12:02:01Z

195.19.32.132:

__TOC__
== Домены ==

В домене находится несколько серверов, каждый для своего предназначения. Сервера объединены в кластер.

Клиент-серверная архитектура:

[[Файл:9sSEVMl6pic1.png|link=Файл:9sSEVMl6pic1.svg]]

Служба каталогов Active Directory обеспечивает работу сложной корпоративной среды, предоставляя следующие возможности:
* единая регистрация в сети;
* безопасность информации;
* централизованное управление;
* администрирование с использованием групповых политик;
* интеграция с DNS;
* расширяемость каталогов;
* масштабируемость;
* репликация информации.

В домене используются основной и дополнительный контроллеры домена, что позволяет при выходе из строя основного задействовать дополнительный, что повышает отказоустойчивость.

Приложение, работающее на стороне пользователя, взаимодействует с кластером серверов, а кластер, при необходимости, обращается к серверу БД. Это позволяет администратору распределить нагрузку между серверами.

Использование кластера сервером позволяет сосредоточить на нём выполнение наиболее объёмных операций. При выполнении наиболее сложных запросов приложение на стороне пользователя получает только запрошенные данные, а вся выборка будет оставаться на сервере.

Между серверами осуществляется репликация данных. По расписанию происходит архивация данных.

=== Кластеры ===

Для повышения надёжности системы и целостности данных может быть разработан отказоустойчивый кластер - группа серверов, воспринимаемая извне как единый элемент. Узлы кластера объединяются между собой аппаратно-сетевыми средствами с совместным использованием разделяемых ресурсов и серверного ПО.

Кластерная система характеризуется:
* высокой надёжностью - за счёт избыточности (дублирования всех важных компонентов);
* производительностью, гибким масштабированием - за счёт распределения нагрузки между узлами;
* лёгкостью в управлении.

Кластеры высокой готовности используются в тех случаях, когда отказы недопустимы и доступ к приложениям должен быть непрерывным. Как правило, они используются в системах управления предприятием, БД и других.

Высокая доступность ресурсов кластера в случае сбоя одного из серверов (или при проведении профилактических работ) обеспечивается за счёт перемещения служб или приложений между узлами.

[[Категория:Супер ЭВМ (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

СЭВМ (9) - Лекция №6 - Домены

2012-10-24T12:01:54Z

195.19.32.132:

__TOC__

== Домены ==

В домене находится несколько серверов, каждый для своего предназначения. Сервера объединены в кластер.

Клиент-серверная архитектура:

[[Файл:9sSEVMl6pic1.png|link=Файл:9sSEVMl6pic1.svg]]

Служба каталогов Active Directory обеспечивает работу сложной корпоративной среды, предоставляя следующие возможности:
* единая регистрация в сети;
* безопасность информации;
* централизованное управление;
* администрирование с использованием групповых политик;
* интеграция с DNS;
* расширяемость каталогов;
* масштабируемость;
* репликация информации.

В домене используются основной и дополнительный контроллеры домена, что позволяет при выходе из строя основного задействовать дополнительный, что повышает отказоустойчивость.

Приложение, работающее на стороне пользователя, взаимодействует с кластером серверов, а кластер, при необходимости, обращается к серверу БД. Это позволяет администратору распределить нагрузку между серверами.

Использование кластера сервером позволяет сосредоточить на нём выполнение наиболее объёмных операций. При выполнении наиболее сложных запросов приложение на стороне пользователя получает только запрошенные данные, а вся выборка будет оставаться на сервере.

Между серверами осуществляется репликация данных. По расписанию происходит архивация данных.

=== Кластеры ===

Для повышения надёжности системы и целостности данных может быть разработан отказоустойчивый кластер - группа серверов, воспринимаемая извне как единый элемент. Узлы кластера объединяются между собой аппаратно-сетевыми средствами с совместным использованием разделяемых ресурсов и серверного ПО.

Кластерная система характеризуется:
* высокой надёжностью - за счёт избыточности (дублирования всех важных компонентов);
* производительностью, гибким масштабированием - за счёт распределения нагрузки между узлами;
* лёгкостью в управлении.

Кластеры высокой готовности используются в тех случаях, когда отказы недопустимы и доступ к приложениям должен быть непрерывным. Как правило, они используются в системах управления предприятием, БД и других.

Высокая доступность ресурсов кластера в случае сбоя одного из серверов (или при проведении профилактических работ) обеспечивается за счёт перемещения служб или приложений между узлами.

[[Категория:Супер ЭВМ (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

Общежитие №5

2012-10-24T11:58:12Z

195.19.32.132: интернеты

Главное общежитие факультета ИУ. Наши люди есть и в других общежитиях, но в основном всех заселяют сюда.

== Корпус ==

{| cellspacing="5"
|-
| align="right" | Адрес: || 105043, Москва, Измайловский проспект, 73/2
|-
| align="right" | Телефон: || -
|-
| align="right" | Комендант: || Новожилова Валентина Михайловна
|}

Комендант принимает по следующему расписанию:
{| class="wikitable"
! День !! Время работы !! Обед
|- align="center"
| ПН || 09:00 - 18:00 || rowspan="5" | 12:30-13:15
|- align="center"
| ВТ || 09:00 - 18:00
|- align="center"
| СР || 09:00 - 18:00
|- align="center"
| ЧТ || 09:00 - 18:00
|- align="center"
| ПТ || 09:00 - 16:45
|- align="center"
| СБ || выходной || rowspan="2" | -
|- align="center"
| ВС || выходной
|}

== Интернеты ==

В общежитии есть как [[Интернеты в общежитии#КС Бауманец | КС Бауманец]], так и [[Интернеты в общежитии#ИКС | ИКС]].

== Душ ==

Душевые находятся на первом этаже. Работают не круглосуточно, а по следующему графику:
{| class="wikitable"
! День !! Время работы !! Перерыв !! Время работы
|- align="center"
| ПН || 06:00 - 11:00 || rowspan="3" | 3 часа || 14:00 - 23:00
|- align="center"
| ВТ || 06:00 - 11:00 || 14:00 - 23:00
|- align="center"
| СР || 06:00 - 11:00 || 14:00 - 23:00
|- align="center"
| ЧТ || colspan="3" | санитарный день, душ закрыт
|- align="center"
| ПТ || 06:00 - 11:00 || rowspan="3" | 3 часа || 14:00 - 23:00
|- align="center"
| СБ || 06:00 - 11:00 || 14:00 - 23:00
|- align="center"
| ВС || 06:00 - 11:00 || 14:00 - 23:00
|}

На самом деле, пускать перестают уже в 22:45, потому что "''с 22:45 до 23:00 душевые работают только на выход''". Кстати, раньше душевые работали до 01:00.

В санитарный день можно ходить в душ в соседние общежития. Ближе всего - по переходу на шестом этаже в [[Общежитие №8 | общежитие №8]], там на каждом этаже есть одиночные душевые кабинки. Некоторые закрыты на замок жадными обитателями этажа, некоторые - нет. И чтобы не закрывали и те немногие, которые ещё открыты - ведите себя прилично и не оставляйте в кабинках свинарник.

== Прачечная ==

Прачечная находится на первом этаже. Если вам повезло и есть свободная стиральная машина, то за 40 минут вам всё постирают. Главное, не забыть прийти забрать постиранное, иначе оно будет лежать и киснуть.

{|
| График работы:
{| class="wikitable"
! День !! Время работы
|- align="center"
| ПН || rowspan="7" | 13:00 - 21:00
|- align="center"
| ВТ
|- align="center"
| СР
|- align="center"
| ЧТ
|- align="center"
| ПТ
|- align="center"
| СБ
|- align="center"
| ВС
|}
| valign="top" | Цены:
{| class="wikitable"
! Услуга !! Стоимость
|- align="center"
| Стирка (большая загрузка) || 110 рублей
|- align="center"
| Стирка (средняя загрузка) || 80 рублей
|- align="center"
| Сушка || 80 рублей
|- align="center"
| Обслуживание || 10 рублей
|}
|}

За обслуживание деньги берут в том случае, если вы заказали сушку - ваши носки и трусы будут руками перекладывать из машинки в сушилку. Если вы не заказали сушку, то мокрое своё шмотьё вы сами сложите в пакет и унесёте, тогда за обслуживание 10 рублей платить не надо.

== Объявления ==

=== От администрации ===

=== От студентов ===

==== Канцтовары ====

[http://horosho.h1.ru//index.php Продажа канцтоваров] прямо в общежитии, комната 731.

== Спортивное ==

=== Тренажёрный зал ===

=== Настольный теннис ===

На втором этаже стоит стол для настольного тенниса. Ракетки, шарики и сетка нужны свои. Расписания никакого нет, когда пришёл, тогда и играешь.

== Почтовые ящики ==

[[Файл:Host5.mail.JPG|right|мини|200px|Как это выглядит сейчас]]

Находятся на первом этаже и в ужасном состоянии. Самодельные ячейки, в которых с трудом умещаются конверты. Новая корреспонденция не сортируется, всё валится в кучу сверху. Письма лежат по сто лет.

У нас есть один проект на эту тему. Пока всё в разработке.

[[Категория:Общежитие]]

ТОРА (9) - Лекция №3 - Хорошая схема БД - Соединение без потерь

2012-10-23T10:44:25Z

195.19.32.132: /* Соединение без потерь */

Пусть {{Формула|f=F}} и {{Формула|f=G}} - два множества ФЗ.

{{Формула|f=G}} называется ''покрытием'' {{Формула|f=F}}, если имеет место равенство {{Формула|f=G^+ = F^+}}

Существуют различные виды покрытий. Но мы рассмотрим только один - ''условно-неизбыточное покрытие''.

== Алгоритм построения условно-неизбыточного покрытия ==

1) если в множестве ФЗ {{Формула|f=F}} встречаются ФЗ с одинаковой левой частью {{Формула|f=X}}, то следует объединить эти ФЗ в одну ФЗ. Это следует из аксиомы объединения. Получившееся множество ФЗ обозначим {{Формула|f=G}};

2) для каждой ФЗ {{Формула|f=X\rightarrow Y}} из {{Формула|f=G}} заменить её на {{Формула|f=X\rightarrow X^+ - X}};

После выполнения 1) и 2) получаем замыкание {{Формула|f=G^+ = F}}

=== Доказательство ===

1)

:если ФЗ {{Формула|f=X\rightarrow Y\in F}}, то эта ФЗ принадежит {{Формула|f=G^+}}, а из этого следует, что {{Формула|f=Y \subseteq X^+}}

:По построению G имеет место ФЗ: {{Формула|f=X\rightarrow X^+ - X}}

:Пополним эту ФЗ: {{Формула|f=X\rightarrow (X^+ - X)\bigcup X = X^+}}

:Теперь по первой аксиоме Армстронга имеем {{Формула|f=X^+\rightarrow Y}}

:Значит, {{Формула|f=X\rightarrow Y \in G^+}}, по третьей аксиоме Армстронга.

2)

:{{Формула|f=X\rightarrow Y \in G}}, {{Формула|f=X\rightarrow Y \in F^+}}

:{{Формула|f=Y = X^+ - X}}

:{{Формула|f=X\rightarrow X^+}} (по определению)

:{{Формула|f=X^+\rightarrow X^+ - X}} (1 аксиома Армстронга)

:{{Формула|f=X^+\rightarrow X^+ - X = Y}} (3 аксимома Армстронга)

:{{Формула|f=X^+\rightarrow Y \in F^+}}

=== Пример ===

УСО: {{Формула|f=R = (A, B, C)}}

Множество ФЗ: {{Формула|f=F = (A\rightarrow B, B\rightarrow A, C\rightarrow A, A\rightarrow C, B\rightarrow C)}}

1)

:{{Формула|f=G = (A\rightarrow BC, B\rightarrow AC, C\rightarrow A}}

2)

:{{Формула|f=A^+ = ABC}}, {{Формула|f=A^+ - A = BC}}

:{{Формула|f=B^+ = BAC}}, {{Формула|f=B^+ - B = AC}}

:{{Формула|f=C^+ = CAB}}, {{Формула|f=C^+ - C = AB}}

Тогда {{Формула|f=G = (A\rightarrow BC, B\rightarrow AC, C\rightarrow AB)}} будет являться УНП.

== Свойства "хорошей" схемы БД ==

"Хорошая", но не оптимальная. Должна обладать следующими свойствами:
* соединение без потерь;
* сохранение ФЗ;
* каждая схема отношений в этой БД находится в 3НФ. Наличие этого свойства обеспечивает отсутствие в схемах отношений следующих аномалий:
** избыточность;
** потенциальная противоречивсть;
** аномалия обновления;
** аномалия удаления.

=== Соединение без потерь ===

Чтобы схема БД обладала свойством соединения без потерь, необходимо, чтобы хотя бы одна из таблиц содержала ключ универсальной схемы отношений.

Пусть {{Формула|f=\rho = (R_1 ... R_n)}} - схема БД. Она будет обладать свойством соединения без потерь, если для любого экземпляра отношения {{Формула|f=r}} из {{Формула|f=R}} справедливо равенство: {{Формула|f=r = \Pi_{R_1}(r) \bowtie \Pi_{R_2}(r) \bowtie ... \bowtie \Pi_{R_n}(r)}}, где {{Формула|f=\Pi_{R_i}(r)}} - это проекция экземпляра отношения {{Формула|f=r}} на множество атрибутов {{Формула|f=R_i}}

==== Пример БД, не обладающей свойством соединения без потерь ====

{{Формула|f=R = (A, B, C)}}

{{Формула|f=\rho = (AB, BC) = (R_1, R_2)}}

{{Формула|f=F = (A\rightarrow B)}}

Достаточно привести пример экземпляра {{Формула|f=r}}, для которого равенство не выполняется:

{| class="wikitable"
! !! A !! B !! C
|- align="center"
| rowspan="2" | {{Формула|f=r}} || {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}} || {{Формула|f=c_2}}
|}

{|
| valign="top" |
{| class="wikitable"
! !! A !! B
|- align="center"
| rowspan="2" | {{Формула|f=\Pi_{R_1}(r)}} || {{Формула|f=a_1}} || {{Формула|f=b_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}}
|}
|
| valign="top" |
|
{| class="wikitable"
! !! В !! С
|- align="center"
| rowspan="2" | {{Формула|f=\Pi_{R_2}(r)}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=b_1}} || {{Формула|f=c_2}}
|}
|}

Полученное соединение не будет равняться {{Формула|f=r}}:

{| class="wikitable"
! !! A !! B !! C
|- align="center"
| rowspan="4" | {{Формула|f=\Pi_{R_1}(r) \bowtie \Pi_{R_2}(r)}} || {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center" bgcolor="#FFB6C1"
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_2}}
|- align="center" bgcolor="#FFB6C1"
| {{Формула|f=a_2}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}} || {{Формула|f=c_2}}
|}

Этот пример показывает, что при неправильном построении БД запросы могут выдавать неправильный результат.

==== Пример БД, обладающей свойством соединения без потерь ====

{{Формула|f=R = (A, B, C)}}

{{Формула|f=\rho = (AB, AC) = (R_1, R_2)}}

{{Формула|f=F = (A\rightarrow B)}}

Возьмём тот же экземпляр:

{| class="wikitable"
! !! A !! B !! C
|- align="center"
| rowspan="2" | {{Формула|f=r}} || {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}} || {{Формула|f=c_2}}
|}

{|
| valign="top" |
{| class="wikitable"
! !! A !! B
|- align="center"
| rowspan="2" | {{Формула|f=\Pi_{R_1}(r)}} || {{Формула|f=a_1}} || {{Формула|f=b_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}}
|}
|
| valign="top" |
|
{| class="wikitable"
! !! A !! С
|- align="center"
| rowspan="2" | {{Формула|f=\Pi_{R_2}(r)}} || {{Формула|f=a_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=c_2}}
|}
|}

Полученное соединение будет равняться {{Формула|f=r}}:

{| class="wikitable"
! !! A !! B !! C
|- align="center"
| rowspan="2" | {{Формула|f=\Pi_{R_1}(r) \bowtie \Pi_{R_2}(r)}} || {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_1}} || {{Формула|f=c_2}}
|}

Но это не доказательство, а только один пример, просто чтобы показать, в чём разница.

==== Алгоритм проверки схемы БД на свойство соединения без потерь ====

{{Формула|f=\rho = (R_1 ... R_n)}}

{{Формула|f=R = (A_1 ... A_n)}}

1) построить таблицу T:

{| class="wikitable"
! !! {{Формула|f=A_1}} || {{Формула|f=A_2}} || ... || {{Формула|f=A_k}}
|- align="center"
! {{Формула|f=R_1}}
| || || ||
|- align="center"
! {{Формула|f=R_2}}
| || || ||
|- align="center"
! ...
| || || ||
|- align="center"
! {{Формула|f=R_n}}
| || || ||
|}

И заполнить таблицу T по правилу: если {{Формула|f=A_j \in R_i}}, то {{Формула|f=T_{ij}=a}}, иначе {{Формула|f=T_{ij}=b_i}}

2) изменить таблицу T - циклически просматривать ФЗ из {{Формула|f=F}} в любом порядке, и для очередной ФЗ {{Формула|f=X\rightarrow Y \in F}} выполнить следующие действия:
* найти в таблице T строки, совпадающие по атрибутам {{Формула|f=X}} (по левой части);
* если хотя бы в одной такой строке значение атрибута {{Формула|f=A_m \in Y = a}}, то во всех найденных строках присвоить {{Формула|f=A_m = a}}, иначе присвоить {{Формула|f=A_m = b_i}} (}}i}} - номер одной из найденных строк, {{Формула|f=b_i}} должно быть одинаково во всех указанных строках);
* выполнить предыдущие два пункта для всех атрибутов {{Формула|f=A_l \in Y}};
* выполнить предыдущие три пункта для всех ФЗ из {{Формула|f=F}}, циклически их просматривая.

3) алгоритм останавливается, если при очередном просмотре ФЗ из {{Формула|f=F}}:
* не произошло никаких изменений в таблице T;
* какая-нибудь строка в T не стала состоять сплошь из символов {{Формула|f=a}} (наличие такой строки и говорит о выполнении свойства соединения без потерь).

===== Пример =====

Пусть {{Формула|f=R = (A, B, C)}}

{{Формула|f=\rho = (AB, AC) = (R_1, R_2)}}

{{Формула|f=F = (A\rightarrow B)}}

Доказать, что {{Формула|f=\rho}} обладает свойством соединения без потерь.

1)

{| class="wikitable"
! !! A || B || C
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}}
|- align="center"
! BC
| {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}}
|}

2)

{|
| valign="top" |
{| class="wikitable"
! !! A || B || C
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}}
|- align="center"
! BC
| {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}}
|}
|
| valign="top" |
|
{| class="wikitable"
! !! A || B || C
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}}
|- align="center"
! BC
| {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}}
|}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}. Значит {{Формула|f=\rho}} обладает свойством соединения без потерь.

===== Другой пример =====

Пусть {{Формула|f=R = (A, B, C, D, E, F, P, S)}}

{{Формула|f=\rho = (AB, ACDPS, BCPS, DEF) = (R_1, R_2, R_3, R_4)}}

{{Формула|f=F = (B\rightarrow C, D\rightarrow EF, B\rightarrow PS, A\rightarrow CDPS, AP\rightarrow S)}}

Доказать, что {{Формула|f=\rho}} обладает свойством соединения без потерь.

1)

{| class="wikitable"
! !! A || B || C || D || E || F || P || S
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! ACDPS
| {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! BCPS
| {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! DEF
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}}
|}

2)

первый просмотр:

{| class="wikitable"
! !! A || B || C || D || E || F || P || S
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! ACDPS
| {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! BCPS
| {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! DEF
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}}
|}

второй просмотр:

{| class="wikitable"
! !! A || B || C || D || E || F || P || S
|- align="center"
! AB
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="#32CD32" | {{Формула|f=a}} || bgcolor="#32CD32" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! ACDPS
| {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! BCPS
| {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! DEF
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}}
|}

Вот и получили строку, сплошь состоящую из {{Формула|f=a}}. Значит {{Формула|f=\rho}} обладает свойством соединения без потерь.

[[Категория:Теоретические основы реляционной алгебры (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

ТОРА (9) - Семинар №3 - Соединение без потерь

2012-10-23T10:37:51Z

195.19.32.132: /* Задача №3 */

Свойства хорошей БД:
* соединение без потерь;
* сохранение ФЗ;
* нормализация схемы отношений (3НФ).

По этому семинару надо выполнить [[#ДЗ | домашнее задание]]. В письменном виде в тетради.

== Пример 1 ==

Таблицы {{Формула|f=\rho=(S,P,SP)}}

*{{Формула|f=S}} - поставщики.
**SN - номер поставщика;
**SF - фамилия;
**SS - статус;
**SG - город.

*{{Формула|f=P}} - деталь.
** PN - номер детали, ключ;
** PF - название детали;
** PC - цена за единицу.

*{{Формула|f=SP}} - поставка.
** SN - номер поставщика;
** PN - номер детали;
** kol - количество поставляемых деталей.

{{Формула|f=\rho = (S, P, SP)}}

Задачи:
# выписать ФЗ на основе знания предметной области;
# проверить, обладает ли {{Формула|f=\rho}} соединением без потерь;
# проверить, обладает ли {{Формула|f=\rho}} сохранением ФЗ;
# проверить, находится ли {{Формула|f=\rho}} в 3НФ.

=== Задача 1 ===

{{Формула|f=SN\rightarrow SF}}, {{Формула|f=SN\rightarrow SS}}, {{Формула|f=SN\rightarrow SG}}

{{Формула|f=PN\rightarrow PF}}, {{Формула|f=PN\rightarrow PC}}

{{Формула|f=SNPN\rightarrow kol}}

=== Задача 2 ===

{| class="wikitable"
! !! SN !! SF !! SS !! SG !! PN !! PF !! PC !! kol
|- align="center"
! {{Формула|f=S}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=P}}
| {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=SP}}
| {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}}
|}

{| class="wikitable"
! !! SN !! SF !! SS !! SG !! PN !! PF !! PC !! kol
|- align="center"
! {{Формула|f=S}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=P}}
| {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=SP}}
| {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}, значит {{Формула|f=\rho}} обладает соединением без потерь - если мы соединим все три исходные таблицы, то получим правильный результат.

=== Задача 3 ===

1-4)

:{{Формула|f=H=\varnothing}}

:{{Формула|f=УНП = (SN\rightarrow SFSSSG, PN\rightarrow PFPC, SNPN\rightarrow kolSFSSSGPFPC)}}

:смотрим, кто принадлежит, получается:

:{{Формула|f=УНП = (SN\rightarrow SFSSSG, PN\rightarrow PFPC, SNPN\rightarrow kol)}}

:{{Формула|f=H = (SNPN\rightarrow SFSSSGPFPC)}}

5)

:{{Формула|f=H\neq\varnothing}}

6)

:выполняется ли {{Формула|f=SNPN\rightarrow SFSSSGPFPC\in (SN\rightarrow SFSSSG, PN\rightarrow PFPC, SNPN\rightarrow kol)^+}}?

:{{Формула|f=(SNPN)^+ = SNPNSFSSSGPFPCkol}}, значит выполняется, значит {{Формула|f=\rho}} обладает сохранением ФЗ.

=== Задача 4 ===

По каждой таблице.

==== Таблица S ====

Смотрим таблицу {{Формула|f=S}}:

1)

:{{Формула|f=X = SN}} - ключ.

2)

:{{Формула|f=Y(Y\nrightarrow X)}}: {{Формула|f=SF, SS, SG, SFSS, SFSG, SSSG, SFSSSG}}

3)

:рассматриваем {{Формула|f=Y = SF}}, ищем такие {{Формула|f=H}}, которые не принадлежат {{Формула|f=Y}}: {{Формула|f=SS, SG}}

:а)
:: {{Формула|f=SF\rightarrow SS}}?
:: {{Формула|f=SF^+=SF}}, значит {{Формула|f=SS\notin SF^+}}

:б)
:: {{Формула|f=SF\rightarrow SG}}?
:: {{Формула|f=SF^+=SF}}, значит {{Формула|f=SG\notin SF^+}}

:и так далее, "рутинная тупая работа".

:А можно было, оказывается, так: {{Формула|f=Y^+ = Y}}, а по условию {{Формула|f=H\notin Y}}, значит {{Формула|f=Y\nrightarrow H}}, так что таблица {{Формула|f=S}} находится в 3НФ.

==== Таблица P ====

В [[#ДЗ | домашнем задании]].

==== Таблица SP ====

В [[#ДЗ | домашнем задании]].

== Пример 2 ==

[[Файл:9sTORAs3pic1.png|link=Файл:9sTORAs3pic1.svg]]

Выписать все ФЗ.

{{Формула|f=\rho = (R_1, R_2, R_3, R_4, R_5)}}

{{Формула|f=F = (A\rightarrow C, B\rightarrow E, C\rightarrow F, D\rightarrow C)}}

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=b_5}} || {{Формула|f=b_5}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_5}} || {{Формула|f=b_5}}
|}

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=b_3}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=b_5}} || {{Формула|f=b_5}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_5}} || bgcolor="lime" | {{Формула|f=a}}
|}

Нет строчки, сплошь состоящей из {{Формула|f=a}}, значит {{Формула|f=\rho}} не обладает соединением из потерь - запрос на соединение пяти таблицы может выполняться неправильно.

Смотрим:

<syntaxhighlight lang="sql">
SELECT *
FROM R1, R2, R3, R4, R5
WHERE R1.A = R3.A
AND R3.B = R2.B
AND R1.C = R4.C
AND R4.C = R5.C
</syntaxhighlight>

и предположим, что задан следуюшие экземпляр универсальной схемы отношения:

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! rowspan="2" | {{Формула|f=r}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=d_1}} || {{Формула|f=e_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=d_2}} || {{Формула|f=e_2}} || {{Формула|f=f_1}}
|}

Найти проекции и выполнить их соединение по запросу выше.

Строим проекции:

{{Формула|f=r_1 = \Pi_{R_1}(r)}}

{| class="wikitable"
! !! A !! C
|- align="center"
! rowspan="2" | {{Формула|f=r_1}}
| {{Формула|f=a_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=c_1}}
|}

{{Формула|f=r_2 = \Pi_{R_2}(r)}}

{| class="wikitable"
! !! B !! E
|- align="center"
! rowspan="2" | {{Формула|f=r_2}}
| {{Формула|f=b_1}} || {{Формула|f=e_1}}
|- align="center"
| {{Формула|f=b_2}} || {{Формула|f=e_2}}
|}

{{Формула|f=r_3 = \Pi_{R_3}(r)}}

{| class="wikitable"
! !! A !! B
|- align="center"
! rowspan="2" | {{Формула|f=r_3}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}}
|}

{{Формула|f=r_4 = \Pi_{R_4}(r)}}

{| class="wikitable"
! !! C !! F
|- align="center"
! {{Формула|f=r_4}}
| {{Формула|f=c_1}} || {{Формула|f=f_1}}
|}

{{Формула|f=r_5 = \Pi_{R_5}(r)}}

{| class="wikitable"
! !! D !! C
|- align="center"
! rowspan="2" | {{Формула|f=r_5}}
| {{Формула|f=d_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=d_2}} || {{Формула|f=c_1}}
|}

Теперь соединения:

{{Формула|f=t_1 = r_1 \bowtie_A r_3}}

{| class="wikitable"
! !! A !! B !! C
|- align="center"
! rowspan="2" | {{Формула|f=t_1}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}}
|}

{{Формула|f=t_2 = t_1 \bowtie_B r_2}}

{| class="wikitable"
! !! A !! B !! C !! E
|- align="center"
! rowspan="2" | {{Формула|f=t_2}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=e_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=e_2}}
|}

{{Формула|f=t_3 = t_2 \bowtie_C r_4}}

{| class="wikitable"
! !! A !! B !! C !! E !! F
|- align="center"
! rowspan="2" | {{Формула|f=t_3}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=e_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=e_2}} || {{Формула|f=f_1}}
|}

{{Формула|f=t_4 = t_3 \bowtie_C r_5}}

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! rowspan="4" | {{Формула|f=t_4}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=d_1}} || {{Формула|f=e_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=d_1}} || {{Формула|f=e_2}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=d_2}} || {{Формула|f=e_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=d_2}} || {{Формула|f=e_2}} || {{Формула|f=f_1}}
|}

Получившееся не совпадает с исходной. Вот и проявилось отсутствие сохранения без потерь.

Но подсхемы {{Формула|f=(R_1, R_2, R_3, R_4)}} и {{Формула|f=(R_4, R_5)}}, при этом, обладают соединением без потерь.

== ДЗ ==

=== Задача №1 ===

[[#Пример 1 | Находятся ли]] {{Формула|f=P}} и {{Формула|f=SP}} в 3НФ?

==== Таблица P ====

Ищем тройку:
: 1) {{Формула|f=X = PN}}, {{Формула|f=PN}} - ключ.
: 2) {{Формула|f=Y(Y\nrightarrow X)}}: {{Формула|f=PF, PC, PFPC}}
: 3) рассматриваем:
:: а) {{Формула|f=Y = PF}}, {{Формула|f=H\notin Y}}: {{Формула|f=PC}}
::: {{Формула|f=PF\rightarrow^? PC}} нет
::: {{Формула|f=(PF)^+ = PF}}, {{Формула|f=PC\notin (PF)^+}}
:: б) {{Формула|f=Y = PC}}, {{Формула|f=H\notin Y}}: {{Формула|f=PF}}
::: {{Формула|f=PC\rightarrow^? PF}} нет
::: {{Формула|f=(PC)^+ = PC}}, {{Формула|f=PF\notin (PC)^+}}
Таким образом, не удалось подобрать необходимую тройку, значит таблица находится в 3НФ.

==== Таблица SP ====

Ищем тройку:
: 1) {{Формула|f=X = PN SN}}, так как {{Формула|f=SN PN\rightarrow kol}}
: 2) подберём {{Формула|f=Y}}, для которого {{Формула|f=X\rightarrow Y}}, {{Формула|f=Y\rightarrow X}}, {{Формула|f=Y(Y\nrightarrow X)}}: {{Формула|f=kol}}
:: {{Формула|f=(kol)^+ = kol}}, {{Формула|f=PNSN\nsubseteq kol}}, {{Формула|f=kol\nrightarrow SN}}
: 3) {{Формула|f=Y = kol}} - нельзя подобрать непервичный атрибут {{Формула|f=H}}: {{Формула|f=H\notin Y}}

Таким образом, не удалось подобрать необходимую тройку, значит таблица находится в 3НФ.

=== Задача №2 ===

Доказать, что эти две подсхемы {{Формула|f=(R_1, R_2, R_3, R_4)}} и {{Формула|f=(R_4, R_5)}} обадают соединением без потерь, и запрос на соединение выполнится правильно.

Ещё раз ФЗ: {{Формула|f=F = (A\rightarrow C, B\rightarrow E, C\rightarrow F, D\rightarrow C)}}

==== Первая подсхема ====

Подсхема {{Формула|f=(R_1, R_2, R_3, R_4)}}:

{| class="wikitable"
! !! A !! B !! C !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|}

{| class="wikitable"
! !! A !! B !! C !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}|| bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}, значит подсхема {{Формула|f=(R_1, R_2, R_3, R_4)}} обладает свойством соединения без потерь.

<syntaxhighlight lang="sql">
SELECT *
FROM R1, R2, R3, R4
WHERE R1.A = R2.A
AND R3.B = R2.B
AND R1.C = R4.C
</syntaxhighlight>

Строим проекции:

{{Формула|f=r_1 = \Pi_{R_1}(r)}}

{| class="wikitable"
! !! A !! C
|- align="center"
! rowspan="2" | {{Формула|f=r_1}}
| {{Формула|f=a_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=c_1}}
|}

{{Формула|f=r_2 = \Pi_{R_2}(r)}}

{| class="wikitable"
! !! B !! E
|- align="center"
! rowspan="2" | {{Формула|f=r_2}}
| {{Формула|f=b_1}} || {{Формула|f=e_1}}
|- align="center"
| {{Формула|f=b_2}} || {{Формула|f=e_2}}
|}

{{Формула|f=r_3 = \Pi_{R_3}(r)}}

{| class="wikitable"
! !! A !! B
|- align="center"
! rowspan="2" | {{Формула|f=r_3}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}}
|}

{{Формула|f=r_4 = \Pi_{R_4}(r)}}

{| class="wikitable"
! !! C !! F
|- align="center"
! {{Формула|f=r_4}}
| {{Формула|f=c_1}} || {{Формула|f=f_1}}
|}

Теперь соединения:

{{Формула|f=t_1 = r_1 \bowtie_A r_3}}

{| class="wikitable"
! !! A !! B !! C
|- align="center"
! rowspan="2" | {{Формула|f=t_1}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}}
|}

{{Формула|f=t_2 = t_1 \bowtie_B r_2}}

{| class="wikitable"
! !! A !! B !! C !! E
|- align="center"
! rowspan="2" | {{Формула|f=t_2}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=e_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=e_2}}
|}

{{Формула|f=t_3 = t_2 \bowtie_C r_4}}

{| class="wikitable"
! !! A !! B !! C !! E !! F
|- align="center"
! rowspan="2" | {{Формула|f=t_3}}
| {{Формула|f=a_1}} || {{Формула|f=b_1}} || {{Формула|f=c_1}} || {{Формула|f=e_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=a_2}} || {{Формула|f=b_2}} || {{Формула|f=c_1}} || {{Формула|f=e_2}} || {{Формула|f=f_1}}
|}

Соединение выполнилось верно.

==== Вторая подсхема ====

Подсхема {{Формула|f=(R_4, R_5)}}:

{| class="wikitable"
! !! C !! D !! F
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_5}}
|}

{| class="wikitable"
! !! C !! D !! F
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}, значит подсхема {{Формула|f=(R_4, R_5)}} обладает свойством соединения без потерь.

<syntaxhighlight lang="sql">
SELECT *
FROM R4, R5
WHERE R4.C = R5.C
</syntaxhighlight>

Строим проекции:

{{Формула|f=r_4 = \Pi_{R_4}(r)}}

{| class="wikitable"
! !! C !! F
|- align="center"
! {{Формула|f=r_4}}
| {{Формула|f=c_1}} || {{Формула|f=f_1}}
|}

{{Формула|f=r_5 = \Pi_{R_5}(r)}}

{| class="wikitable"
! !! D !! C
|- align="center"
! rowspan="2" | {{Формула|f=r_5}}
| {{Формула|f=d_1}} || {{Формула|f=c_1}}
|- align="center"
| {{Формула|f=d_2}} || {{Формула|f=c_1}}
|}

Теперь соединение:

{{Формула|f=t_1 = r_4 \bowtie_C r_5}}

{| class="wikitable"
! !! C !! D !! F
|- align="center"
! rowspan="2" | {{Формула|f=t_1}}
| {{Формула|f=c_1}} || {{Формула|f=d_1}} || {{Формула|f=f_1}}
|- align="center"
| {{Формула|f=c_1}} || {{Формула|f=d_2}} || {{Формула|f=f_1}}
|}

Соединение выполнилось верно.

=== Задача №3 ===

Как минимальным образом изменить схему БД из [[#Пример 2 | примера 2]], чтобы она обладала свойством соединения без потерь (чтобы запрос на соединение 5 таблиц выполнялся правильно).

Изменяем схему:

[[Файл:9sTORAs3pic2.png|link=Файл:9sTORAs3pic2.svg]]

Однако, это не самый минимальный способ, потому что мы ввели новую ФЗ. Можно было {{Формула|f=D}} добавить в ключ, тогда связь была бы идентифицирующая.

Но так тоже можно.

Теперь:

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=b_5}} || {{Формула|f=b_5}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_5}} || {{Формула|f=b_5}}
|}

{| class="wikitable"
! !! A !! B !! C !! D !! E !! F
|- align="center"
! {{Формула|f=R_1}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_2}}
| {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=R_3}}
| {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_4}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=R_5}}
| {{Формула|f=b_5}} || {{Формула|f=b_5}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_5}} || bgcolor="lime" | {{Формула|f=a}}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}, значит схема обладает свойством соединения без потерь.

=== Задача №4 ===

Задана универсальная схема отношений:

{{Формула|f=R = (A, B, C, D, E, K, V, S, X, G)}}

Задано множество ФЗ:

{{Формула|f=F = (A\rightarrow BCDV, K\rightarrow D, V\rightarrow SX, V\rightarrow G, XG\rightarrow KEV, VX\rightarrow D)}}

Задана схема БД:

{{Формула|f=\rho = (AKE, ABCX, AVGX, VSDG)}}

Обладает ли эта схема БД свойством соединения без потерь и свойством сохранения ФЗ.

==== Соединение без потерь ====

{{Формула|f=\rho = (AKE, ABCX, AVGX, VSDG)}}

{{Формула|f=F = (A\rightarrow BCDV, K\rightarrow D, V\rightarrow SX, V\rightarrow G, XG\rightarrow KEV, VX\rightarrow D)}}

{| class="wikitable"
! !! {{Формула|f=A}} !! {{Формула|f=B}} !! {{Формула|f=C}} !! {{Формула|f=D}} !! {{Формула|f=E}} !! {{Формула|f=K}} !! {{Формула|f=V}} !! {{Формула|f=S}} !! {{Формула|f=X}} !! {{Формула|f=G}}
|- align="center"
! {{Формула|f=AKE}}
| {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}} || {{Формула|f=b_1}}
|- align="center"
! {{Формула|f=ABCX}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || {{Формула|f=a}} || {{Формула|f=b_2}}
|- align="center"
! {{Формула|f=AVGX}}
| {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=VSDG}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=a}}
|}

{| class="wikitable"
! !! {{Формула|f=A}} !! {{Формула|f=B}} !! {{Формула|f=C}} !! {{Формула|f=D}} !! {{Формула|f=E}} !! {{Формула|f=K}} !! {{Формула|f=V}} !! {{Формула|f=S}} !! {{Формула|f=X}} !! {{Формула|f=G}}
|- align="center"
! {{Формула|f=AKE}}
| {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=ABCX}}
| {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=b_2}} || {{Формула|f=b_2}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}}
|- align="center"
! {{Формула|f=AVGX}}
| {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=b_3}} || {{Формула|f=b_3}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}} || {{Формула|f=a}}
|- align="center"
! {{Формула|f=VSDG}}
| {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=b_4}} || {{Формула|f=b_4}} || {{Формула|f=a}} || {{Формула|f=a}} || bgcolor="lime" | {{Формула|f=a}} || {{Формула|f=a}}
|}

Получили строку, сплошь состоящую из {{Формула|f=a}}, значит {{Формула|f=\rho}} обладает соединением без потерь.

==== Сохранение ФЗ ====

1-4)

: {{Формула|f=H = \varnothing}}
: {{Формула|f=УНП = A\rightarrow ABCDVSXGKE, K\rightarrow KD, V\rightarrow VSXGKED, XG\rightarrow XGKEVDS, VX\rightarrow VXDSGEK)}}
: {{Формула|f=H = (A\rightarrow DS, K\rightarrow D, V\rightarrow KE, XG\rightarrow KEDS, VX\rightarrow DSEK)}}

5)

: {{Формула|f=H\neq\varnothing}}

6)

: {{Формула|f=H\in^? (A\rightarrow BCV, V\rightarrow SXG)}} нет

{{Формула|f=A\rightarrow DS}}, {{Формула|f=A^+ = ABCVSXG}}

{{Формула|f=DS\notin ABCVSXG}}, значит {{Формула|f=\rho}} не обладает сохранением ФЗ.

[[Категория:Теоретические основы реляционной алгебры (9 семестр)|С]]
[[Категория:Конспекты лекций и семинаров]]