Joint Department with the RAS Institute for System Programming

Regular version of the site

Publications

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Book chapter

City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:: Elective course

When:: 2 year, 3, 4 module

Instructors

Breyman, Alexander

Шачнева Елена Андреевна

Полная версия программы учебной дисциплины

Аннотация

Предлагаемый курс ориентирован на изучение современных методов и средств организации баз данных, моделей данных (основной акцент — на классической реляционной модели), концептуального моделирования предметной области, даталогического проектирования, использования языка запросов SQL, создания программных приложений, обращающихся к базам данных. В качестве сервера баз данных используется PostgreSQL, в качестве инструментальных языков программирования — Python, Java и Си. Содержание курса соответствует курсу CS270T Databases, входящему в свод знаний по программной инженерии Software Engineering Education Knowledge (SEEK), описанный в документе Software Engineering 2004, определяющий руководящие принципы создания учебных планов для преподавания программной инженерии в высших учебных заведениях. Построение курса отвечает требованиям отечественных профессиональных стандартов в области информационных технологий и международного профессионального стандарта Guide to the Software Engineering Body of Knowledge (SWEBOK) ISO/IEC TR 19759 IEEE.

Цель освоения дисциплины

Овладение студентами классическими и современными подходами к моделированию данных и методами управления данными, позволяющими анализировать, моделировать и проектировать базы данных и разрабатывать программные приложения, использующие базы данных.

Планируемые результаты обучения

Знает основы теории организации и применения баз данных;
Знает место и роль баз данных в информационных системах, основы организации промышленных систем управления базами данных;
Знает современное состояние и тенденции развития систем управления базами данных.
Знает уровни представления данных, основные модели данных, методы организации, поиска и обработки данных;
Знает операции реляционной алгебры;
Знает нормальные формы схем отношений;
Знает типы целостности данных, методы обеспечения целостности данных;
Знает языки запросов, их классификацию и области применения;
Знает язык запросов SQL в части средств описания данных и манипулирования данными;
Знает операторы выборки, добавления, модификации и удаления данных языка запросов SQL;
Знает способы обеспечения независимости и защиты данных с использованием представлений и хранимых процедур;
Умеет выполнять инфологическое проектирование баз данных методом «сущность-связь»;
Умеет выполнять логическое проектирование реляционных баз данных;
Умеет выполнять нормализацию схем отношений реляционных баз данных;
Умеет выбирать типы индексов, создавать и настраивать индексы;
Умеет использовать транзакции;
Умеет получать доступ к данным с помощью курсоров;
Владеет навыками применения методов описания схем баз данных в современных СУБД;
Владеет навыками инфологического проектирования баз данных методом «сущность-связь»;
Владеет навыками нормализации схем отношений реляционных баз данных;
Владеет навыками разработки приложений баз данных, выполняющихся на компьютере пользователя;
Владеет навыками разработки приложений баз данных с веб-интерфейсом;
Владеет в применении средств объектно-реляционного отображения.

Содержание учебной дисциплины

Введение в управление данными
Моделирование данных
Проектирование баз данных: диаграммы сущность-связь
Реляционная модель данных
Проектирование реляционных баз данных
Реляционные языки запросов
Язык SQL: DDL
Язык SQL: Запросы
Язык SQL: DML
Процедурные расширения SQL
Доступ к базам данных из приложений
Файловые структуры хранения данных
Индексы
Выполнение запросов
Управление транзакциями

Элементы контроля

Работа на семинарах
Тест
Письменный экзамен
Групповой проект
Контрольная работа
Эссе

Промежуточная аттестация

2023/2024 учебный год 4 модуль
0.28 * Групповой проект + 0.07 * Контрольная работа + 0.3 * Письменный экзамен + 0.14 * Работа на семинарах + 0.07 * Тест + 0.14 * Эссе

Contacts

Databases (part 1)

Instructors

Программа дисциплины

Аннотация

Цель освоения дисциплины

Планируемые результаты обучения

Содержание учебной дисциплины

Элементы контроля

Промежуточная аттестация

Список литературы

Рекомендуемая основная литература

Рекомендуемая дополнительная литература