• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
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.

Глава в книге
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.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

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

arxiv.org. Computer Science. Cornell University, 2020

Базы данных (часть 1)

2022/2023
Учебный год
RUS
Обучение ведется на русском языке
4
Кредиты

Преподаватели

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

Аннотация

Курс направлен на развитие навыков и понимания методологии проектирования баз данных и проверки их структурной правильности, внедрения баз данных и прикладного программного обеспечения в реляционной модели, а также в парадигме MAPreduce. Слушатели смогут использовать языки запросов, в первую очередь SQL, и другого программного обеспечения, поддерживающего базы данных; применять теорию в основе различных моделей баз данных и языков запросов; реализовывать политики безопасности и целостности, относящиеся к базам данных; работать в групповых настройках для разработки и реализации проектов баз данных