Вклад участника
29 декабря 2021
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Пример преобразования
+168
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Квантор существования
+1
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Проекция \pi_{A_1,\ldots,A_n}(R)
+5
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Проекция \pi_{A_1,\ldots,A_n}(R)
-2
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Проекция \pi_{A_1,\ldots,A_n}(R)
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Алгебра через исчисление
+2
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Проекция \pi_{A_1,\ldots,A_n}(R)
-3
Исчисление кортежей
Синтаксис
+144
Исчисление кортежей
Переменные-кортежи
+223
28 декабря 2021
27 декабря 2021
Реляционное исчисление
Структура запросов
+716
Реляционное исчисление
Структура запросов
-28
Реляционное исчисление
Структура запросов
Реляционное исчисление
Структура запросов
-28
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Пример преобразования
+21
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Пример преобразования
+99
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Пример преобразования
+174
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Преобразование формулы
+18
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Применение кванторов
-85
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
+95
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
+176
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
+21
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Разность R1 \smallsetminus R2
+35
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
+335
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
-1
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Исчисление через алгебру
+1885
Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей
Нет описания правки
+2660
Исчисление кортежей
Примеры
-6
Исчисление кортежей
Примеры
+2006
