Примечание - Синтаксис предложений в определении ограничений, а также
синтаксис букв, цифр и т.п. здесь не уточняется.
Определение концептуальной схемы можно "запомнить", если считать, что
каждое "объявление" является предложением, которое нужно добавить командой
add. "Удалить", "вывести" и т.д. имеют в данном контексте обычный смысл.
Пример:
add CONCEPTUAL-SCHEMA called "РЕГИСТРАЦИЯ-АВТОМОБИЛЕЙ";
add NOLOT called {'МОДЕЛЬ-АВТОМОБИЛЯ' 'ДАТА'
'ПЕРЕДАЧА' 'ВЛАДЕЛЕЦ'};
addLOTcalled{'РЕГИСТРАЦИОННЫЙ-НОМЕР'
'СЕРИЙНЫЙ-НОМЕР'};
add NOLOT called 'ИЗГОТОВИТЕЛЬ' is subtype-of NOLOT called
'ВЛАДЕЛЕЦ';
Д.3.3 Семантика
имя' ' .
Правило СемантикаОписание
(R2)(S1)
Экземпляры NOLOT с однозначно идентифицирующими
именами "имя-nolot" добавляются к концептуальной
схеме
(R3)(S2)
То же, что и (S1) для экземпляров LOT с именами имя-lot
LOT и NOLOT
(S3)- непересекающиеся подтипы типа метаобъектов "ТИП-
ОБЪЕКТА", другими словами, "имя-lot" не должно уже
существовать как "имя-nolot"
(R5)(S4)Упомянутые NOLOT должны уже существовать
(S5)Так как деление на подтипы - транзитивное свойство, не
должно быть замкнутого "цикла" при определении
подтипов
(R6)(S6)То же, что и (S4) с соответствующими изменениями
(S7)То же, что и (S5)
(R7)(S8)Добавляются экземпляры ролей с "именем-роли"; два