Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных
Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Универсальная алгебра, алгебраическая логика и базы данных

Автор: Плоткин Б.И.

Аннотация:

Излагается одна из возможных точно математически обоснованных математических моделей «баз данных»— важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизацию узкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различные подходы исследований в этой области.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1991

Количество страниц: 446

Добавлена в каталог: 15.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\exists$-ультрафильтр      239
*-автомат      32 69 293
n-арная операция      42
n-арное отношение      43
n-развертка      415
n-свертка      415
Абелева группа      55
Абстрактная база данных      313
Абстрактная теория      259
Абстрактный класс      135
Абстрактный клон      138
Автомат      31 68
Аксиоматизируемый класс      133 134
Аксиомы в базах данных      295
Алгебра      29 43
Алгебра Гейтинга      113 280
Алгебра Линденбаума интуиционистского исчисления высказываний      282
Алгебра Линденбаума — Тарского      175
Алгебра многосортных термов      53
Алгебра счетного ранга      127
Алгебра термов      47
Алгебра Халмоша      30 183
Алгебраическая система      44
Алгебраическая теория      137 151
Алгебраически замкнутое поле      59
Амальгама      99 131
Ассоциативная алгебра над K      61
Атом булевой алгебры      172
Аффинное отображение      70
Аффинное пространство      69
Аффинный автомат      71
База данных      11 33 292 295
База знаний модели      251
База с нечеткой информацией      312
База, основанная на реляционных алгебрах      311
Базисная информация      319
Базисное отношение      19
Базисный набор      320
Биективное отображение (биекция)      36
Бинарное отношение      39
Булеан множества      35
Булев топос      114
Булева алгебра      161
Булева решетка      165
Булево кольцо      163
Вербальная конгруэнция      126
Вербальная функция      128
Вербальный функтор (вербал)      89
Вполне характеристическая конгруэнция      126
Выводимость формулы      174
Выводимый элемент      167
Вычислимая операция      414
Главный идеал булевой алгебры      166
Главный идеал кольца      65
Главный фильтр булевой алгебры      166
Гомоморфизм алгебр      44
Гомоморфизм алгебр Халмоша с переменной схемой      330
Гомоморфизм баз данных      296 300
Гомоморфизм булевых алгебр      162
Гомоморфизм моделей      45
Гомоморфизм моделей с переменными отношениями      390
Гомоморфизм первого и второго рода      314
Гомотопия      57
Градуированное отображение      387
График отношения      43
Группа      55
Группа автоморфизмов объекта      72
Группа симметрии отношения      342
Групповая алгебра      62
Группоид      57
Двузначный топос      108
Декартов квадрат      94
Декартово замкнутая категория      99
Декартово произведение алгебр      47
Декартово произведение множеств      36
Декартово произведение моделей      47
Диагональ      200
Динамическая алгебра Халмоша      306
Динамическая база данных      309
Динамический *-автомат      308
Дискретное прямое произведение групп      82
Дистрибутивная решетка      165
Домены      17 189
Дуальная (двойственная) категория      75
Единичная операция      138
Единичное отображение      36
Естественное отображение множества на фактормножество      40
Задание алгебры образующими и определяющими соотношениями      48
Замена схемы      314
Замкнутый класс      123
Замыкание Галуа      125
Идеал алгебры Халмоша      202 212
Идеал булевой алгебры      165
Идеал в полугруппе      63
Идеал кольца      65
Изменение состояний      303
Изоморфизм алгебр      45
Изоморфизм баз данных      300
Изоморфизм моделей      45
Изоморфизм функторов      78
Изотопия      57
Имя стрелки      101
Инициальный сорт      221
Интерпретация формул      189
Интуиционистское исчисление высказываний      282
Интуиционистское исчисление предикатов      284
Инъективное отображение (инъекция)      35
Иорданова алгебра      63
Исчисление высказываний      173
Канторовская нумерующая функция      415
Каскадное соединение баз      392
Каскадное соединение моделей      392
Категория      72
Категория нечетких множеств ($\Omega$-множеств)      118
Квазигруппа      56
Квазимногообразие      134
Квазитождество      134
Квантор всеобщности      181
Квантор существования      180 181 182
Кванторная алгебра      183
Классификатор подобъектов      104
Классический топос      108
Клон операций      137
Ковариантный функтор      76
Коконус      90
Кольцо      57
Кольцо с единицей      57
Коммутативное кольцо      57
Комплект, $\Gamma$-комплект      50
Конгруэнция      46
Конгруэнция Риса      63
Конечно полная категория      97
Конечное отображение      332
Конечное состояние      332
Конкретная база данных      313
Константа в алгебре Халмоша      205
Конструктивная алгебра      417
Конструктивная база данных      417 428
Контравариантный функтор      76
Конус      90
Копольная категория      97
Копредел диаграммы      91
Копроизведение (свободное произведение)      82
Коуравнитель      91
Критерий Сикорского      172
Левый идеал в полугруппе      63
Лиева алгебра      62
Линеаризация полугруппы      83
Линейное представление      67
Линейное пространство над полем      59
Линейный автомат      68
Локально конечная алгебра Халмоша      187
Лупа      57
Максимальный идеал      168 204
Малая категория      73
Многообразие      125
Многообразие алгебр      21 49
Многообразие клонов      139
Многосортные алгебры      51
Многосортные модели      51
Множество образующих алгебры      48
Модель      44
Модель (применительно к топосу)      283
Модель базы данных      31
Модель набора      177
Модуль      60
Моноид      54
Мономорфизм      45 74
Морфизм функторов      78
Мощность множества      41
Мультиотображение      39
Набор символов отношений      189
Негативный элемент      254
Ненулевой объект      109
Непротиворечивое подмножество      249
Непротиворечивость      248
Непротиворечивый набор      177 178
Непустой объект      109
Нечеткие отношения      42
Нечеткие отображения      118
Нечеткие отображения четких множеств      42
Нечеткое множество      42 116
Нечеткое равенство      116
Нижняя грань      164
Нижняя точная грань      164
Нормализатор      371
Нормальный делитель (инвариантная подгруппа)      64
Носитель формулы      192 222
Носитель функции      170
Носитель элемента      139 210 218
Носитель элемента алгебры Халмоша      187 188
Нулевая характеристика      59
Нульарная операция      43
Нульарный оператор      138
Нумерация      413
Нумерованная алгебра      414
Нумерованное множество      413
Нумерованный комплект      416
Образ конгруэнции при гомоморфизме      128
Обратное отображение      36
Обратный образ (коамальгама)      93
Обратный элемент в полугруппе      54
Объединение баз данных      382 394
Объект-степень      106
Ограничения целостности      29
Однотипные алгебры      44
Одноэлементная алгебра      131
Оператор замыкания      122 181
Основное соотношение      102
Относительное псевдодополнение      113
Отношение порядка      40
Перечислимое множество      416
Подалгебра      46
Подалгебра $\Omega$-алгебры      52
Подбаза      375
Подкатегория      73
Подмодель      47
Подмодуль      66
Подобъект      101
Подстановка множества      54
Подфунктор      80
Позитивный элемент      254
Поле      58
Полная категория      97
Полная подкатегория      73
Полное $\Omega$-множество      120
Полнота      248
Полный автомат      366
Полуавтомат      69
Полугомоморфизм базы данных      320
Полугруппа      54
Полугруппа накоплений      333
Полугруппа с единицей      54
Полугруппа сдвигов      335
Полугруппа эндоморфизмов объекта      72
Полугрупповая алгебра      62
Полугрупповой автомат      68 310
Полупростая алгебра      168 204
Правильная подстановка      338
Правый идеал в полугруппе      63
Предел диаграммы      91
Предикат в алгебре Халмоша      205
Представление групп      67
Представление клона      141
Представление полугрупп      67
Представляющий функтор      77
Принцип экзистенциальности для стрелок      108
Произведение автоматов      381
Произведение баз данных      382
Произведение гомоморфизмов      317
Прообраз конгруэнции при гомоморфизме      129
Простая алгебра      168 203
Простая алгебра Халмоша      204
Прямое произведение      81
Псевдодополнение      113
Псевдомногообразие      134
Псевдотождество      134
Равенство в алгебре Халмоша      196 217 227
Равномощные множества      41
Радикал      89
Радикальный класс      89
Разрешимая нумерация      414 416
Реализация      241
Регулярное действие      333
Рекурсивное подмножество      415
Реляционная алгебра      259
Реляционная база данных      21
Реляционная модель      27
Решетка      164
Решетка с псевдодополнениями      113
Свободное объединение множеств      37
Свободное произведение алгебр      130
Свободное произведение с объединенной подалгеброй      132
Сетевая база данных      26
Сети баз данных      398
Сжатие отображения      335
Сжатие состояния      335
Симметричная функция      197
Синглетон      120
Синтаксис теории      153
Синтаксическое определение алгебры Халмоша      249
Система аксиом баз данных      28
Слоение множества      50
Смежный класс по эквивалентности      40
Собственный идеал      166
Собственный фильтр      166
Совместность      247 249
Совместный набор      176 179
Соответствие Галуа      125
Сопряженные отображения      258
Сопряженные функторы      87
Состояние базы данных      286
Специализированная алгебра Халмоша      209
Специальная алгебра Халмоша      203
Сплетение баз данных      396
Структура функциональных зависимостей      328
Сюръективное отображение (Сюръекция)      35
Тавтология      174 248 382
Тело      58
Тензорное произведение модулей      85
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте