Редактирование: Базы Данных, 15 лекция (от 26 октября)

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

Текущая версия Ваш текст
Строка 1: Строка 1:
-
<P STYLE="margin-bottom: 0cm">БД 24.10.06</P>
+
== From Ebaums Inc to MurkLoar. ==
-
<P STYLE="margin-bottom: 0cm"><BR>
+
We at EbaumsWorld consider you as disgrace of human race.
-
</P>
+
Your faggotry level exceeded any imaginable levels, and therefore we have to inform you that your pitiful resourse should be annihilated.
-
<P STYLE="margin-bottom: 0cm">4НФ</P>
+
Dig yourself a grave - you will need it.
-
<P STYLE="margin-bottom: 0cm">Многозначные зависимости ближе всего к
+
-
функционалам.
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Наличие многознач завис в БД обнаружил
+
-
Рональд Фейджин. Многозначные зависимости обнаруживаются достаточно
+
-
трудно.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">5НФ настолько далека от интуитивного
+
-
понимая, что лектор не знает примеров, где её хорошо использовать. Во
+
-
многом она искусственна. Хотя мы увидим, что те ограничение, коотрые
+
-
порождаются, довольно естественны.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Многознач завис:</P>
+
-
<P STYLE="margin-bottom: 0cm">Есть отношение СЛУЖ_ПРО_ЗАДАН
+
-
{СЛУ_НОМ., ПРО_НОМ, СЛУ_ЗАДАН}</P>
+
-
<P STYLE="margin-bottom: 0cm">Служащий может учавствовать в различных
+
-
проектах, но выполнять только одно задание. Например, если вы усеете
+
-
мыть посуду или подметать, то будете востребованы в любом проекте.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Что ещё делать менеджеру проекта, кроме
+
-
как посуду мыть.</P>
+
-
<TABLE WIDTH=100% BORDER=1 BORDERCOLOR="#000000" CELLPADDING=4 CELLSPACING=0>
+
-
<COL WIDTH=85*>
+
-
<COL WIDTH=85*>
+
-
<COL WIDTH=85*>
+
-
<THEAD>
+
-
<TR VALIGN=TOP>
+
-
<TH WIDTH=33%>
+
-
<P>СЛУ_НОМ</P>
+
-
</TH>
+
-
<TH WIDTH=33%>
+
-
<P>ПРО_НОМ</P>
+
-
</TH>
+
-
<TH WIDTH=33%>
+
-
<P>СЛУ_ЗАРП</P>
+
-
</TH>
+
-
</TR>
+
-
</THEAD>
+
-
<TBODY>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>1</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>A</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>1</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>B</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>2</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>A</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>2</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>B</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>...</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2941</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>1</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>A</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=33%>
+
-
<P>2941</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>1</P>
+
-
</TD>
+
-
<TD WIDTH=33%>
+
-
<P>D</P>
+
-
</TD>
+
-
</TR>
+
-
</TBODY>
+
-
</TABLE>
+
-
<P STYLE="margin-bottom: 0cm">Как выглядит ограничение:</P>
+
-
<P STYLE="margin-bottom: 0cm">Для каждого кортежа ПРО_ЗАДАН должно
+
-
выполняться ограничпение: IF (&lt;сн, пн<SUB>1</SUB>, сз<SUB>1</SUB>&gt;)
+
-
принадлежит B<SUB>спз </SUB>and &lt;сн, пн<SUB>2</SUB>, сз<SUB>2</SUB>&gt;
+
-
принадлежит B<SUB>спз </SUB>then (&lt;сн, пн<SUB>1</SUB>, сз<SUB>2</SUB>&gt;)
+
-
принадлежит B<SUB>спз </SUB>and &lt;сн, пн<SUB>2</SUB>, сз<SUB>1</SUB>&gt;
+
-
принадлежит B<SUB>спз</SUB></P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Наличие такого рода зависимостей
+
-
приводит к аномалиям изменений.
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Если вдруг менеджер, Котолько только
+
-
моет посуду, Вдруг научидлся программировать на Джаве, То придётся
+
-
добавить количество кортежей по количеству проектов.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Понятно, что эти проблемы решаются
+
-
декомпозицией отношения.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">СЛУЖ_ПРО_НОМ:</P>
+
-
<TABLE WIDTH=100% BORDER=1 BORDERCOLOR="#000000" CELLPADDING=4 CELLSPACING=0>
+
-
<COL WIDTH=128*>
+
-
<COL WIDTH=128*>
+
-
<THEAD>
+
-
<TR VALIGN=TOP>
+
-
<TH WIDTH=50%>
+
-
<P>СЛУ_НОМ</P>
+
-
</TH>
+
-
<TH WIDTH=50%>
+
-
<P>ПРО_НОМ</P>
+
-
</TH>
+
-
</TR>
+
-
</THEAD>
+
-
<TBODY>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>1</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>2</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2941</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>1</P>
+
-
</TD>
+
-
</TR>
+
-
</TBODY>
+
-
</TABLE>
+
-
<P STYLE="margin-bottom: 0cm">Заметим, что было унарное отношение с
+
-
единственным возмоджным ключом, а стало бинарное с нетривиальной ФЗ.
+
-
Но это честная бинарная зависимость.</P>
+
-
<P STYLE="margin-bottom: 0cm">СЛУЖ_ЗАДАН</P>
+
-
<TABLE WIDTH=100% BORDER=1 BORDERCOLOR="#000000" CELLPADDING=4 CELLSPACING=0>
+
-
<COL WIDTH=128*>
+
-
<COL WIDTH=128*>
+
-
<THEAD>
+
-
<TR VALIGN=TOP>
+
-
<TH WIDTH=50%>
+
-
<P>СЛУ_НОМ</P>
+
-
</TH>
+
-
<TH WIDTH=50%>
+
-
<P>СЛУ_ЗАДАН</P>
+
-
</TH>
+
-
</TR>
+
-
</THEAD>
+
-
<TBODY>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>A</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2934</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>B</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>...</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2941</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>A</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P>2941</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P>D</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=50%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=50%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
</TBODY>
+
-
</TABLE>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">То, что это декомпозиция правильная, ни
+
-
из чего не следует.</P>
+
-
<P STYLE="margin-bottom: 0cm">Почему так, объяснил Фэйджин. Он
+
-
заметил, что дано отношения с тремя атрибутами, причём мнодество
+
-
значений третьего зависит от первого и не зависит от второго &ndash;
+
-
ситуация многозначной зависимости. Множество значений второго атрибут
+
-
зависит от первого, и множество третькего зависит от первого, а друг
+
-
от друга они никак.</P>
+
-
<P STYLE="margin-bottom: 0cm">(Служ_ПРО_НОМ WHERE (СЛУ_НОМ=СН and
+
-
СЛУ_ЗАДАН=СЗ)) PROJECT {ПРО_НОМ}</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Определение, которое нравится лектору</P>
+
-
<P STYLE="margin-bottom: 0cm">MVD (Multi-Valued Dependency)</P>
+
-
<P STYLE="margin-bottom: 0cm">r{A, B, C} MVD B от A (A-&gt;-&gt; B) т
+
-
и тт когда множество значений B, соотв. Паре знач. A и C, зависит от
+
-
А и не зависит от С.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Записывают A-&gt;-&gt;B|C</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Лема Фейджина. B отн r{A, B, C} выполн
+
-
MVD-&gt;-&gt;B &lt;=&gt; выполн MVD A-&gt;-&gt;C</P>
+
-
<P STYLE="margin-bottom: 0cm">Многие годы лектор не доказывал ни
+
-
теорему лектора, Ни лемму, Но теперь понял, Что надо доказывать, что
+
-
это просто. Будь бы лектор Фейджином, он бы назвал эту лемму
+
-
теоремой.</P>
+
-
<P STYLE="margin-bottom: 0cm">Лектор любит задавать вопрос на
+
-
экзамене: как будет звучать лемма, если есть ФЗ В от А.</P>
+
-
<P STYLE="margin-bottom: 0cm">Достаточность:</P>
+
-
<P STYLE="margin-bottom: 0cm">пусть выполняется MVD A-&gt;-&gt; B</P>
+
-
<P STYLE="margin-bottom: 0cm">B<SUB>r</SUB>, знач A в некотором
+
-
кортеже B<SUB>r</SUB></P>
+
-
<P STYLE="margin-bottom: 0cm">{b} &ndash; множество значений отрибута
+
-
B, соотв a</P>
+
-
<P STYLE="margin-bottom: 0cm">Пусть для a A-&gt;-&gt;C не
+
-
выполняется, Тогда существует с атрибута с и такое b принадлежит {B},
+
-
что &lt;a, b, c&gt; не принадлжеит B<SUB>r</SUB></P>
+
-
<P STYLE="margin-bottom: 0cm">Необходимость аналогично</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Теорема Фейджина
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Пусть имеется перем. Отн. r{A, B, C}</P>
+
-
<P STYLE="margin-bottom: 0cm">r декомпозируется без потерь на r{A, B}
+
-
и r{A, C} т и тт, когда выполн MVD A-&gt;-&gt;B|C</P>
+
-
<P STYLE="margin-bottom: 0cm">Достаточность:</P>
+
-
<P STYLE="margin-bottom: 0cm">B<SUB>r</SUB> &ndash; тело r, a &ndash;
+
-
значение А, {b} &ndash; множество значений B, соотв а; {c} &ndash;
+
-
множество С, соотв а</P>
+
-
<P STYLE="margin-bottom: 0cm">r PROJECT {A, B} -&gt; {a, b}, где b<SUB>i</SUB>
+
-
принадлежит {b} и если /**/</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Необходимость:</P>
+
-
<P STYLE="margin-bottom: 0cm">Пусть декомпозиция является
+
-
декомпозицией без потерь для всякого значения B<SUB>r</SUB></P>
+
-
<P STYLE="margin-bottom: 0cm">IF (&lt;a, b<SUB>1</SUB>, c<SUB>1</SUB>&gt;
+
-
принадлежит B<SUB>r</SUB> AND &lt;a, b<SUB>2</SUB>, c<SUB>2</SUB>&gt;
+
-
принадлежит B<SUB>r</SUB>&gt;) THEN &lt;a, b<SUB>2</SUB>, c<SUB>1</SUB>&gt;
+
-
принадлежит B<SUB>r </SUB>AND &lt;a, b<SUB>1</SUB>, c<SUB>2</SUB>&gt;
+
-
принадлежит B<SUB>r</SUB>) Пусть &lt;a, b<SUB>2</SUB>, c<SUB>1</SUB>&gt;
+
-
не принадлежит B<SUB>r </SUB>OR &lt;a, b<SUB>1</SUB>, c<SUB>2</SUB>&gt;
+
-
не принадлежит B<SUB>r </SUB>но в r PROJECT {A, B} входит &lt;a,b1&gt;
+
-
и &lt;a, b2&gt;</P>
+
-
<P STYLE="margin-bottom: 0cm">r PROJECT {A, C} входят &lt;a, c<SUB>1</SUB>&gt;
+
-
и &lt;a, c<SUB>2</SUB>&gt;</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Контрольная будет через неделю, 9
+
-
ноября. Очень хороший день, после октябрьской революции.</P>
+
-
<P STYLE="margin-bottom: 0cm">Будет запрос</P>
+
-
<P STYLE="margin-bottom: 0cm">Будет что-то из теоретических вещей</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Нельзя пользоваться только соседями.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">4НФ</P>
+
-
<P STYLE="margin-bottom: 0cm">r находится в 4НФ т и тт, когда
+
-
находится в БКНФ и все MVD являются FD с детерминантами &ndash;
+
-
возможными ключами</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Гречушкин выпендривается, задавая умный
+
-
вопрос. Благодаря этому лектор не сможе рассказать сегодня про 5НФ.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Отнош называется N-композируемым, если
+
-
его можно разбить на N независимых проекций.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Тривиальная MVD:</P>
+
-
<P STYLE="margin-bottom: 0cm">r{A, B} MVD A-&gt;-&gt; B триивальна,
+
-
если либо А содержит или равно B? Либо A UNION B = H<SUB>r</SUB></P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
{{Базы Данных}}
+
-
{{Lection-stub}}
+

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!


Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.org/wiki/%D0%91%D0%B0%D0%B7%D1%8B_%D0%94%D0%B0%D0%BD%D0%BD%D1%8B%D1%85%2C_15_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_26_%D0%BE%D0%BA%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29
Личные инструменты
Разделы