• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Horn Minimization

Student: Simon leo Vilmin

Supervisor: Sergei Obiedkov

Faculty: Faculty of Computer Science

Educational Programme: Data Science (Master)

Final Grade: 10

Year of Graduation: 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.

Full text (added May 28, 2018)

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses