|
-
Ключові слова:
SQL ; конструювання програм, конструирование програм ; мови програмування, языки программирования, computer program language ; мовна семантика, языковая семантика
-
Анотація:
Описується семантика оператора SELECT, зокрема вкладених операторів SELECT. Уточнюється означення предикативів, що містять в собі підзапити, таких, як [тета]ALL, [тета]ANY, IN, EXIST, де [тета належить]{=, [не дорівнює], <, >, [менше або дорівнює], [більше або дорівнює]}. Задання семантики базується на поняттях іменних множин, мультимножин, тризначної логіки, повного образу, поширення операцій кон"юнкції та диз"юнкції на булевські множини.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
