Базы Данных, 01 лекция (от 01 сентября)

Материал из eSyr's wiki.

(Перенаправлено с Базы Данных, 01 лекция)
Перейти к: навигация, поиск

Предыдущая лекция | Следующая лекция

Содержание

Кузнецов Сергей Дмитриевич
Кузнецов Сергей Дмитриевич

[править] Базы Данных

Лектор: Кузнецов Сергей Дмитриевич

[править] Учебники

  • 5B K-891 С. Д. Кузнецов «Основы БД. Курс лекций. Учебное пособие»
  • 5В М-272 А. С. Марков, К. Ю. Лисовский «Базы данных»

[править] Контакты лектора и рекомендованные ресурсы

[править] Рекомендованные лекторы и их спецкурсы

  • Петр Плешачков
    • (осенний семестр) XML, БД и др.
    • (весенний семестр) Управление транзакциями
  • Дмитрий Лизоркин
    • Функциональное программирование и XML
  • Андрей Фомичев
    • Внутренняя организация БД
  • Максим Гринев
    • Приложения СУБД

[править] Нулевое приближение

В 1974 году было введдено и обоснованно понятие реляционных БД. Курс именно о них.

[править] Величайшие люди данной области

  • Эдгар Кодд — классик, отличный ученый и человек, достойный восхищения
  • Кристофер Дейт — автор труда «Основы современных БД», один из авторов «Третьего Манифеста»
  • Хью Дарвен — один из авторов «Третьего Манифеста»

[править] Программа Курса

  1. Введение
    1. Системы управления данными (02)
    2. Требования к БД и СУБД исходя из информационных систем (03)
    3. Ортодоксальный взгляд — «взгляд стариков»? (04)
  2. Реляционная модель данных (04)
    1. Структурная часть (06)
    2. Манипуляционная часть (06)
    3. Целостная часть (06)
  3. Проектирование реляционных БД (11)
    1. Теория функциональных зависимостей (11, 12, 13)
    2. Проектирование БД на основе нормализации (13, 14, 15, 16)
    3. Семантическое проектирование (16)
      1. Entity-Relationship (16, 17)
      2. Диаграммы классов UML (18, 19)
      3. Object Constraint Language (20, 21)
  4. Внутренняя организация СУБД (21)
    1. на примере System R (IBM, 1974–1979) (21, 22)
    2. Структура данных (22, 23)
    3. Управление транзакциями (24, 25, 26, 27)
    4. Журналирование и восстановление (27, 28)
    5. Управление буферизацией (28)
    6. Обработка запросов
  5. SQL
    1. Модель данных
    2. Сравнение с реляционной моделью

[править] 4 абстрактных языка, рассматриваемых в пункте 2.2 программы курса

  • Логический подход
    • Исчисление кортежей (SQL) (10, 11)
    • Исчисление доменов (формы в БД) (11)
  • Алгебраический подход
    • Классическая алгебра Кодда (алгебраическая часть SQL, избыточна) (07, 08)
    • Алгебра А (непрактична, нереализуема, но зато минимальна) (08, 09, 10)


Базы Данных


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28


Календарь

пт чт пт чт пт чт пт чт пт чт
Сентябрь
01 07 14 15 21 22 28 29
Октябрь
  05 06 12 13 19 20 26 27
Ноябрь
  02 03 09 16 17 23 24 30
Декабрь
  07 08 14 15

Вопросы к экзамену
1999 2000 2001 2002 2003 2004 2005 2006


Дополнительная информация к экзамену


Эта статья является конспектом лекции.



Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы