• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Вильмэн Симон Лео -
Horn Minimization
Науки о данных
(Магистратура)
10
2018
This document is a report of a master thesis made at HSE computer science faculty (Moscow). It has been conducted in the context of a double-diploma program with the ISIMA (France). The topic was implication theories, or Horn, minimization, used in database applications for instance. More precisely the aim was to provide a review of existing algorithms for performing minimization and implement them to see how do they behave under practical test cases.

By the end of the period, we found several algorithms and reviewed them within the context of closure systems. On top of providing explanations on their operation and complexity analysis, we implemented those algorithms using C++. Using randomly generated systems as real data, we determined which closure operator matches the best each algorithm and which algorithm or steps are likely to be used in practice. Those results being valid within the context of our experiments, suggest further research and experiments to lead in future work.

Keywords: theoretical computer science, implications, closure systems, minimization, canonical basis, algorithmic.
Текст работы (работа добавлена 28 мая 2018г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Расширенный поиск ВКР