Связь алгебры и исчисления — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
== Алгебра через исчисление ==
 
== Алгебра через исчисление ==
 
=== Проекция <tex>\pi_{A_1,\ldots,A_n}(R)</tex> ===
 
=== Проекция <tex>\pi_{A_1,\ldots,A_n}(R)</tex> ===
  <font color = blue>select</font> $A_1$<font color = gray>$,\ldots,$</font>$A_n$ <font color = blue>from</font> R
+
  <font color = blue>select</font> A1<font color = gray>$,\ldots,$</font>An <font color = blue>from</font> R
  
 
=== Фильтр <tex>\sigma_\theta(R)</tex> ===
 
=== Фильтр <tex>\sigma_\theta(R)</tex> ===
Строка 9: Строка 9:
 
  <font color = blue>select</font> R<font color = grey>.*,</font> expr <font color = blue>as</font> A <font color = blue>from</font> R
 
  <font color = blue>select</font> R<font color = grey>.*,</font> expr <font color = blue>as</font> A <font color = blue>from</font> R
  
=== Объединение <tex>R1 \cup R2</tex> ===
+
=== Объединение <tex>R_1 \cup R_2</tex> ===
 
  R <font color = grey>::</font> R1<font color = grey>,</font> R2
 
  R <font color = grey>::</font> R1<font color = grey>,</font> R2
 +
 +
=== Разность <text>R1 \setminus R2</tex> ===
 +
R <font color = grey>::</font> R1 <font color = blue>where ¬∃</font>R2 <font color = grey>(</font>R1 <font color = grey>=</font> R2<font color = grey>)</font>

Версия 01:50, 20 декабря 2021

Алгебра через исчисление

Проекция [math]\pi_{A_1,\ldots,A_n}(R)[/math]

select A1$,\ldots,$An from R

Фильтр [math]\sigma_\theta(R)[/math]

from R where $\theta$

Дополнительный столбец [math]\varepsilon_{A=expr}(R)[/math]

select R.*, expr as A from R

Объединение [math]R_1 \cup R_2[/math]

R :: R1, R2

Разность <text>R1 \setminus R2</tex>

R :: R1 where ¬∃R2 (R1 = R2)