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

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

blank
blank
blank
Красота
blank
Бениаминов Е.М. — Алгебраические методы в теории баз данных и представлении знаний
Бениаминов Е.М. — Алгебраические методы в теории баз данных и представлении знаний



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



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


Название: Алгебраические методы в теории баз данных и представлении знаний

Автор: Бениаминов Е.М.

Аннотация:

В книге представлены результаты, полученные за последние 20 лет зарубежными и отечественными авторами, включая автора книги, по развитию и применению алгебраических методов в задачах моделирования баз данных и систем представления знаний. Книга содержит описания алгебраических средств моделирования баз данных реляционного типа, представления знаний и баз понятий. В ней излагаются результаты алгебраических исследований строения реляционных алгебр и категорий, используемых в задачах моделирования. Результаты могут быть использованы при проектировании информационных систем.
Книга написана для научных работников, студентов и аспирантов с интересами в области алгебры и ее приложений к Computer science. Стиль книги строится на сочетании математического описания задач моделирования, строгого математического изложения результатов и доказательств с примерами применения полученных результатов. В основу значительной части книги положен курс лекций, читаемый автором в течение ряда лет для студентов факультета информатики РГГУ и отделения интеллектуальных систем Института лингвистики РГГУ.


Язык: ru

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

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Алгебра реляционная      25 44 58
Алгебра с условными операциями      160
Алгебра термов      162
Алгебра, $C$-алгебра      42
Алгебра, $\mathcal{K}$-алгебра      30 42
Алгебра, $\mathcal{K}$-алгебра с единицей      42
Алгебра, $\mathcal{K}$-алгебра, гомоморфизм $\mathcal{K}$-алгебр      34
Алгебра, $\mathcal{K}$-алгебра, идеал $\mathcal{K}$-алгебры      31 52 53
Алгебра, $\mathcal{K}$-алгебра, неприводимая      53
Алгебра, $\mathcal{K}$-алгебра, свободная      42
Алгебра, $\mathcal{K}$-алгебра, спектр      43
Алгебра, $\mathcal{K}$-алгебра, сумма      39
Алгебра, $\mathcal{K}$-алгебра, тензорное произведение      40
Алгебра, $\sum$-алгебра      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
Морфизм, гомоморфизм $\mathcal{K}$-алгебр      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
Уравнение в сигнатуре $\sum$      82
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте