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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Разность R1 \setminus R2)
Строка 12: Строка 12:
 
  R <font color = grey>::</font> R1<font color = grey>,</font> R2
 
  R <font color = grey>::</font> R1<font color = grey>,</font> R2
  
=== Разность <tex>R1 \setminus R2</tex> ===
+
=== Разность <tex>R1 \smallsetminus R2</tex> ===
 
  R <font color = grey>::</font> R1 <font color = blue>where $\lnot\exists$</font>R2 <font color = grey>(</font>R1 <font color = grey>=</font> R2<font color = grey>)</font>
 
  R <font color = grey>::</font> R1 <font color = blue>where $\lnot\exists$</font>R2 <font color = grey>(</font>R1 <font color = grey>=</font> R2<font color = grey>)</font>

Версия 01:52, 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

Разность [math]R1 \smallsetminus R2[/math]

R :: R1 where $\lnot\exists$R2 (R1 = R2)