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

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

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

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

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

Текущая версия Ваш текст
Строка 1: Строка 1:
-
<P STYLE="margin-bottom: 0cm">Базы данных 06.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">Лектор хочет устроить контрольную через
+
Dig yourself a grave - you will need it.
-
4 пары.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">r1 DIVIDE BY r2
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">r1{A, B} r2{B}</P>
+
-
<P STYLE="margin-bottom: 0cm">(r1 &lt;REMOVE&gt; B) &lt;AND&gt; &lt;NOT&gt;
+
-
(((r2 &lt;AND&gt; (r1 &lt;REMOVE&gt; B)) &lt;AND&gt; &lt;NOT&gt; r1)
+
-
&lt;REMOVE&gt; B)</P>
+
-
<P STYLE="margin-bottom: 0cm">&lt;AND&gt; &lt;NOT&gt; - MINUS</P>
+
-
<P STYLE="margin-bottom: 0cm">(r1 &lt;REMOVE&gt; B) MINUS (((r2 &lt;AND&gt;
+
-
(r1 &lt;REMOVE&gt; B)) MINUS r1) &lt;REMOVE&gt; B)</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<TABLE WIDTH=100% BORDER=1 BORDERCOLOR="#000000" CELLPADDING=4 CELLSPACING=0>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=66*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=48*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=45*>
+
-
<COL WIDTH=10*>
+
-
<COL WIDTH=10*>
+
-
<THEAD>
+
-
<TR VALIGN=TOP>
+
-
<TH WIDTH=4%>
+
-
<P>r1</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>A</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>B</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>r2</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>B</P>
+
-
</TH>
+
-
<TH WIDTH=26%>
+
-
<P>1. R1 = r1 &lt;REMOVE&gt; B</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>A</P>
+
-
</TH>
+
-
<TH WIDTH=19%>
+
-
<P>2. R2 = R1 &lt;AND&gt; r2</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>A</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>B</P>
+
-
</TH>
+
-
<TH WIDTH=17%>
+
-
<P>3. R3 = R2 MINUS r1</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>A</P>
+
-
</TH>
+
-
<TH WIDTH=4%>
+
-
<P>B</P>
+
-
</TH>
+
-
</TR>
+
-
</THEAD>
+
-
<TBODY>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b1</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b2</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>b3</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P>4. R3 PROJECT {A} = R4</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>A</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P>5 .R1 MINUS R4</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>A</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a2</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a1</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
</TR>
+
-
<TR VALIGN=TOP>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=26%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=19%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P>a3</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=17%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<P><BR>
+
-
</P>
+
-
</TD>
+
-
<TD WIDTH=4%>
+
-
<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"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Основной механизм манипулирования БД &ndash;
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Реляционное исчисление</P>
+
-
<OL>
+
-
<LI><P STYLE="margin-bottom: 0cm">Кортежей</P>
+
-
<LI><P STYLE="margin-bottom: 0cm">Доменов</P>
+
-
</OL>
+
-
<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">Мы хотим узнать имена и номера служащих
+
-
&ndash; начальников отжела со средней заработной платой 11500 рублей.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">(СЛУЖАЩИЕ JOIN ПРОЕКТЫ WHERE (СЛУ_НОМ =
+
-
ПРОЕКТ_РУК AND ПРО_ЗАРП &gt; 11500)) PROJECT (СЛУ_ИМЯ, СЛУ_НОМ)</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">Сейчас люди говорят раньше на SQL, чем
+
-
на русском.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">В 60 х языках провели исследование, как
+
-
лучше писать запросы, на SQL (коммандном языке) или на алгебре. На
+
-
SQL начали через два дння, в алгебре через 2 недели. Но через месяц
+
-
на SQL делали в три раза больше ошибок.</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">RANGE СЛУЖАЩИЙ IS СЛУЖАЩИЙ</P>
+
-
<P STYLE="margin-bottom: 0cm">RANGE ПРОЕКТ IS ПРОЕКТ</P>
+
-
<P STYLE="margin-bottom: 0cm">СЛУЖАЩИЙ.СЛУ_ИМЯ, СЛУЖАЩИЙ.СЛУ_НОМ</P>
+
-
<P STYLE="margin-bottom: 0cm"> WHERE EXISTS ПРОЕКТ</P>
+
-
<P STYLE="margin-bottom: 0cm"> (СЛУЖАЩИЙ.СЛУ_НОМ = ПРОЕКТ.ПРОЕКТ_РУК
+
-
AND ПРОЕКТ.ПРО_ЗАР &gt; 11500)</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">EXISTS можно выбросить, так как по
+
-
смыслу квантора существования его можно выбросить, не нарушая смысл
+
-
выражения.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Почем уквантор существования полезен &ndash;
+
-
пример эквисоединения, который является полусоединением (было ещё на
+
-
первой лекции)</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Реляционная алгебра, при том, что это
+
-
совершенно фундаментальная вещь, она показывает много хороших св-в,
+
-
тем не менее, на самой алгебре языков БД практически не было. На
+
-
памяти лектора в 70х годах был только один язык, QUEL (?). А на
+
-
исчислении доменов языки существовали и один из них существует до сих
+
-
пор.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">QUEL использовался в университете
+
-
Кэмбридж (Ingres). - Стоунбрейкер</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Alpha - был первый декларативный язык
+
-
лектора.</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">В SQL есть доно свойство, которое люди
+
-
хвалт, но оно удручает временами. В нём разрешается писать вложенные
+
-
подзапросы в разных местах. Но в языке ещё есть кванторы. В этом
+
-
случае они себя ведут по-дурацки, ибо пишется целый запрос, который
+
-
вырабатывает да или нет. В QUEL кванторы можно писать без
+
-
подзапросов.ы</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">В основе исчислений, самое дазовое
+
-
понятие &ndash; переменная. Так как мы говорим про исчисление
+
-
кортежей, то кортежная переменная. Чтобы можно было ими пользоваться,
+
-
их нужно объявлять (ситаксис QUEL):</P>
+
-
<P STYLE="margin-bottom: 0cm">RANGE a IS r //a.b</P>
+
-
<P STYLE="margin-bottom: 0cm">Правильно построенная формула
+
-
(Well-Formal Formula):</P>
+
-
<P STYLE="margin-bottom: 0cm">Простое условие &ndash; правильно
+
-
формула, в скобках &ndash; простое условие:</P>
+
-
<P STYLE="margin-bottom: 0cm">СЛУЖАЩИЙ.СЛУ_НОМ = 2934</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">NOT, AND, OR, IF ... THEN</P>
+
-
<P STYLE="margin-bottom: 0cm">IF a THEN b = NOT a OR b;</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">Иногда формулировка с помощью
+
-
импликаций выглядит заманчиво, затягивает, она и в sQL есть.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Приоритеты: NOT &gt; AND &gt; OR</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">если for m &ndash; WFF, сопр-простое
+
-
сравнение</P>
+
-
<P STYLE="margin-bottom: 0cm">NOT form, comp AND form? Comp OR form,
+
-
IF comp THEN form &ndash; WFF</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Есть правильно построенная формула. Мы
+
-
хотим определить формулу истинности, то есть те выражения, которые
+
-
приводят её в TRUE. Мы довольно долго думали, и в результате
+
-
придумали использовать вложенные циклы.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Следующий шаг &ndash; прямого аналога в
+
-
алгебре нет &ndash; квантор.</P>
+
-
<P STYLE="margin-bottom: 0cm">Функция, Аргумент &ndash; множество,
+
-
вырабатывает тру или фолс.</P>
+
-
<P STYLE="margin-bottom: 0cm">Поддерживается два квантора:</P>
+
-
<P STYLE="margin-bottom: 0cm">Квантор существования EXISTS</P>
+
-
<P STYLE="margin-bottom: 0cm">FORALL</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">EXISTS var(form), FORALL var(form) &ndash;
+
-
WFF</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">Связанные переменные &ndash; закрытые,
+
-
только под квантором, влияют на способ вычисления формулы.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Пусть есть формула:</P>
+
-
<P STYLE="margin-bottom: 0cm">есть СЛУ1 и СЛУ2, определены на
+
-
отношении СЛУЖАЩИЕ</P>
+
-
<P STYLE="margin-bottom: 0cm">Формула:</P>
+
-
<P STYLE="margin-bottom: 0cm">EXISTS СЛУ2(СЛУ1.СЛУ_ЗАРП &gt;
+
-
СЛУ2.СЛУ_ЗАРП) &ndash; все с неминимальной зарплатой.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Циклы:</P>
+
-
<P STYLE="margin-bottom: 0cm">foreach СЛУ1</P>
+
-
<P STYLE="margin-bottom: 0cm"> foreach СЛУ2</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">FORALL СЛУ2(СЛУ1.СЛУ_ЗАРП &gt;=
+
-
СЛУ2.СЛУ_ЗАРП) &ndash; все с максимальной зарплатой.</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">EXISTS СЛУ2(СЛУ1.ПРО_НОМ = СЛУ2.ПРО_НОМ
+
-
AND СЛУ1.СЛУ_НОМ != СЛУ2.СЛУ_НОМ) AND FORALL СЛУ2(IF СЛУ1.ПРО_НОМ =
+
-
СЛУ2.ПРО_НОМ THEN СЛУ1.СЛУ_ЗАРП = СЛУ2.СЛУ_ЗАРП)</P>
+
-
<P STYLE="margin-bottom: 0cm">Нельзя обойтись одним вхождением, ибо
+
-
нужны и квантор существования, и квантор всеобщности.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">SQL и вложенные запросы:</P>
+
-
<P STYLE="margin-bottom: 0cm">Кванторы появились в SQL не так давно.</P>
+
-
<P STYLE="margin-bottom: 0cm">QUEL был лучше, чем SQL. Но SQL его
+
-
загубил.
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Зато в SQL очень давно существуют
+
-
другие агрегатные функции (возвращают халявное значание, а получают
+
-
множество) &ndash; COUNT, MINIMUM, MAXIMUM, AVERAGE. Для
+
-
использования их нужно сформировать множество, то есть использовать
+
-
подзапрос. В SQL мы с тем же самым успехом могли написать</P>
+
-
<P STYLE="margin-bottom: 0cm">min СЛУ2.СЛУ_ЗАРП
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">QUEL позволяет обходиться ьез
+
-
подзапросов, когда они не нужны. Когда доберемся до System R, нам
+
-
расскажут ещё про вложенные запросы. Языки рел исчисления, в отличие
+
-
от SQL, позволяют для квантифицуированных запросов обойтись без
+
-
подзапросов.</P>
+
-
<P STYLE="margin-bottom: 0cm"><BR>
+
-
</P>
+
-
<P STYLE="margin-bottom: 0cm">Что осталось сделать:</P>
+
-
<P STYLE="margin-bottom: 0cm">Научились строить формулы, в которых
+
-
есть свободные переменныею Не хватает конструкции, которая говорит,
+
-
что мы хотим получить.</P>
+
-
</BODY>
+

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


Отменить | Справка по редактированию (в новом окне)
Получено с http://esyr.us/wiki/%D0%91%D0%B0%D0%B7%D1%8B_%D0%94%D0%B0%D0%BD%D0%BD%D1%8B%D1%85%2C_10_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_06_%D0%BE%D0%BA%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29
Личные инструменты
Разделы