Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен




Скачать 49.38 Kb.
НазваниеКурс, 1 поток, 5-й семестр лекции (34 часа), экзамен
Дата публикации03.04.2013
Размер49.38 Kb.
ТипПрограмма курса
litcey.ru > Информатика > Программа курса

Базы данных


3 курс, 1 поток , 5-й семестр

лекции (34 часа), экзамен

4 курс, 2 поток , 7-й семестр

лекции (34 часа), экзамен

3 курс, 3 поток , 5-й семестр

лекции (68 часов), экзамен

Кафедра, отвечающая за курс: системного программирования

Составители программы: проф., доктор техн. наук Кузнецов С. Д.,

проф., доктор физ.-мат. наук Марков А. С.

Лекторы: проф., доктор техн. наук Кузнецов С. Д. (3 п.),

проф., доктор физ.-мат. наук Марков А. С. (1 и 2 п.)

Аннотация


В курсе обсуждаются общие вопросы систем управления базами данных (СУБД) и основы реляционных баз данных: введение в реляционные СУБД (РСУБД), основные функциональные компоненты РСУБД, введение в язык реляционных баз данных SQL.

Для 1-го и 2-го потоков излагаются теория и методология реляционных БД.

Для 3-го (программистского) потока подробно обсуждаются вопросы проектирования РСУБД.
^

Программа курса


I. Общая часть

Понятие базы данных (БД) и систем управления БД (СУБД). Области приложений баз данных. Интерфейсы СУБД для обеспечения интерактивного доступа к данным и создания прикладных программ. Языки запросов, запросы через формы. Типичные функции СУБД. Понятия транзакции, целостности и защищенности данных. Концептуальные модели данных.

Реляционные БД. Реляционная модель данных. Реляционная алгебра и реляционное исчисление. Нормальные формы отношений.

Язык баз данных SQL. Основные средства манипулирования данными. Средства управления и изменения схемы базы данных, определения ограничений целостности, представлений базы данных, привилегий доступа к данным.
II. Специальная часть для 1 и 2 потоков

Реляционные БД (РБД) в терминах характеристических функций на доменах. Типы ключей. Индексирование таблиц. Применение функций расстановки.

Экстенсиональные и интенсиональные базы данных. Предикатные формы реляционных данных. Аксиомы Армстронга.

Основные приемы работы с РБД без программирования, сопоставление этих приемов с типовыми операторами процедурных языков РБД и языков логического программирования.

Теоретико-множественная модель РБД: отношения, внесение упорядоченности в домены, универсальные алгебры, структуры (решетки).

Сопоставление алгебраических форм с предикатными формами. Теорема Кодда о редукции.

Реляционные исчисления в терминах канонических систем Поста. Рекурсивно-перечислимые отношения. Представление о неразрешимых отношениях. Теорема о неподвижной точке монотонных преобразований на полных решетках.

Хорновские дизъюнкты. Логический вывод из гипотез Принцип дедукции. Принцип резолюции и алгоритм резолюций. Язык дедуктивных РБД Пролог. Зависимость Пролога от процедур (алгоритма резолюций).

Семантика Дейталога: методы итерации неподвижных точек преобразований на решетках, трансляция Дейталога в реляционную алгебру, применение алгоритмов Якоби и Гаусса-Зейделя для решения систем алгебраических реляционных уравнений.

III. Специальная часть для 3 потока

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

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

Семантические модели данных и проектирование реляционных баз данных с использованием этих моделей. Диаграммы "сущность-связи", основные понятия, методика проектирования реляционных баз данных на основе модели “сущность-связь”. Получение реляционной схемы из ER-диаграммы. Моделирование реляционных баз данных с использованием диаграмм классов языка UML. Ограничения целостности и язык OCL. Получение схемы реляционной базы данных из диаграммы классов.

Основные функции СУБД: управление данными во внешней памяти, управление буферами оперативной памяти, управление транзакциями, журнализация изменений базы данных, восстановление после сбоев, поддержка языков баз данных. Логическая структура реляционных СУБД (компилятор языка запросов, ядро, утилиты), разделение функций. Компоненты ядра. Клиентская и серверная части реляционной СУБД.

Структуры данных реляционной базы данных. Способы хранения отношений, адресация кортежей, распределение памяти, хранение BLOB’ов (Binary Large Objects). Основные подходы к организации индексов (B-деревья и механизмы хэширования), кластеризация отношений, организация журнальной информации.

Связь понятия транзакции с понятиями целостности базы данных и изолированности пользователей. Разновидности конфликтов транзакций и уровни изолированности пользователей. Сериализация транзакций. Методы управления транзакциями и их сериализацией (двухфазный протокол синхронизационных блокировок, метод временных меток). Гранулированные и предикатные блокировки. Синхронизационные тупики и способы их разрешения.

Журнализация. Разновидности журналов (индивидуальные журналы транзакций, логические журналы, физические журналы. Протокол WAL (Write Ahead Log). Связь с управлением буферами оперативной памяти. Архивные копии базы данных. Разновидности сбоев (аварийное завершение транзакции, мягкие сбои, жесткие сбои). Физическая целостность баз данных. Задачи и методы восстановления баз данных после сбоев.

Язык SQL как модель данных. Типы данных SQL. Средства определения, изменения и ликвидации базовых таблиц. Средства определения и отмены общих ограничений целостности. Средства языка SQL для выборки данных. Средства языка SQL для манипулирования данными.

Литература


Обязательная:

  1. Дейт К.Дж. Введение в системы баз данных.- М.: СПб.: Вильямс, 2005.

  2. Гарсиа-Молина Г., Ульман Дж. Д., Уидом Дж. Системы баз данных. Полный курс. - М.: СПб.: Вильямс, 2003.

  3. Марков А.С., Лисовский К.Ю. Базы данных. Введение в теорию и методологию. Исправленное переиздание. М.: Финансы и статистика, 2006.

  4. Кузнецов С.Д. Основы баз данных. М.: Интернет-университет информационных технологий - ИНТУИТ.ру, 2005

Дополнительная для 1-го и 2-го потоков:

  1. Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных. - М.: Мир, 1992.

  2. Грэй П. Логика, алгебра и Базы данных. - М.: Машиностроение, 1989.

  3. Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту. – М.: Мир, 1990. 432 с.

Дополнительная для 3-го потока:

1. Дейт К.Дж., Дарвен Х. Основы будущих систем баз данных. Третий манифест. - М.: Янус-К, 2004.



Похожие:

Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconКурс, 3-й поток, 7-й и 8-й семестры лекции (64 часа), экзамен в 8-м...
Курс базируется на следующих языках спецификации и формальных нотациях: rsl, sdl, msc с привлечением примеров на uml и других языках...
Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconЛечебный факультет 5 курс / лекции / Осенний семестр 2011-2012 уч г. 1 поток ( 501-514группы)

Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconЛечебный факультет V курс / лекции / Осенний семестр 2013-2014 уч г. 2 поток ( 514-526 группы)

Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconЛечебный факультет 5 курс / лекции / Осенний семестр 2012-2013 уч г. 2 поток ( 513-527 группы)

Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconЛечебный факультет 4 курс
Лечебный факультет 4 курс / лекции / 1 поток (гр. 401-414) 2012-2013 уч г. /весенний семестр
Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconКурс, 1-й семестр лекции (51 час), экзамен практикум на ЭВМ (68 часов),...
Рассматриваются формальные модели алгоритмов (машина Тьюринга, алгоритмы Маркова), язык программирования Паскаль, основные структуры...
Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconКурс, 4-й семестр лекции (32 часа), зачет без оценки практикум на...
Большое внимание уделяется трансляторам: рассматриваются элементы теории формальных языков и грамматик, их применение при построении...
Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconКурс 1 поток Алгебра и геометрия полгода, ежегодно 1 семестр 1 курс...
Численное построение плотностей ядерных состояний на основе имитационных моделей. Галкин В. Я., Орлик С. И. М.,2001
Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconПедиатрический факультет VI курс / лекции / Осенний семестр 2013-2014 уч г

Курс, 1 поток, 5-й семестр лекции (34 часа), экзамен iconМимос лечебное дело V курс / лекции / Осенний семестр 2013-2014 уч г

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
litcey.ru
Главная страница