Dissertação

Database Partitioning via Symbolic Execution EVALUATED

As bases de dados são uma peça fundamental para qualquer sistema que necessite de guardar dados de forma persistente. Com a emergência de sistemas de larga escala, as bases de dados que os suportam necessitam de abordar todas as questões de escalabilidade inerentes. Em particular, não é possível replicar os dados em todas as réplicas que constituem um sistema, sendo necessário distribuir os dados entre as réplicas, surgindo assim o particionamento de dados Trabalhos de investigação anteriores nesta área requerem extratos de execução do sistema para adquirir informação referente aos dados processados de forma a conseguir particionar os dados. Este trabalho sugere utilizar execução simbólica com o intuito de alcançar um esquema de particionamento de dados ideal. Com este objetivo em vista, formulamos o problema como um problema de particionamento de um grafo que utiliza a informação obtida durante a análise simbólica. Depois de resolver o problema de particionamento de um grafo, aplicamos o esquema de particionamento resultante â base de dados por forma a obter partições ideias de acordo com a nossa formulação do problema. Os resultados obtidos para o benchmark TPC-C são bastante satisfatórios tendo em consta que estão de acordo com a melhor solução conhecida para este benchmark.
bases de dados, particionamento de dados, execução simbólica, particionamento de grafos

janeiro 27, 2021, 13:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Miguel Ângelo Marques de Matos

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Paolo Romano

Departamento de Engenharia Informática (DEI)

Professor Associado