Progettazione e implementazione di un sistema di verifica della consistenza dei dati in un database distribuito - HerdDB

Questa tesi ha come obiettivo di progettare e di un sviluppare un sistema per la verifica della consistenza in un database distribuito. In particolare l'implementazione è stata effettuata sul database openSource HerdDB. Uno degli aspetti fondamentali di un database distribuito è quello della consistenza dei dati, in quanto quest'ultimo deve garantire che i dati siano sempre coerenti in tutti i nodi. Abbiamo studiato quali sono le tecniche maggiornamente utilizzate per la distribuzione dei dati, quali la replicazione e la frammentazione. In particolare abbiamo analizzato più approfondamente il concetto di replicazione e dei problemi legati ad esso. Infine abbiamo implementato un algoritmo su HerdDB che ha la scopo di verificare la coerenza dei dati in tutte le repliche del sistema distribuito.