Устройства внешней памяти

Устройства внешней памяти
Файловые системы
Структуры файлов

Логическая структура файловых систем и именование файлов
Авторизация доступа к файлам
Синхронизация многопользовательского доступа
Области разумного применения файлов
Потребности информационных систем
Структуры данных

Целостность данных
Языки запросов
Транзакции, журнализация и многопользовательский режим


СУБД как независимый системный компонент
Заключение

Основные понятия реляционных баз данных

Основные понятия реляционных баз данных
Тип данных
Домен
Заголовок отношения, кортеж, тело отношения, значение отношения, переменная отношения
Первичный ключ и интуитивная интерпретация реляционных понятий
Фундаментальные свойства отношений

Отсутствие кортежей-дубликатов, первичный и возможные ключи отношений
Отсутствие упорядоченности кортежей
Отсутствие упорядоченности атрибутов
Атомарность значений атрибутов, первая нормальная форма отношения
Реляционная модель данных
Общая характеристика
Целостность сущности и ссылок
Заключение

Обзор реляционной алгебры Кодда

Введение
Обзор реляционной алгебры Кодда
Общая интерпретация реляционных операций
Замкнутость реляционной алгебры и операция переименования
Особенности теоретико-множественных операций реляционной алгебры

Операции объединения, пересечения, взятия разности. Совместимость по объединению
Операция расширенного декартова произведения и совместимость отношений относительно этой операции
Специальные реляционные операции
Операция ограничения
Операция взятия проекции
Операция соединения отношений

Операция деления отношений
Заключение

Базовые операции Алгебры A

Введение
Базовые операции Алгебры A
Операция реляционного дополнения
Операция удаления атрибута
Операция переименования
Операция реляционной конъюнкции

Операция реляционной дизъюнкции
Полнота Алгебры A
Выводимость операции взятия разности
Интерпретация операции ограничения
Соединения общего вида
Реляционное деление
Избыточность Алгебры A

Реляционные аналоги штриха Шеффера и стрелки Пирса
Избыточность операции переименования
Заключение

Исчисление кортежей

Введение
Исчисление кортежей
Правильно построенные формулы
Простые условия
Кванторы, свободные и связанные переменные

Целевые списки и выражения реляционного исчисления
Исчисление доменов
Условия членства
Выражения исчисления доменов
Заключение

Функциональные зависимости

Введение
Функциональные зависимости
Общие определения
Замыкание множества функциональных зависимостей. Аксиомы Армстронга. Замыкание множества атрибутов

Минимальное покрытие множества функциональных зависимостей
Декомпозиция без потерь и функциональные зависимости
Корректные и некорректные декомпозиции отношений. Теорема Хита
Диаграммы функциональных зависимостей
Заключение

Минимальные функциональные зависимости

Введение
Минимальные функциональные зависимости и вторая нормальная форма

Аномалии обновления, возникающие из-за наличия неминимальных функциональных зависимостей
Возможная декомпозиция
Вторая нормальная форма
Нетранзитивные функциональные зависимости и третья нормальная форма
Аномалии обновлений, возникающие из-за наличия транзитивных функциональных зависимостей
Третья нормальная форма
Независимые проекции отношений. Теорема Риссанена
Перекрывающиеся возможные ключи и нормальная форма Бойса-Кодда

Аномалии обновлений, связанные с наличием перекрывающихся возможных ключей
Нормальная форма Бойса-Кодда
Всегда ли следует стремиться к BCNF?
Заключение

Многозначные зависимости

Введение
Многозначные зависимости и четвертая нормальная форма
Аномалии обновлений при наличии многозначных зависимостей и возможная декомпозиция
Многозначные зависимости. Теорема Фейджина. Четвертая нормальная форма
Зависимости проекции/соединения и пятая нормальная форма
N-декомпозируемые отношения

Зависимость проекции/соединения
Аномалии, вызываемые наличием зависимости проекции/соединения
Устранение аномалий обновления в 3-декомпозиции
Пятая нормальная форма
Заключение

Ограниченность реляционной модели

Введение
Ограниченность реляционной модели при проектировании баз данных
Семантические модели данных
Семантическая модель Entity-Relationship (Сущность-Связь)
Основные понятия ER-модели

Уникальные идентификаторы типов сущности
Нормальные формы ER-диаграмм
Первая нормальная форма ER-диаграммы
Вторая нормальная форма ER-диаграммы
Третья нормальная форма ER-диаграммы
Более сложные элементы ER-модели

Наследование типов сущности и типов связи
Наследование типов сущности и типов связи - 2
Взаимно исключающие связи
Получение реляционной схемы из ER-диаграммы
Базовые приемы
Представление в реляционной схеме супертипов и подтипов сущности
Представление в реляционной схеме взаимно исключающих связей
Заключение

Основные понятия диаграмм классов UML

Введение

Основные понятия диаграмм классов UML
Классы, атрибуты, операции
Категории связей. Связь-зависимость
Связи-обобщения и механизм наследования классов в UML
Связи-ассоциации: роли, кратность, агрегация

Ограничения целостности и язык OCL
Общая характеристика языка OCL
Инвариант класса
Операции над значениями предопределенных типов данных
Операции над объектами
Операции над множествами, мультимножествами и последовательностями
Операция select
Операция collect
Операции exists, forAll, size
Операции union, intersect, symmetricDifference

Примеры инвариантов
Плюсы и минусы использования языка OCL при проектировании реляционных баз данных
Получение схемы реляционной базы данных из диаграммы классов UML
Заключение


История киноискусства перейти
Заключение - 2

Непрерывность бизнеса в нештатных ситуациях перейти

---