Implementazione e valutazione di un'Algebra Relazionale Temporale con Preferenze nei Database Relazionali Temporali

Despite a plethora of different approaches being dedicated to handling time in the relational context, temporal preferences have not yet been addressed. In various tasks and applications, the exact time of occurrence of facts is not known (i.e., time is indeterminate), and preferences can be assigned to different temporal possibilities. In a recent paper, the theoretical foundations were laid for handling preferential indeterminate time in temporal relational databases, proposing a relational representation and a temporal relational algebra to manage it and studying their theoretical properties (e.g., correctness, reducibility). This thesis focuses on the implementation and experimental evaluation of this approach. This evaluation compares the compact version of the approach with the explicit version and studies the additional overhead for handling preferences and indeterminacy compared to relational approaches without time, with exact time, and with indeterminate time.

Nonostante una pletora di approcci differenti sia stata dedicata al trattamento del tempo nel contesto relazionale, le preferenze temporali non sono ancora state affrontate. In diversi compiti e applicazioni, il tempo esatto di occorrenza dei fatti non è noto (cioè, il tempo è indeterminato) e possono essere assegnate preferenze alle diverse possibilità temporali. In un recente articolo, sono state poste le basi teoriche per il trattamento del tempo indeterminato preferenziale nei database relazionali temporali, proponendo una rappresentazione relazionale e un'algebra relazionale temporale per gestirlo e studiando le loro proprietà teoriche (ad esempio, correttezza, riducibilità). Il lavoro di questa tesi si concentra sull'implementazione e la valutazione sperimentale di tale approccio. Tale valutazione confronta la versione compatta dell'approccio con quella esplicita e studia l'overhead aggiunto per gestire le preferenze e l'indeterminatezza rispetto agli approcci relazionali senza tempo, con tempo esatto e con tempo indeterminato.