Иерархические модели данных. Деревья в СУБД Cache

Классическая команда ветвления

Все ветви разветвления передаются единственной командой:

Например:

Вы, конечно, обратили внимание, на необычную запись последнего примера и приведённой выше команды GOTO . Дело в том, что многострочная запись команды в терминале не работает и реализовать ее можно только в программе, создаваемой в инструментальном средстве Студия. А там действует правило: с первой позиции в строке записываются только метки программ, а команды занимают позиции со второй и далее. Упомянутая команда GOTO также предназначена для использования в программе.

Запустим из меню куба Cache ещё один инструмент — Студию (рисунок 3.15).

увеличить изображение
Рис. 3.15. Студия

При выборе в подменю позиции "Создать" будет предложен выбор варианта. Для создания программы будем останавливаться на выборе по умолчанию "Cache ObjectScript программа". В "Объектные модели данных" в студии будут создаваться классы (вариант "Класс Cache"). Многочисленные остальные возможности в этой книге не используются.

Наберем текст IF в точности так, как указано в последнем примере. Попробуйте набрать какую-нибудь команду с начала строки. На поле слева появится красная стрелка - признак ошибки в строке. Текст команды будет подчёркнут красным.

Есть два варианта компилирования программы. В первом выберите в меню последовательность "Файл>Сохранить как", затем укажите имя программы, например P1. Расширение имени пока роли не играет. Оставьте предлагаемое расширение .mac. Обратите внимание на то, что имя программы чувствительно к регистру, так что P1 и p1 это разные имена.

Во втором варианте выберите в головном меню позицию "Собрать", а затем "Компилировать" (или просто наберите комбинацию клавиш Ctrl+F7). В любом варианте выполняется компиляция.

Поскольку программа создана успешно и сохранена в виде глобала AP1.mac, ее можно вызвать из терминала с помощью команды D[O] —ВЫПОЛНИТЬ. Расширение имени указывать не обязательно. Проверьте в терминале её работу (рисунок 3.16)

Рис. 3.16. Первая программа

Переменная $TEST в этой форме разветвления не задействована.

Циклы

В ObjectScript, как и в большинстве языков программирования, имеются три основных типа циклов:

• цикл с параметрами "FOR";
• цикл с предусловием "WHILE";
• цикл с постусловием "DO ...WHILE".

Структуры команды FOR:

В однострочном варианте тело цикла образуют все команды, помещённые после команды FOR до конца строки. В простейшем случае параметр имеет одну из форм:

Значения счётчика цикла могут и возрастать и убывать и принимать числовые и строчные значения вперемешку.

В сокращённых версиях цикла отсутствует проверка конца. Поэтому: необходимо в теле цикла организовать выход из цикла, например,

F i=1:1 W i, ! s i=i+1 Q:i>5

Примеры:

1. F i=1:1:5 W i, !

2. В Студии можно использовать циклы с блоками (листинг 3.9)

   FOR {
   READ !,"Number:", num
   QUIT:num=""
   W !,num
   }
   

   Пример 3.9. Цикл с блоками

   Заметьте, здесь использована простейшая безаргументная форма цикла.

3. Можно использовать сколько угодно параметров FOR.

   Пример: F i=1:1:4, "X", 23:2:30 w !, i

При зацикливании программы наберите сочетание клавиш Ctrl/C. А теперь сами попытайтесь предсказать, как будет работать цикл: F i=1:(i<3):4 W !, i

WHILE — цикл с предусловием, DO —WHILE — цикл с постусловием. Их форматы:

и

Условие завершения в цикле WHILE выполняется до выполнения блока, а в цикле DO-WHILE после. Если значение истинно (то есть отлично от 0), то осуществляется новая итерация цикла WHILE, в противном же случае цикл завершается.

Пример цикла WHILE приведен в листинге 3.10

SET i=0
WHILE (i<10) {
SET i=i+1 WRITE i,!
}
QUIT

Результатом выполнения данной программы будет вывод на экран чисел от 1 до 10.

Выход из тела цикла возможен с помощью команды передачи управления по метке (GOTO).

3.2.4 Косвенность и XECUTE

В зависимости от промежуточных результатов полученных программой может меняться ход вычислений. Разветвления и циклы меняют направление прохода по алгоритму и число повторений циклов. Может потребоваться значительно больше: изменить имена, параметры или индексы, сформировав их в программе. Эти проблемы решаются использованием косвенности. Максимально гибкими оказываются программы, которые могут исполнить на ходу сформированные фрагменты текста. Для этого используется команда со странным названием XECUTE, образованным от слова execute (исполнить).

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

Косвенность позволяет сформировать меняющиеся имена переменных и программ, аргументы, индексы и элементы шаблонов. Различают четыре варианта:

• косвенное имя
• косвенный аргумент
• индексная косвенность
• косвенный шаблон

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

Косвенное имя

Рассмотрим косвенное имя. Косвенность в имени обозначается символом @, проставляемым перед любым простым выражением. Простое выражение — это любое выражение языка, не содержащее бинарных операторов. Можно использовать и выражение с бинарными операторами, заключенное в скобки.

Начнем с простого примера (листинг 3.11, первая командная строка).

(1) USER>S a="b",b=77, w a,!, @a 
b
77
(2) |USER>S a1=1, a2=2, a3=3 F i=1:1:3 W @("a"_i)
 123
(3)  |USER>S a1=1,a2=2,a3=3, ab="ab" F i=1:1:3,"b" W @("a"_i)
123ab

Здесь мы задали переменной a значение "b", переменной b присвоили значение 77 и распечатали командой WRITE сначала значение а, затем @a. Поскольку использована косвенность, печаталось значение той переменной, имя которой записано в а, то есть 77.

Следующие два примера (листинг 3.11, вторая и третья командные строки) показывают формирование имени переменной в цикле с помощью косвенности. Имена переменных создаются в цикле с помощью конкатенации. Это позволяет в цикле читать набор переменных a1, a2, a3 не образующих массива. Скобки в операторе W обязательны. Иначе косвенность распространялась бы только на переменную a, тогда как необходимо использовать выражение "a"_1.

Косвенность вкладывается в косвенность на любую глубину, например, S a="b", b="c", c=9 w a, !, @a, !, @@a

Предскажите, а затем проверьте результат выполнения следующей строки:

S a1=1, a2=2, a3=3 F i=1:1:3 W @"a"_i

Для того, чтобы завершить тему косвенного имени рассмотрим пару примеров, которые рекомендуется выполнить после изучения программ в ObjectScript (раздел 3.2.8). Пусть имеется любая программа PRG.INT с меткой MET1. Косвенность применима к именам программ и к меткам:

USER>S rout="prg" D A@rout
USER>S a="MET1", b="PRG" D @aAPRG, MET1A@b, @aA@b 

В последнем примере три раза подряд вызывается PRG с метки MET1.

Вызов программы с косвенным именем может снабжаться постусловием: |USER>D A@rout:x=1

Порядок действий при использовании косвенности следующий: сначала раскрывается косвенность, затем выясняется существование программы и только потом проверяется условие. Предположим, что вызываемая программа не существует. Если бы сначала проверялось условие, то при его ложности, так и не удалось бы установить, что программа не существует.

Косвенный аргумент

Косвенный аргумент позволяет программе задать как один аргумент, так и список аргументов (листинг 3.12, первые четыре командных строки).

USER>S b=77, a="b=2"

USER>S @a W b 2
USER>K b,c S x="b=2,c=3",@x W b," ",c 
2 3
USER>S b=2,x="b=2"  I @x W x 
b=2
USER>S b=2,x="b=2"   W:@x x 
S b=2,x="b=2"    W:@x x
                                          ^
<SYNTAX>

В первой командной строке переменной b присвоили начальное значение 77. Значением a во второй строке делаем текст "b=2". Косвенный аргумент в команде второй строки "S @a" раскрывает эту команду как "S b=2", и b присваивается значение 2.

А вот попытка переписать эту строку с постусловием во WRITE не удастся (листинг 3.12, последняя командная строка). Дело в том, что условие, помещаемое после двоеточия это не имя, и не аргумент. Косвенность здесь не применима.

Аргумент цикла FOR не может быть косвенным, то есть нельзя писать, например,

S x="i=1:1:3" F @x    W "Z", 

но счетчик цикла FOR может использовать косвенность:

S u="i" F @u=1:1:3 W @u

В цикле WHILE ситуация аналогична, то есть единственный вариант использования косвенности это что-то вроде: WHILE @u<3 {S i=i+1 W i}

В сложных случаях форму косвенности определить не легко, хотя общее правило просто и понятно: имеется та форма косвенности, после раскрытия которой получается синтаксически правильное выражение.

Индексная косвенность

Дерево в COS представляется многомерными разреженными масссива-ми. Программа для работы с деревьями должна обеспечить доступ к узлам на любом уровне. Индексная косвенность как раз позволяет формировать индексы во время работы программы. Запись имени узла с использованием индексной косвенности:

Как видите, особенность синтаксиса индексной косвенности в том, что знак @ повторяется дважды.

Создадим локал, имеющий древесную структуру (листинг 3.13) и используя индексную косвенность сформируем команду W, извлекающую значение узла a(1,1,1) .

USER>S a(1)=1,a(2)=2,a(1,1)=11

USER>S a(1,1,1)=111,a(1,1,2)=112

USER>S x="a(1)" w "a(1,1,1)="_@x@(1,1) 
a(1,1,1)=111

Обратите внимание на то, что индексная косвенность может использоваться только в приведенной выше форме. Иначе говоря, нельзя опускать один из знаков @ и потому, например, команда "S a(1,1)@(2)=77" вызовет сообщение об ошибке.

Команда XECUTE

Команда XECUTE (сокращённо X) позволяет исполнить однострочную подпрограмму, хранимую как значение некоторой переменной:

S z="W 22,", v="!,1+7" 
X z_v

В результате будет исполнена сформированная командная строка "W22,!,1+7 ".

Заметим, что исполнение команды может передать управление куда угодно, но адрес возврата из XECUTE остаётся прежний —на командную строку, следующую за XECUTE. Для проверки создадим подпрограмму с именем AA следующего содержания:

W "В подпрограмме "
Q

Исполним команду XECUTE, вызывающую передачу управления:

USER>X "G AA W 77"    W "После подпрограммы",! Q 
В подпрограмме       После подпрограммы

Команда WRITE 77 не была исполнена, что и следовало ожидать.