|
|
Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета
|
|
|
|
|
|
| Бениаминов Е.М. - Алгебраические методы в теории баз данных и представлении знаний |
|
|
|
| Предметный указатель |
Алгебра реляционная 25 44 58
Алгебра с условными операциями 160
Алгебра термов 162
Алгебра,  -алгебра 42
Алгебра,  -алгебра 30 42
Алгебра, -алгебра с единицей 42
Алгебра, -алгебра, гомоморфизм -алгебр 34
Алгебра, -алгебра, идеал -алгебры 31 52 53
Алгебра, -алгебра, неприводимая 53
Алгебра, -алгебра, свободная 42
Алгебра, -алгебра, спектр 43
Алгебра, -алгебра, сумма 39
Алгебра, -алгебра, тензорное произведение 40
Алгебра,  -алгебра 88
Алгебра, действительных отношений 29
Алгебра, инициальная 86 162
Алгебра, инициальная, вычисление в инициальной алгебре 89
Алгебра, многосортная 79 80
Алгебра, образующие 34 35 47
Алгебра, подалгебра 33 59 62 65
Алгебра, подалгебра, порожденная множеством элементов 33 64 66
Алгебраическая система 78
Алгебраическая система, аппроксимация 166 167
Алгебраическая система, многосортная 78
Алгебраическая система, непротиворечивая 160
Алгоритм Кнута - Бендикса 95
Атрибут 22
Библиотека онтологии 113 114
Группа симметрии 62 128
Данные, абстрактная структура 85
Данные, абстрактный тип 83 161
Данные, абстрактный тип, модель 85
Данные, абстрактный тип, морфизм абстрактных типов данных 97
Данные, абстрактный тип, система соотношений абстрактного типа данных 85
Данные, абстрактный тип, спецификация 100
Данные, база данных, схема 103
Данные, база данных, фрагмент схемы 104
Данные, тип данных 78
Данные, тип данных, базовый 73
Декартово произведение 54 121 131 142
Идеальная поддиаграмма 50-52
Категория 22 118 131 145 155
Категория, Галуа 145
Категория, категорные операции 152 158
Категория, конечная аппроксимация 116
Категория, наборов атрибутов 22 59
Категория, непротиворечивая 119
Конечнозавершаемая система правил переписывания 92 94
Модель абстрактного типа данных 85
Модель инициальная 85 86
Морфизм 22 25 97 98 100 130 132 136 137
Морфизм абстрактных типов данных 97
Морфизм сигнатур 98
Морфизм, гомоморфизм 31 35 42 56 84 153 154
Морфизм, гомоморфизм -алгебр 34
Морфизм, гомоморфизм, ядро 31
| Морфизм, изоморфизм 39 51 84 86 96 138 143 144
Морфизм, произведение морфизмов 57 121 143
Морфизм, произведение эпиморфизмов 133
Набор атрибутов 26 59
Область значений атрибута 64
Область истин 122 129
Объект атомарный 134
Объект конечный 134
Объект, классификатор подобъектов 131 144 153
Объект, подобъект 121 129 133
Объект, произведение объектов 30
Онтология 103 113
Операции, индуцированные морфизмом абстрактных типов данных 97
Операция 23 25 27 97 99 117 120 147 158 159
Операция индуцированная морфизмом абстрактных типов данных 97
Операция над отношениями 26 27
Операция над типами данных 96 99
Операция условная 158 159
Операция, арность операции 27
Операция, категорные операции 152 158
Операция, класс операций над отношениями 28
Операция, клон операций 101
Операция, нульарная 81
Операция, равенство операций 23
Отношение 23 27 86 87 129 159
Отношение конгруэнции 87
Отношение симметричное относительно перестановки 62
Отношение, класс операций над отношениями 28
Понятие, база понятий 103
Проекция 24 57 135
Проконечная группа 145
Пространство состояний 42
Семантическая сеть 115
Семантически корректная реализация 83
Сигнатура 80
Синтаксически корректная реализация 83
Система правил переписывания 92
Согласование наборов атрибутов 25 60
Сходящаяся система правил переписывания 92
Терм 80 81 87 88
Терм, алгебра термов 162
Терм, глубина 93
Терм, каноническая система 89
Терм, критическая пара 94
Терм, подтерм 90 91
Терм, правило переписывания 91
Терм, эквивалентность 171
Терм, эквивалентность семантическая 87
Терм, эквивалентность синтаксическая 87
Типы атрибутов 22
Топос алгебраический 130 131 142
Топос булев 128
Топос двузначный 130
Топос конечного типа 141
Топос полный 131 132
Топос рефлексивный 152
Уравнение в сигнатуре 82
|
|
|
| Реклама |
|
|
|
|
|
|
|
|
О проекте