Третий манифест Кристофера Дейта и Хью Дарвена



         

Положительные RM-утверждения - часть 5


  • A - имя атрибута кортежа t. Никакие два различных триплета t не должны содержать одно и то же имя атрибута.

  • T - имя типа атрибута кортежа t.

  • v - значение типа T, называемое значением атрибута A кортежа t.

    Мощность множества триплетов в t, или число атрибутов t называется степенью t. Множество упорядоченных пар <A, T>, получающихся путем удаления компонента v из каждого триплета, является заголовком t. Кортеж t называется соответствующим этому заголовку (принадлежит к соответствующему типу кортежа - см. RM-утверждение 6). Степень заголовка - это степень кортежа, а атрибуты и соответствующие типы заголовка - это атрибуты и соответствующие типы кортежа t. При заданном заголовке H должна быть доступна операция selector для выбора произвольного кортежа, соответствующего H.

  • Значение отношения r (для краткости - отношение) состоит из заголовка и тела, где:

    1. Заголовком r является заголовок кортежа H (RM-утверждение 9). Отношение r назызвается соответствующим этому заголовку (принадлежит к соответствующему типу отношения - RM-утверждение 7), а степенью r является степень этого заголовка. Атрибуты и соответствующие типы r - это атрибуты и соответствующие типы H.

    2. Тело r - это множество B кортежей, каждый из которых имеет заголовок H; мощность тела называется мощностью r.

    При заданном заголовке отношения H должна быть доступна операция selector для выбора произвольного отношения, соответствующего H.

  • Скалярная переменная типа T - это переменная, допустимыми значениями которой являются скаляры указанного скалярного типа T, объявленного типа этой переменной. В языке D должны иметься доступные для пользователей средства определения скалярных переменных. При определении скалярной переменной должна производиться инициализация переменной некоторым значением - явно указанным в операции определения переменной или не указываемым явно, определенным в реализации.

  • Переменная кортежа типа TUPLE {H} - это переменная, допустимыми значениями которой являются кортежи, соответствующие указанному заголовку кортежа H.


    Содержание  Назад  Вперед