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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Декартово произведение R_1\timesR_2)
Строка 15: Строка 15:
 
  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>
  
=== Декартово произведение <tex>R_1\timesR_2</tex> ===
+
=== Декартово произведение <tex>R_1 \times R_2</tex> ===
  R1.*, R2.* from R1, R2
+
  R1<font color = grey>.*,</font> R2<font color = grey>.*</font> <font color = blue>from</font> R1<font color = grey>,</font> R2

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

Декартово произведение [math]R_1 \times R_2[/math]

R1.*, R2.* from R1, R2