Исчисление кортежей: различия между версиями

Интерактивная навигация по истории

[непроверенная версия]

[отпатрулированная версия]

← Предыдущая правка

Содержимое удалено Содержимое добавлено

ВизуальныйВики-текст

Версия от 12:06, 19 марта 2007 править 212.220.64.34 (обсуждение) Нет описания правки ← Предыдущая правка		Текущая версия от 11:22, 1 апреля 2015 править отменить JackieBot (обсуждение \| вклад) Загружающие 194 108 правок м Разрешение значений с помощью бота: Кортеж — изменение ссылок на Кортеж (информатика)
(не показано 8 промежуточных версий 5 участников)
Строка 1: '''Исчисление кортежей''' — направление [[Реляционное исчисление\|реляционного исчисления]], где [[Функция (математика)#Определение\|областями определения]] [[Переменная\|переменных]] являются тела [[Отношение (реляционная модель)\|отношений]] [[База данных\|базы данных]], т.то е.есть допустимым значением каждой переменной является [[Кортеж (информатика)\|кортеж]] тела некоторого отношения.▼ {{computer-sci-stub}}{{math-stub}}▼ ▲'''Исчисление кортежей''' — направление [[Реляционное исчисление\|реляционного исчисления]], где [[Функция (математика)#Определение\|областями определения]] [[Переменная\|переменных]] являются тела [[Отношение (реляционная модель)\|отношений]] [[База данных\|базы данных]], т. е. допустимым значением каждой переменной является [[кортеж]] тела некоторого отношения. == Операторы исчисления кортежей (в синтаксисе языка QUEL) == === Определение кортежной переменной === '' RANGE'' ИмяПеременной ''IS'' ИмяОтношения~~<br />~~ Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си: ИмяПеременной. ИмяАтрибута === Правильно построенные формулы === Правильно построенная формула (''Well-Formed Formula, WFF'') служит для выражения условий, накладываемых на кортежные переменные. ==== Простые условия ==== Простые условия представляют собой операции сравнения скалярных значений. Примеры: ~~<br />~~ ИмяПеременной. ИмяАтрибута = СкалярноеЗначение~~<br />~~ ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ~~<br />~~ ИмяПеременной. ИмяАтрибута <> СкалярноеЗначение~~<br />~~ ИмяПеременнойА.ИмяАтрибутаБ < ИмяПеременнойВ.ИмяАтрибутаГ~~<br />~~ ==== Сложные условия ==== Сложные условия строятся с помощью логических связок NOT, AND, OR и IF ~~...~~… THEN с ~~учетом~~учётом обычных приоритетов операций (NOT > AND > OR) и возможности расстановки скобок. Так, если Формула – — правильно построенная формула, а Условие – — простое сравнение, то ~~<br />~~ ~~NOT Формула<br />~~ ~~Условие AND~~ NOT Формула~~<br />~~ Условие ORAND Формула~~<br />~~ IF Условие ~~THEN~~OR Формула~~<br />~~ IF Условие THEN Формула являются правильно построенными формулами. <!-- ==== [[Квантор]]ы ==== Квантор существования: --> ~~[[Категория:Реляционная модель данных]]~~ ▲{{computer-sci~~-stub}}{{math~~-stub}} {{math-stub}} {{rq\|sources\|refless\|wikify\|topic=IT}} {{перевести\|en\|Tuple relational calculus}} [[Категория:Реляционное исчисление]]