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