Классика баз данных - статьи
что этот пример служит исключительно
Оговоримся, что этот пример служит исключительно для демонстрации некоторых особенностей R*O систем и, поэтому, не претендует на полноту и точность.
Описываем тип ArtQty как кортежный тип. Атрибут Art имеет скалярный ссылочный тип Article (разъяснения см. далее).
DESCRIBE TUPLE ArtQty { Art Article; Quantity INTEGER; }
Элемент системы, служащий для хранения скаляров, будем называть полем. Соответственно, элемент, служащий для хранения кортежей, представляет собой неупорядоченный набор полей, а элемент, служащий для хранения значения типа-множества, представляет собой множество таких наборов.
Объектные типы описывают объекты. Объект имеет уникальный идентификатор (OID), который выражает присущее ему свойство уникальности и идентифицируемости, а также используется для организации доступа к этому объекту. Уникальный идентификатор объекта отделен от значений его компонентов.
Пример. Объектный тип Brand описывает уникальные торговые марки товаров.
CREATE CLASS Brand { Name STRING CONSTRAIN GLOBALKEY Name; }
(Ограничение целостности GLOBALKEY будет рассматриваться далее)
Объектный тип Article описывает товары. Объекты этого типа имеют уникальное поле No. Каждый артикул принадлежит одному из брендов.
CREATE CLASS Article { No STRING CONSTRAIN GLOBALKEY No; BrandName STRING CONSTRAIN FOREIGNKEY BrandName ON Brand.Name; }
(Ограничение целостности FOREIGNKEY будет рассматриваться далее)
Объектные типы являются конструируемыми. Определение объектного типа стоит из спецификации и реализации[]. Спецификацией называется декларативный перечень внешних свойств (атрибутов и методов), который можно рассматривать как интерфейс, по которому можно организовывать взаимодействия с объектом. Реализацией называется скрытая от внешнего доступа совокупность структур данных и программного кода, воплощающих заданную для этого типа спецификацию на основании существующего в данной системе набора типов и операций.
Мы рассматриваем и атрибуты, и методы объектных типов как компоненты, содержащие или возвращающие значения - т.е.
