On The Actual Power of Magic
Organization
Laboratory for Software Science
Abstract
Magic-sets are a technique to efficiently specialise a large query to a smaller one, that is, to answer the small one taking into account the larger, without actually running the larger for any outputs that would not satisfy the smaller.
However, there also is a standard way of doing this "specialisation", SLD Resolution.
Your task is to implement magic sets, SLD resolution, and compare just how better is magic, versus good ol logic. Is magic an advantage in all cases? are there situations in which answering the larger query, and then the smaller one, is not that much less efficient? Does logic ever even beat magic?
However, there also is a standard way of doing this "specialisation", SLD Resolution.
Your task is to implement magic sets, SLD resolution, and compare just how better is magic, versus good ol logic. Is magic an advantage in all cases? are there situations in which answering the larger query, and then the smaller one, is not that much less efficient? Does logic ever even beat magic?
Graduation Theses defence year
2022-2023
Supervisor
Rucy
Spoken language (s)
Estonian, English
Requirements for candidates
Level
Bachelor, Masters
Keywords
Application of contact
Name
Rucy
Phone
E-mail