On The Actual Power of Magic
Organisatsiooni nimi
Laboratory for Software Science
Kokkuvõte
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?
Lõputöö kaitsmise aasta
2022-2023
Juhendaja
Rucy
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
Kandideerimise kontakt
Nimi
Rucy
Tel
E-mail