ГОСТ Р ИСО 10303-14—2015
Элемент
expression
в элементе языка
ORDERED BY
должен вычислять значения одинакового
сопоставимого по упорядоченности типа данныхдля всех связок в данном разделе. Ксопоставимым по
упорядоченности типам данных относятся
NUMBER, BINARY, STRING
и
ENUMERATION,
а также их
конкретизации. Результирующее упорядочение в связующем пространстве должно быть таким, чтобы
значением выражения
(е
<
t
) не было
FALSE,
где
е
и £ представляют значения, полученные при
вычислении выражения
expression
(см. синтаксическое правило 148) для любых двух последова
тельных элементов связующего пространства, а < — оператор сравнения значений языка EXPRESS
(ИСО 10303-11. пункт 12.2.1) . Если определены дополнительные элементы языка
expression,
то
для каждого последующего элемента
expression
описанный процесс применяется к результату вы
числения значения предыдущего элемента
expression.
Синтаксис:
47 binding header = l PARTITION partitioned id ’;’ j ( from clause )
[
J [ identified by
clause J [
local decl
ordered by
148 ordered by
J ( where_clause
clause ).
clause = ORDERED
BY expression {
expression ).
Правила и ограничения
a) Выражение
expression
из синтаксического правила 148 не должно давать в результате не
определенное значение для любых связок в данном разделе.
b
) В дочерних разделах образов и отображений не должен быть задан элемент языка
ORDERED
BY.
Дочерние разделы образов и отображений должны наследовать упорядочение от своих родитель
ских разделов, которое определяется элементом языка
ORDERED BY,
если он там задан.
c) Совокупность разделов образов, образующая иерархию, должна содержать не более одного
элемента языка
ORDERED BY.
d) Совокупность разделов отображений, связанных элементом
map subtype ot clause
(см.
синтаксическое правило 141), должна содержать не более одного элемента языка
ORDERED BY.
9.3 Объявление образа
9.3.1 Вводение
Объявление образа создает тип данных образа и объявляет идентификатор, чтобы на него ссы
латься.
Пример
—
Следующее объявление образа создает тип данных образа
arm_person_role_ in_
organization.
VIEW arm_person_role_in_organization;
FROM
pao :person_and_organization;
ccdpaoa : cc_design_person_and_organization_assignment;
WHERE ccdpaoa.assigned_person_and_organizationpao;
SELECT
person :person := pao.the_person;
org : organization pao.the_organization;
role : label := ccdpaoa.role.name;
END VIEW;
Синтаксис:
228 view decl = (root view decl |dependent view decl Isubtype view deci
) .
177 root view decl = VIEW view id I supertype constraint ]
Binding header SELECT view attr decl stmt list ( binding header SELECT
view attr decl stmt list ) END VIEW.
47 binding header = ( PARTITION partition -id) ( from clause ) I
local deci
ordered by
} [ where clause ] l identified by clause ] (
clause J .
90 from clause = FROM source parameter1 { source parameter ’ i .
198 source
83 extent
parameter
reference
= source
= source
parameter idextent reference .
entity reference I view reference .
14