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

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

blank
blank
blank
Красота
blank
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию



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



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


Название: Базы данных. Введение в теорию и методологию

Авторы: Марков А.С., Лисовский К.Ю.

Аннотация:

Рассмотрены основные математические модели представления об отношении: теоретико-множественные, конструктивные, предикатные. Центральная тема - обоснование выбора методов вычислительной логики для повышения уровня интеллектуальности реляционных баз данных. Представлены и другие модели данных (сетевые и иерархические), описывается объектно-ориентированный подход к проектированию баз данных. В качестве учебных языков программирования реляционных данных используются языки SQL и Дейталог. Особое внимание уделено методам обработки слабоструктурированных данных.
Для преподавателей и учащихся высших и средних учебных заведений, программистов и специалистов по применению баз данных, а также для всех, кто занимается самообразованием в этой области знаний.


Язык: ru

Рубрика: Computer science/

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Ограниченность снизу      104
Однозначность      398 456
Однопользовательская система      47
ООСУБД      253 496
Операнд      59 134 149
Оператор      161 286 305
Операторный      466 469
Операциональный      446 466
Операционный      27 467
Операция      467
Операция базовая, реляционной алгебры      59 129
Операция логическая      129 210
Операция реляционной алгебры      109 129
Операция родовая      467
Операция специальная      467
Операция теоретико-множественная      100 129
Описание      26 293 467
Оптативный      164 467
Оптимизация      29 325 342
Организация      28 359 408
Организация логическая базы данных      467
Организация физическая базы данных      467
Орграф      103 265 327
ОРСУБД      496
Основа (матрица)      222 354
Осуществимость потенциальная      92 436 467
Откат      164 199 467
Отношение      20 108 468
Отношение n-арное      56 99
Отношение антирефлексивное (иррефлексивное)      100
Отношение асимметричное (асимметрическое)      44
Отношение бинарное      44 99
Отношение больше или равно      103
Отношение иррефлексивное      468
Отношение конструктивная модель      120
Отношение меньше или равно      103
Отношение неразрешимое      123 148
Отношение нормализованное      359 468
Отношение обратное      100
Отношение порядка      101
Отношение предикатная модель      221
Отношение рефлексивное      44 100
Отношение симметричное (симметрическое)      101
Отношение строго больше      103
Отношение строго меньше      103
Отношение теоретико-множественная модель      222
Отношение тернарное      121
Отношение транзитивное      44 101
Отношение унарное      468
Отношение универсальное      64 99 124
Отношение частичного порядка      26 44
Отношение эквивалентности      101
Отображение      106 469
Отрицание      100 469
Пакет      271 312 362
Память      29 38 469
Память ассоциативная      319
Память виртуальная      351 365
Память оперативная      405
Пара      469
Пара неупорядоченная      97 445
Пара упорядоченная      97 445
Параллелизм      319 404
Параллельная обработка      47 199 409
Первая нормальная форма      66 435
Первичный ключ      38 58 488
Переменная      115 470
Переменная векторная      470
Переменная индивидная      210
Переменная металингвистическая      470
Переменная предикатная      210
Переменная предметная (индивидная)      210
Переменная простая (скалярная)      294 414
Переменная свободная      127
Переменная связанная      470
Переменная системная      297
Перемешивание      470 490
Пересечение      110 131 470
Пересечение множеств      110 120
Пересечение реляционное      131
Персистентность      256 470
ПЛ/1, PL/1      470
Подзапрос      153 158 172
Подкласс      46 250 465
Подмножество      54 59 99
Подмножество нетривиальное      59
Подмножество пустое      97 461 466
Подстановка      117 214 470
Подсхема      45 302 471
Подсхема базы данных      45 302
Подсхема концептуальная      471
Подтип      258 385 471
Подъязык      140 153 492
Поиск      59 73 170
Поле      34 35 74
Поле данных      35
Поле записи      308 34
Полиморфизм      46 465 471
Полномочия      42 155 163
Полнота      16 471
Полнота исчисления      91 215
Полнота реляционная языка программирования      140 215
Полнота теории      71 214
Полнота функциональная      141
Полугруппа      109 445 471
Полупорядок      102 471 472
Полусоединние      132 471
Порождение родовое (представление рода)      254 279 455
Порядок      101 471
Порядок в домене      11 44 99
Порядок левонаправленный      101 102
Порядок линейный      105
Порядок направленный      102
Порядок нестрогий      101 102
Порядок обратно направленный      102
Порядок полный      105
Порядок правонаправленный      102
Порядок произвольный      98
Порядок реляционный      99
Порядок связный частичный      102
Порядок совершенный (линейный)      105
Порядок строгий      101
Порядок условный      101
Порядок частичный, полупорядок      45 102
Последовательный доступ      308 453 459
Пост      52 116
Посылка      116 124 217
Потенциальный ключ      58 69 358
Ппф (правильно построенная формула)      126
Права      163 195 197
Правило      25 214 225
Предикат      25 57 127
Предложение      352 473
Предмет      53 208 473
Предметный      53 75 473
Предопределенный (встроенный, внутренний)      53 252 285
Предпорядок      97 102 455
Предприятие      360 473
Представитель      101 370 473
Предшествование      103 473
Преемник      445 473
Преобразование      72 112 347
Преобразование монотонное      12 212
Преобразование обратное      75
Префикс      164 367
Приватность      398 473 485
Приведение типов      166 473 485
Привилегия      164 195 202
Принцип      43 106 473
Принцип дедукции      222
Принцип нормализации, Ленинградский принцип      473
Принцип резолюции      80 219
Принципы (правила реляционности Кодда)      350 474
Приращение антецедента аугментация      60 437 474
Программа      24 42 474
Программирование      47 474
Программирование логическое      47 125 151 208
Программирование объектно-ориентированное      256
Программирование структурное      318 404
Программирование функциональное      407 420
Продукция      116 227 474
Проектирование базы данных      40 60 474
Проекция      59 69 79
Прозрачный      469 474
Произведение      475
Произведение декартово      129
Произведение декартово множество      54 98
Произведение расширенное декартово      129
ПРОЛОГ, Пролог      92 224 475
Прообраз      100 461 475
Пропозициональный      209 213 454
Процедурность      77 80 193
Процедурный      12 46 475
Процесс      51 94 265
Псевдоним      154 171 475
Псевдотранзитивность      60 437 475
Путь      291 340 475
Пятая нормальная форма      68 90 489
РАВНО, равно      436 442 468
Разбор      19 475
Разбор восходящий снизу вверх      240 475
Разбор нисходящий сверху вниз      240 475
Разграничение      189 437
Разделение      253 312 475
Разметка      165 326 475
Разность      180 476
Разрешимость      378 476
Рандеву      476
Рандомизация      476 490
Расстановка      76 406 417
Расширяемость      214 476
Реалия      53 476 479
Ребро      103 392 444
Редукция      476 483
Резольвента      219 80
Резолюция      80 219
Рекурсия      79 120 476
Реляционный      276 476
РЕФАЛ, рефал      380 476
Рефлексивность      44 60 477
Решетка      477
Решетка Булева (Булева алгебра)      105 110
Решетка дистрибутивная      109 110
Решетка полная      477
Родовой      455 466
САПР      335 384 390
СБД      496
СБИС      496
Свойство      477
Свойство функциональности      106
Свойство характеристическое      477
Связка логическая      60 477
Связность      477 490
Связывание      76 255 474
Секвенция хорновская      443
Секция      294
Селекция      477
Семантика      334 417 477
Семафор      477
Семейство множеств      55 107 335
Сервер      293 312 478
Сеть      45 301 478
Си      478
Символ      52 61 115
Символ алфавитно-цифровой      115 157
Символ базовый      115
Символ вспомогательный      115 213
Символ графический      266 267
Символ предикатный      24 224
Символ терминальный      115 269
Симметрия      101 129 478
Синоним      102 354 400
Синтаксис      71 148 153
Система      206 217 478
Система CAM      480 497
Система CASE      261 266 497
Система алгебраическая модель формального языка      206 222
Система баз данных      20 194 206
Система дедуктивная      209 260 314
Система каноническая Поста      208 217
Система операционная      17 200 307
Система программирования      261 293 307
Система продукционная      479
Система реляционных алгебраических уравнений      479
Система словаря-справочника данных      201 263
Система сложная      479
Система универсальная      479
Система управления базами данных      206
Система файловая      28 313
Система экспертная      318 362 480
Ситуация тупиковая (клинч, тупик)      199 418
Скаляр      173 294 414
Следование логическое      218 473 480
Словарь данных      115 201 360
Слово      219 286 379
Слово зарезервированное      481
Слово ключевое      269 277 293
СНОБОЛ, Снобол      470 481
Событие      52 275 481
Совместимость      131 259 481
Соединение      59 149 481
Соединение внешнее      180
Соединение естественное      132
Соединение натуральное      132
Соединение полусоединение      132
Соединение тета ($\theta$-join)      131 481
Соединение эквисоединение (equi-join)      132
Сообщение      27 52 74 270
Составной ключ      39 68
Состояние целостности      29 32 55 189
Список      115 156 243
Список двунаправленный      272 481
Список инвертированный      481 493
Список кольцевой (циклический)      482
Список линейный      105 458 481
Список магазинный, стек      125 482
Список последовательный      15 77 481
Справочник данных      201 360 482
Сравнимость      103 472 482
Ссылка      59 164 482
Ссылочная целостность      66 171 490
Станция      313 386 482
Стек      125 482
Степень      99 247 319
Строго больше      103 436 482
Строго меньше      103 436 482
Строка      34 64 154
Структура      32 73 110
СУБД      14 251 313
Суперкласс      25 267 463
Супремум      110 445 482
Сущность      53 89 265
Схема      264
Схема базы данных      302 482
Схема внешняя      43
Схема записи      450
Схема отношения      482
Схема производящая      436 483
Схема реляционной таблицы      346 483
Таблица      25 358 426
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте