Cтраница 3
Процесс взаимодействия графа диалоговых процедур ( ГДП) G ( XF) имеет в составе X элементы XIN, соответствующие инициализации диалога, и элементы Хошг, соответствующие окончанию человеко-машинного взаимодействия. Сам по себе графовый формализм, применяемый для описания диалога, не самоцель, поскольку такой аппарат применялся и ранее. Особенностью излагаемого подхода является то, что на множестве ГДП вводится ряд макроопераций, описываемых структурами универсальных алгебр в рамках дискретной математики, что позволяет структуру и сценарий диалога рассматривать в единой взаимосвязи. Выше уже подчеркивалось, что простейший диалог, как правило, играет подчиненную роль, и поэтому для его описания достаточно какой-либо конкретной графовой структуры. Сценарий такого диалога реализуется в жестких рамках этой структуры и описывается несложным древовидным графом. Такой диалог соответствует директивному типу, а его сценарий, в большинстве случаев, типа меню. Однако такой диалог не удовлетворяет потребностям широкой группы пользователей. В связи с этим необходимо иметь аппарат гибкой модификации структуры диалога, подбора сценариев для всего множества пользователей. [31]
Записи файла упорядочены по основному ключу, но при этом экземпляры других ключей этих записей расположены произвольно. Для доступа к записям по дополнительным ключам используются индексы. Такая организация дополнительных индексов носит название инвертированных списков. Если каждому значению ключа и каждому адресу записи файла поставить в соответствие вершину графа, то инвертированные списки в дополнительном индексе и будут реализовать ту графовую структуру, которая, как говорилось ранее, присутствует в физической организации файла с несколькими ключами. [32]
Лоховски отводят анализу различных моделей данных, который начинается с реляционных, иерархических и сетевых моделей. Возникает вопрос: зачем авторам потребовалось обращаться к традиционным или, по крайней мере, традиционно анализируемым моделям данных. Ответ на этот вопрос содержится в самом подходе к анализу. Во-первых, анализ ведется на единой строго регламентированной концептуально-методологической основе. Во-вторых, в качестве объекта анализа выступают не отдельные конкретные модели, как обычно, а, по существу, соответствующие классы моделей, характеризуемые диапазоном свойств своих элементов. В-третьих, авторами делается попытка учесть новые тенденции в развитии традиционных моделей. Так, наряду с базовой реляционной моделью рассматривается ( хотя и очень кратко) семантическая Тасман-ская реляционная модель Кодда. И наконец, следует отметить нетривиальность некоторых анализируемых сочетаний модельных компонентов, например сочетания спецификационных языков с графовыми структурами данных. [33]