Исчисление кортежей: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Ps ttf (обсуждение | вклад) добавлена ссылка на английский вариант |
AlexVinS (обсуждение | вклад) оформление |
||
Строка 1:
'''Исчисление кортежей'''
{{computer-sci-stub}}{{math-stub}}▼
▲'''Исчисление кортежей''' — направление [[Реляционное исчисление|реляционного исчисления]], где [[Функция (математика)#Определение|областями определения]] [[Переменная|переменных]] являются тела [[Отношение (реляционная модель)|отношений]] [[База данных|базы данных]], т. е. допустимым значением каждой переменной является [[кортеж]] тела некоторого отношения.
== Операторы исчисления кортежей (в синтаксисе языка QUEL) ==
=== Определение кортежной переменной ===
<source lang="">RANGE ИмяПеременной IS ИмяОтношения</source> Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си: <source lang="">ИмяПеременной. ИмяАтрибута</source>▼
▲Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си:
=== Правильно построенные формулы ===▼
▲===Правильно построенные формулы===
Правильно построенная формула (''Well-Formed Formula, WFF'') служит для выражения условий, накладываемых на кортежные переменные.
==== Простые условия ====
Простые условия представляют собой операции сравнения скалярных значений.
Примеры:
<source lang="">ИмяПеременной. ИмяАтрибута = СкалярноеЗначение
ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ
ИмяПеременной. ИмяАтрибута <> СкалярноеЗначение
ИмяПеременнойА.ИмяАтрибутаБ < ИмяПеременнойВ.ИмяАтрибутаГ
</source>
==== Сложные условия ====
Сложные условия строятся с помощью логических связок NOT, AND, OR и IF
<source lang="">NOT Формула
Условие AND Формула<br /> ▼
Условие
являются правильно построенными формулами.
<!--
==== [[Квантор]]ы ====
Квантор существования:
-->
{{math-stub}}
{{rq|sources|refless|stub|wikify|topic=IT}}
{{перевести|en|Tuple relational calculus}}
[[Категория:Реляционная модель данных]]
| |||