Глоссарий
|
На статьи данного документа в основном адресуются другие документы для определения терминов; последовательное чтение глоссария вряд ли целесообразно. Активное (текущее) окноКогда внутри окна программы открыто несколько интерфейсных окон, то из них одно окно всегда активно, что видно по другому цвету заголовка окна. От того, какого типа окно активно, зависят некоторые действия пунктов меню и кнопок. Аспект1. Одна из сторон отношения. Отношение состоит из стольких аспектов, какова его размерность. 2. Тип слотов. Все слоты однотипных связей с одинаковым номером относятся к одному аспекту. Проблема понимания термина аспект, состоит в том, что на аспект возможен взгляд с двух сторон: со стороны связи-отношения и со стороны объекта-класса. Взгляд со стороны объекта на аспект соответствует аспекту объекта, т.е. множеству связей, в которых данный объект играет одинаковую роль. Если же смотреть со стороны отношения, то аспект соответствует традиционному понятию атрибута в реляционной теории. См. Слоты и аспекты Аспектный столбецСтолбец таблицы соответствующий аспекту объекта, ячейки его в общем случае содержат множество связей. См. Типы столбцов Аспект объектаМножество всех связей, с которыми соединен один объект через слоты одного типа. Это множество может состоять не более чем из одной связи для одиночных аспектов, из множества связей (без дубликатов) для множественных аспектов, или из списка связей, для списочных аспектов. См. Слоты и аспекты Аспект ITEMSАспект, через который со стороны дескриптора класса доступны сущности данного класса. См. Отношение NAME Ассоциации (виртуальные отношения)Отношения категории VIRT не имеющие связей-представителей в базе данных, но рассчитываемые на основании определения, опираясь на отношения и другие ассоциации. См. Ассоциации Атрибут классаВсе аспекты, допустимые для объектов определенного класса называются атрибутами этого класса. Это те аспекты, доменом которых является данный класс или предок данного класса. См. Домен аспекта, атрибуты класса Атрибут объектаАтрибутом объекта называется содержание простого (т.е. одиночного бинарного) аспекта объекта. Содержимым простого аспекта является максимум одна связь, поэтому под значением атрибута подразумевается объект, соединенный с противоположным слотом этой связи. См. Простые аспекты и атрибуты
объектов База данных/знанийСеть из объектов и связей между ними, рассматриваемая как одно целое. В этой сети пользователь может перемещаться, перестраивая ее на ходу. Эту сеть можно целиком сохранять в файле базы данных. См. Объекты и связи Бинарные аспектыСм. Размерность связей и отношений, Простые
аспекты и атрибуты объектов Бинарные отношенияОтношения, содержащие по два аспекта. Это наиболее часто встречающийся и наиболее привычный тип отношений. См. Размерность связей и отношений Бинарные связиСвязи наиболее естественного вида, т.е. состоящие из двух слотов. Они являются представителями бинарных отношений. См. Размерность связей и отношений Владеющий аспектАспект, характерный тем, что при удалении всех связей соответствующего аспекта объекта, сам объект ТОЖЕ удаляется. Противоположный смысл, т.е. независимость объектов от связей имеют ссылочные аспекты. См. Владеющие и ссылочные аспекты Глобальные именаЕсли у класса сущностей нет собственного именующего отношения, то его представители имеют глобальные имена. Тогда сущности собираются под дескриптором своего класса, играющим роль словаря, с помощью именующего отношения NAME. Глобальные имена уникальны в базе данных, т.к. все сущности одного класса "находятся" в одном словаре. См. Имена объектов. ДескрипторыСистемные объекты, описывающие типы (объектов, связей или слотов). Соответственно есть дескрипторы классов, отношений и аспектов. ДоменДомен аспекта - это тот класс, ссылку на объекты которого может содержать слот этого аспекта. См. Домен аспекта, атрибуты класса Древовидное окноОдин из типов представления данных, когда в окне представлен один объект в виде дерева. Это дерево состоит из узлов, расположенных друг над другом в виде строчек и прокручивается вертикально. Заглавный аспектКаждый табличный вид формируется из связей некоторого аспекта объекта, и данный аспект называется заглавным для этой таблицы. См. Заглавные объект и аспект
таблицы Заглавный объектСодержимое каждой таблицы формируется из связей некоторого аспекта объекта, и этот объект называется заглавным для этой таблицы. См. Заглавные объект и аспект
таблицы Заголовок таблицыПара заглавный аспект - заглавный объект называется заголовком таблицы. См. Заглавные объект и аспект
таблицы Загрузка базы данныхПроизводимое по команде пользователя формирование текущей базы данных в памяти из заданного файла. ЗначенияОдна из категорий объектов - VALUE, представляющая строки текстов (STR) и числа: целые (INT) и действительные ( NUM). См. VALUE-Классы Именующие отношенияТернарные (трехместные) отношения формата словарь-имя-сущность, используемые для системы именования сущностей. Эти отношения в явном виде из табличного интерфейса не видны. Существует общесистемное именующее отношение NAME, используемое для глобального именования, когда словарем является дескриптор класса, и когда все представители класса собраны под дескриптором этого класса через аспектITEMS (отношения NAME ). Если же для класса задано собственное именующее отношение через отношение GENLNK, то объекты данного класса именуются локально и роль словаря играет объект некоторого другого класса. См. Имена объектов. Имя объектаОбъекты-сущности при создании получают имена, которые сохраняются за ними вплоть до удаления сущностей. Именами классов, аспектов, отношений, категорий считаются имена соответствующих дескрипторов. Система имен организуется с помощью именующих отношений. Имена могут быть локальными, т.е. собранными под "старшими" объектами с помощью собственного именующего отношения для данного класса, и глобальными, т.е. собранными под соответствующими дескрипторами классов с помощью общесистемного именующего отношения NAME. В именах разрешены буквы, цифры, пробелы и некоторые знаки - подчеркивания, точки, тире. Применение в именах других знаков может привести к ошибкам при сохранении и последующей загрузке базы данных. См. Имена объектов. Категории аспектовАспекты разделяются на следующие категории, в зависимости от того, сколько может быть связей в аспекте объекта, и как эти связи упорядочены:
Категория аспекта задается атрибутом ATYPE для дескриптора аспекта. Если категория аспекта не указана, по умолчанию аспект считается множественным. См. Виды аспектов, Категории
аспектов Категории классов и объектовОбъекты делятся на три категории: сущности, структуры и значения. Главное их отличие между собой в том, что сущности имеют имена, значения - имеют некоторые данные внутри себя, а структуры - не имеют ни того, ни другого. Категория класса задается атрибутом CAT1 отношения CATEG для дескриптора класса. Если категория не задана, для класса по умолчанию предполагается категория ITEM, т.е. сущности. Категории отношенийСуществует три категории отношений:
Категория отношения задается атрибутом LTYPE для дескриптора отношения. По умолчанию отношение относится к категории REAL. См. Ассоциации КлассТип объектов. Классы представляются в базе данных дескрипторами, описывающими все свойства и отношения класса. Сами эти дескрипторы - это сущности класса CLASS. И в том числе дескриптор CLASS есть тоже сущность класса CLASS. Кстати, это единственный объект в сети, типом и представителем которого является он сам. Класс CLASSЭто класс дескрипторов всех классов. Сущность CLASS это единственный объект в сети, играющий сам для себя роль и типа и представителя. Класс объекта CLASS - тот же - CLASS. Этот объект играет роль наиболее удобного входа в систему, т.к. из него доступны все дескрипторы классов, а из них доступны множества глобальных сущностей. См. Описание ядра - Системные
классы, Определение класса Класс INTЭто класс целых чисел - объектов из категории значений. В файле базы данных целые числа представляются в форме числовых литералов внутри фактов. Поэтому один такой объект может участвовать только в одной связи. См. Ядро - Класс INT Класс RELATЭто класс дескрипторов всех отношений. В таблице представителей этого класса удобнее всего создавать новые отношения, или находить существующие отношения для доступа к их аспектам. См. Системные отношения (класс
LINK),
Определение отношения Класс NUMЭто класс объектов - действительных чисел, относящихся к значениям. В файле базы данных действительные числа представляются в форме числовых литералов внутри фактов. Поэтому один такой объект может участвовать только в одной связи. См. Ядро - Класс NUM Класс ASPECTЭто класс дескрипторов аспектов. Аспекты - единственные сущности, определяемые не явно, т.е. отдельными определениями, а внутри определений отношений. Поэтому в файле базы данных отсутствуют отдельные определения Имя_аспекта :SLOT. См. Системные отношения (класс
LINK),
Определение аспекта Класс STRЭто класс значений - текстовых строк. В файле базы данных строки представляются в виде "литералов в кавычках" внутри фактов. Отсюда следует, что один объект строка может участвовать только в одной связи. Класс-предокЕсли классы А и В связаны отношением ISA(А,В), то класс В называется предком для класса А. Кроме того, предки предков также считаются предками. У класса может быть много предков, и от всех своих предков класс наследует их атрибуты. Класс-наследникПо отношению к своим предкам класс называется наследником. КлючиМножество аспектов одного отношения, для которого набор объектов однозначно определяет связь, называется ключом. Иными словами, в сети не может одновременно находиться двух связей, с одинаковым набором объектов в слотах соответствующих ключу. Одиночные аспекты по определению образуют ключи. Также ключ могут образовывать несколько множественных аспектов. Списочные аспекты не должны входить в ключ. См. Ключи, Локальные именаКласс сущностей считается именуемым локально, и его представители имеют локальные имена, в том случае, когда классу приписано собственное именующее отношение. Локальные имена сущностей одного и того же класса могут повторяться в базе данных под разными объектами-словарями. Примерами локальных имен являются номера домов на разных улицах или названия улиц в разных городах. См. Имена объектов. МетаданныеЭто данные, описывающие структуру других данных. Структуру самих метаданных описывают объекты ядра. Многоместные аспектыЭто аспекты многоместных отношений (с размерностью более двух). См. Размерность связей и отношений Многоместные отношенияЭто отношения с размерностью более двух, т.е. состоящие из трех и более аспектов. Трехместные отношения еще называются тернарными. См. Размерность связей и отношений Многоместные связиЭто связи, состоящие из трех и более слотов, т.е. связи представители многоместных отношений. См. Размерность связей и отношений Множественный аспектЭто категория аспектов, характерная тем, что для одного объекта существует множество связей, соединенных с этим объектом через слоты данного типа. Т.е. аспект объекта является множеством связей, которое не может содержать одинаковых связей, и которое упорядочивается системой автоматически. См. Виды аспектов МножествоМножество не может содержать одинаковых элементов, и упорядочивается системой автоматически. Когда идет речь о множестве связей одинаковость трактуется как одинаковость всех объектов в соответствующих слотах двух связей. Одинаковость объектов значит равенство для объектов значений и тождественность для всех остальных объектов. НавигацияВ узком смысле навигация - это перемещение между различными табличными видами с помощью клавиш со стрелками и клавиши Enter, или с помощью мыши. В широком смысле это любое перемещение в многомерном виртуальном пространстве. См. Навигация по таблицам, Управление
программой Наследование классовБинарное системное отношение ISA между дескрипторами классов задает структуру наследования между классами. Если задано ISA(А,В), то класс А наследует от класса В все его атрибуты, т.е. все аспекты, доменом которых является сам класс В или один из его предков. Обновление таблицыПри изменении табличного вида в табличном окне или при изменении данных происходит обновление, т.е. новое формирование таблицы на экране. При этом отменяется установленный пользователем порядок столбцов. ОбъектЭто основной строительный элемент баз данных ABRIAL, которые состоят из объектов и связей. Типы объектов называются классами. Все используемые в базе данных типы должны быть описаны объектами дескрипторами. Дескрипторы для системных типов и категорий вместе с соединяющими их между собой связями, называются ядром сети и присутствуют в сети постоянно. См. Объекты и связи Объектный столбецСтолбец таблицы, у которого ячейки (рядовых строк) соответствуют слотам связей, и содержат, поэтому в точности по одному объекту. См. Типы столбцов Одиночный аспектДля этой категории аспектов в аспекте объекта может быть только одна связь или ни одной связи. Если одиночный аспект еще и бинарный, то этот аспект называется простым, и соответствует традиционному понятию атрибута или слота объекта . ОтношениеТип связей. (Или совокупность всех связей одного типа). Все однотипные связи, т.е. все связи одного отношения имеют одинаковое количество слотов (размерность) и одинаковый набор типов слотов (аспектов). Отношение HOLDУнарное отношение - признак владеющих аспектов. Отношение ISAБинарное отношение между дескрипторами классов, отражающее наследование. Факт ISA(А,В) означает, что класс А есть прямой наследник класса В, а класс В прямой предок класса А. См. Наследование классов, Описание
ядра: ISA Отношение NAMEТрехместное именующее отношение, связывающее дескрипторы классов с их представителями сущностями и с именами этих сущностей. Отношение NAME используется для глобального именования. См. Основные понятия: Имена
объектов, Описание ядра: NAME Полиморфный аспектЭто аспект, который является атрибутом у нескольких классов. Если аспект помечен унарным признаком POLY и непосредственный класс-домен аспекта имеет наследников, то все эти наследники также являются косвенными доменами аспекта, и этот аспект является полиморфным. Со слотом такого аспекта могут соединяться объекты разных классов. См. Виды аспектов ПредставителиКонкретные экземпляры некоторого типа.
Простой аспектОдиночный бинарный аспект называется простым. Это именно то, что традиционно называется "атрибутом" или "слотом" объекта. Большинство свойств системных объектов задается именно простыми аспектами. См. Простые аспекты и атрибуты
объектов Простой узел дереваКонечный или листовой узел, не содержащий внутри себя вложенных узлов. Размерность аспектаЭто размерность отношения, в которое входит аспект. См. Размерность связей и отношений Размерность отношенияЧисло аспектов составляющих отношение. Отношения с размерностью 2 называются бинарными. Отношения с размерностью 1 называются унарными. Отношения с большей размерностью называются многоместными. См. Размерность связей и отношений. Размерность связиЧисло слотов, составляющих связь. Все связи одного отношения имеют одинаковую размерность. Связи с двумя слотами называются бинарными. Связи с одним слотом (с размерностью 1) называются унарными. Связи с большей размерностью называются многоместными. См. Размерность связей и
отношений. СвязьСовместно с объектами связи являются основным строительным элементом баз данных. В отличие от традиционных связей, имеющих два конца, это обобщенные связи, у которых может быть любое число концов, называемых слотами. Связь состоит из нескольких слотов, через которые связь соединяется с объектами. Каждая связь имеет тип, называемый отношением. Число слотов (размерность связи) и типы слотов (аспекты) фиксированы для того отношения, к которому относится связь. См. Объекты и связи СетьСиноним базы данных, с акцентом на логическую структуру. Точнее, база данных называется сетью, когда она загружена в память, и с ней можно работать. См. Объекты и связи СловарьОбъект, играющий роль заголовка в именующем отношении, которое соединяется со словарем обычно по первому по порядку аспекту. В именующем отношении NAME роль словаря играет класс сущностей, от которого представители доступны через аспект ITEMS. См. Имена объектов. СлотМесто соединения одного объекта и одной связи. Связь состоит из нескольких слотов, в каждом из которых находится объект. Со стороны объекта все однотипные слоты, связанные с ним сгруппированы в аспект объекта. Тип слота называется аспектом. См. Слоты и аспекты Смежный объектЭто то, что традиционно называется "значением атрибута". Это объект, расположенный по другую сторону (обычно бинарной) связи, по отношению к (обычно простому) аспекту некоторого объекта. См. Слоты и аспекты Составной узел дереваУзел дерева, содержащий вложенные узлы. Составные узлы могут находиться в свернутом или развернутом состоянии. Состояния переключаются щелчком мыши. Свернутое состояние отмечается знаком [+], а развернутое - знаком [-]. Сохранение базы данныхЗапись полного содержания сети из памяти в файл базы данных. СписокСтруктура данных, которая может содержать дубликаты, и упорядочивается вручную пользователем. (В отличие от множества, которое упорядочивается автоматически и не может содержать дубликаты). Списочный аспектЭто категория аспектов, характерная тем, что для одного объекта существует список связей, соединенных с этим объектом через слоты данного типа. Т.е. аспект объекта является списком, который может содержать дубликаты связей, отличающихся только порядком в этом списке, причем этим порядком управляет пользователь. Ограничение реализации: отношение может содержать только один списочный аспект (или не одного). См. Виды аспектов, Категории
аспектов Ссылочный аспектАспект, характерный тем, что при удалении всех связей соответствующего аспекта объекта, сам объект НЕ удаляется. Противоположный смысл, т.е. удаление объектов вслед за связями имеют владеющие аспекты. См. Владеющие и ссылочные
аспекты СтрокиОбъекты - значения, принадлежащие к классу STR. Обычно участвуют только в одной связи. Используются для представления имен. СтруктурыЭта категория объектов представляет безымянные объекты обычно представляющие части других объектов. Например, адрес, дата, бухгалтерская проводка, точка в пространстве, и т.д. могут представляться в базе данных структурами. См. DATA-объекты или структуры СущностиКатегория именованных объектов. Сущность имеет имя и принадлежит некоторому классу. Обычно сущности изображаются в формате имя-сущности:имя-класса . Большинство системных объектов, в частности дескрипторы, являются сущностями. Таблица представителейТак называется табличный вид, заглавный объект которого - словарь, а заглавный аспект - первый аспект именующего отношения. Чаще всего, т.е. для глобальных имен, заглавный объект в таблице представителей это дескриптор класса, а заглавный аспект - аспект ITEMS отношения NAME. ТаблицаСловом таблица называется:
Таблица аспектовТак называется таблица аспектов одного отношения с заголовком LINK_SLOTS(lnk:LINK), где lnk - некоторое отношение (т.е. имя дескриптора из класса LINK). См. Слоты и аспекты Таблица классовТак называется таблица представителей класса CLASS, т.е. таблица дескрипторов классов. Таблица отношенийТак называется таблица представителей класса LINK, т.е. таблица дескрипторов отношений. Табличная вкладка (окно)Один из трех основных видов окон, составляющих интерфейс пользователя. Гипертаблицы представляют данные в более удобном для восприятия виде, по сравнению с деревьями и текстами, но в менее понятном, чем Веб-интерфейс (вкладка ГИПЕРТЕКСТ). В каждый момент навигации в табличном окне находится табличный вид, представляющий один аспект объекта. Таблицы состоят из строк и столбцов, на пересечении которых находятся ячейки (клетки) таблицы. В заголовке табличного окна отображается: наименование-заглавного-аспекта(наименование-заглавного-объекта) . Табличный видСодержание табличного окна, определяемое заголовком, т.е. связями, относящимися к некоторому аспекту некоторого объекта. В процессе навигации в одном табличном окне меняются разные табличные виды. Все табличные виды имеют титульную строку, и некоторые - титульный столбец, которые не сворачиваются с экрана при прокрутке окна. Текстовый редакторОкна текстового редактора позволяют просматривать и редактировать файлы базы данных в их натуральном виде. См. Принцип работы программы, Управление
программой Текущая база данныхБаза данных загруженная в память, в форме сети. Каждый запущенный экземпляр программы создает свою текущую базу данных. Текущая ячейкаПодсвеченная ячейка табличного окна, называется текущей ячейкой. Текущий аспектТекущим аспектом таблицы называется аспект, соответствующий столбцу текущей ячейки. Текущим аспектом дерева
называется аспект, в пределах которого
расположен текущий узел. Текущий объектТекущий объект табличного окна, это тот объект, которому соответствует текущая ячейка. Текущий объект древовидного
окна, это объект, содержимое которого
отображается в этом окне в данный момент. Текущий узелПодсвеченный узел древовидного окна, называется текущим узлом. ТипОбъекты, связи и слоты при рождении получают некоторый тип, который не изменяется вплоть до их удаления из базы данных. Все типы представлены в сети специальными объектами - дескрипторами. Типы объектов называются классами. Типы связей называются отношениями. Типы слотов (соединений связей и объектов) называются аспектами. Экземпляры типов называются представителями. Титульный столбецТитульным называется первый столбец таблиц представителей, содержащий имена сущностей, или первый столбец таблиц с заглавным списочным аспектом, содержащий номера связей. Титульный столбец не сворачивается с экрана при прокручивании и недоступен для редактирования. В титульном столбце, действуя мышью, можно менять порядок строк, причем для случая списочной таблицы этот порядок сохраняется. См. Титульные, объектные и
аспектные столбцы Титульная строкаПервая строка таблицы, в которой располагаются заголовки столбцов. По умолчанию заголовки столбцов являются именами соответствующих аспектов, однако им можно присваивать любые текстовые значения с помощью атрибутов (свойств) аспектов TITLE и TITLR. Титульная строка не сворачивается с экрана при вертикальном прокручивании окна. Действуя мышью в титульной строке, можно менять порядок столбцов, однако этот порядок не сохраняется при обновлении таблицы. УдалениеУдаление объектов и связей на верхнем уровне инициируется пользователем. Но в силу того, что вместе с удалением объекта удаляются все его связи, и следом за удалением связей владеющих объектами, через слоты владеющих аспектов, удаляются эти (подчиненные связям) объекты, одно удаление (объекта или связи) может повлечь целый каскад других удалений (объектов и связей). Таким образом, могут удаляться большие куски сети "за один прием". См. Владеющие и ссылочные
аспекты, Удаление связей, Удаление
объектов Узел дереваОдин элемент древовидного окна, занимающий одну строчку. Узел может быть простой или составной. Простой узел не содержит внутри себя вложенных узлов, составной - содержит. Каждый узел имеет уровень вложенности. Нулевой уровень узла соответствует текущему объекту, первый - аспектам объекта, второй - связям третий - слотам. Для бинарных аспектов не показываются узлы уровня связей, для одиночных аспектов - узлы уровня аспектов исключаются. Если смежный объект - значение, то для него добавляется отдельный уровень простых узлов. Унарный аспектЕдинственный аспект унарного отношения. Унарные аспекты всегда являются одиночными. Унарные аспекты не могут быть владеющими, они всегда являются только ссылочными. См. Размерность связей и отношений,
Переключение (унарных) признаков Унарное отношениеВырожденное отношение, состоящее только из одного аспекта. Унарные отношения используются как двоичные свойства, которыми объекты либо обладают, либо нет. См. Размерность связей и отношений,
Переключение (унарных) признаков Унарная связьВырожденная связь, состоящая только из одного слота. Эта "половинка" связи используется для наделения объекта некоторым признаком. См. Размерность связей и отношений,
Переключение (унарных) признаков Файл базы данныхТекстовый файл, в котором хранится содержание базы данных или ее части, между сеансами работы пользователя. ФактТо же самое что связь. Обычно так называется связь, представленная в текстовой форме. В форме фактов связи сохраняются в файле базы данных. См. Объекты и связи ЧислаОбъекты - значения, принадлежащие к классу NUM -действительные числа, или классу INT- целые числа. Обычно участвуют только в одной связи. ЯдроТа часть сети, которая описывает структуру метаданных, т.е. дескрипторов, категорий и т.д. Объекты и связи относящиеся к ядру присутствуют в сети изначально и не могут быть ни изменены, ни удалены из сети. См. Ядро сети |
|