Описується семантика оператора SELECT, зокрема вкладених операторів SELECT. Уточнюється означення предикативів, що містять в собі підзапити, таких, як [тета]ALL, [тета]ANY, IN, EXIST, де [тета належить]{=, [не дорівнює], <, >, [менше або дорівнює], [більше або дорівнює]}. Задання семантики базується на поняттях іменних множин, мультимножин, тризначної логіки, повного образу, поширення операцій кон"юнкції та диз"юнкції на булевські множини.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин