Исчисление кортежей

Исчисление кортежей

Исчисление кортежей — направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения.

Содержание

Операторы исчисления кортежей (в синтаксисе языка QUEL)

Определение кортежной переменной

RANGE ИмяПеременной IS ИмяОтношения

Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си:

ИмяПеременной. ИмяАтрибута

Правильно построенные формулы

Правильно построенная формула (Well-Formed Formula, WFF) служит для выражения условий, накладываемых на кортежные переменные.

Простые условия

Простые условия представляют собой операции сравнения скалярных значений. Примеры:

ИмяПеременной. ИмяАтрибута = СкалярноеЗначение
ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ
ИмяПеременной. ИмяАтрибута <> СкалярноеЗначение
ИмяПеременнойА.ИмяАтрибутаБ < ИмяПеременнойВ.ИмяАтрибутаГ

Сложные условия

Сложные условия строятся с помощью логических связок NOT, AND, OR и IF … THEN с учетом обычных приоритетов операций (NOT > AND > OR) и возможности расстановки скобок. Так, если Формула — правильно построенная формула, а Условие — простое сравнение, то

NOT Формула
Условие AND Формула
Условие OR Формула
IF Условие THEN Формула

являются правильно построенными формулами.


Информатика
Формула
Wiki letter w.svg
 Для улучшения этой статьи по информационным технологиям желательно?:
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
  • Проставив сноски, внести более точные указания на источники.
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
  • Викифицировать статью.
Есть более полная статья

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "Исчисление кортежей" в других словарях:

  • Реляционное исчисление — Реляционное исчисление  прикладная ветвь формального механизма исчисления предикатов первого порядка. В основе исчисления лежит понятие переменной с определенной для нее областью допустимых значений и понятие правильно построенной формулы,… …   Википедия

  • Реляционная алгебра — Реляционная алгебра  замкнутая система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также называют реляционными операциями. Первоначальный набор из 8 операций был предложен Э. Коддом в 1970 е годы и… …   Википедия

  • Отношение (реляционная модель) — У этого термина существуют и другие значения, см. Отношение. Отношение  фундаментальное понятие реляционной модели данных. По этой причине модель и называется реляционной (от лат. relatio  отношение, связь). Содержание 1… …   Википедия

  • ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …   Математическая энциклопедия

  • Параллелизм (компьютерные науки) — У этого термина существуют и другие значения, см. Параллелизм. «Проблема обедающих философов» классическая проблема с параллелизмом и разделяемыми ресурсами …   Википедия

  • Зависимый тип — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Зависимый тип, в информатике и логике  тип, который зависит от значения. Зависимые… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»