Главная    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
Предметный указатель
Таблица реляционная      33 54 365
Таблица системная      201 357
Тавтология      212 219 370
Тарский      149
Тезаурус      399 483
Тезис      380 483
Тезис Клини      380
Тезис Маркова      380
Тезис Поста      380
Тезис Чёрча — Тьюринга      380
Текст      43 52 483
Тело порождающее      109 246 369
Теорема      370 378 483
Теорема Гёделя о неполноте      126 142
Теорема Гёделя о полноте      214
Теорема Кодда о редукции Тарского      222 247 416
Теорема о неподвижной точке на решетках      95 112 114
Теория      149 209
Терм      115 123 210
Технология      261 484
Технология CASE      261 262
Технология программирования      261 262
Тип      32 484
Тип абстрактный данных      33 39 46
Тип базовый      34 73
Тип вариантных записевых данных (вариантные записи)      484
Тип данных      35 38 156
Тип записей, записи      34 38
Тип инкапсулированный      46
Тип наборов, наборы      463 484
Тип ограниченный      104 473
Тип перечислимых данных      192
Тип порождающий      46
Тип предопределенный      53
Тип приватный      484
Тип производный      485
Тип скалярный (простой)      447 470
Тип составной      447
Тип универсальный      111
Типизация      32 380
Типизация слабая      485
Типизация строгая      477 485
Топология      385 412 485
Точка      486
Точка входа (активная запись)      76 451
Точка наименьшая неподвижная      114
Точка неподвижная      112 142 219
Транзакция      43 161 237
Транзитивность      44 60 437
Трансляция      231 486
Третья нормальная форма      67 489
Тривиальный      69 99 486
Триггер      200 486
Тупик      199 418 480
Тьюринг      52 94 123 380
Узел      103 253 328 442
Узел концевой      457
Узел корневой      307
Узел родительский      193 406
Указатель      12 163 406
Умолчание      33 54 81 154 406
Унарное отношение      35 127 130 469
Универсум      51 93 212 224 460
Уникальность      34 58 328 406
Унификация      225 486
Упорядоченный      32 98 461 487
Уровень      42 205 487
Уровень внешний      17 42
Уровень концептуальный      17 43
Уровень физический      17 42
Условия целостности      70 189 236 487
Устойчивость      27 487
Устройство      310 478 487
Устройство виртуальное      487
Устройство функциональное      487
Уточнение имен      50
Уточнитель      50 487
Файл      74 313 357 487
Файл инвертированный      487
Файл индексно-последовательный      17 487
Файл индексный      488
Факт      26 222 275 488
Фактор-множество      101 488
Факторизация      48 488
Физический      17 487
Фильтр      74 488
Форма      66
Форма вторая нормальная      67
Форма нормальная      66
Форма первая нормальная      66
Форма предикатная      25 210 451 472
Форма пятая нормальная      69
Форма третья нормальная      67
Форма третья нормальная Бойса — Кодда      67
Форма четвертая нормальная      67
Формализация      115 125 489
Формула      60 79 210
Фортран      28 335 489
Фреге      46
Функтор      489
Функциональность      489
Функция      106 120 489
Функция агрегат (сводки)      165
Функция адресации      490
Функция булева (логическая)      72 264 490
Функция встроенная (предопределенная, стандартная)      83 230 243 490
Функция логическая      490
Функция пропозициональная      490
Функция расстановки, хэш-функция      76 406 470 490
Функция характеристическая      56
Хеш-функция      76 406 470 490
Хеширование      406 490
Хранилище      320 385 387 408
Целостность      27 189 490
Цель      219
Цепочка (строка)      93 490
Цепь      105 490
Цикл      74 246 490
Частичный порядок      45 102
Частное      133 490
Четвертая нормальная форма      67
Число кардинальное      462 490
Член набора      451 491
Шаблон      169 254 491
Шлюз      491
Эквивалентность      101 491
Эквисоединение      59 132 491
Экземпляр      93 249 491
Экземпляр представителя типа      491
Экземпляр родовой      455 491
Экспорт      310 491
Экстенсионал      25 29 491
Электронный      48 311 491
Элемент      32 491
Элемент данных      33 491
Элемент максимальный      103 491
Элемент минимальный      103 491
Элемент наибольший      114
Элемент наименьший      114 491
Элемент предельный      105 491
Элементарность      34 216 224 491
ЭС      382
Эффект побочный      241 492
Язык      210 492
Язык алгоритмический      79 492
Язык базовый, включающий      295 492
Язык встраиваемый      295 495
Язык высокого уровня      492
Язык декларативный (непроцедурный)      80 492
Язык императивный      80 493
Язык исходный (входной)      456 492
Язык логического программирования      47
Язык манипулирования данными      174 492
Язык непроцедурный      80 492
Язык описания данных (определения данных)      45 493
Язык проблемно-ориентированный язык      493
Язык программирования      79 493
Язык процедурно-ориентированный (процедурный)      492
Язык реляционно полный      493
Язык реляционный      493
Язык спецификаций      261 277
Язык управления заданиями      493
Язык формальный      493
Язык, оболочка      492
Язык, объект      493
Язык, ядро      493
ЯМД      174 492
ЯОД      493
ЯП      497
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте