Изменения

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

Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей

16 байт добавлено, 02:25, 20 декабря 2021
→‎Исчисление через алгебру
{{Определение
|definition=
'''Предваренная нормальная форма''' {{---}} выражениеформа, при которой в начале которого выражения записаны все кванторы, а затем глобальное условие.
}}
Sashapff
462
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81607»

Навигация