Registro:
| Documento: | Tesis de Grado |
| Título: | Una caracterización operacional para modelos de consistencia transaccional |
| Autor: | Lamela, Emanuel |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2020 |
| Fecha en portada: | 2020 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Roldán, Christian Hugo |
| Jurado: | Martínez Suñé, Agustín Eloy; Melgratti, Hernán Claudio |
| Idioma: | Español |
| Palabras clave: | REPLICACION; MODELOS DE CONSISTENCIA TRANSACCIONAL; SEMANTICA OPERACIONAL; SOUNDNESS; COMPLETENESS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000773_Lamela |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000773_Lamela.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000773_Lamela |
| Ubicación: | Dep.COM 000773 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Lamela, Emanuel. (2020). Una caracterización operacional para modelos de consistencia transaccional. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000773_Lamela |
Resumen:
Hoy en día se construyen aplicaciones sobre bases de datos replicadas que garantizan escalabilidad y alta disponibilidad a expensas de sacrificar la consistencia, es decir, los usuarios pueden observar temporalmente diferencias sobre el estado del sistema. Un modelo de consistencia caracteriza este tipo de inconsistencias o anomalías. Por lo tanto, razonar sobre la semántica de programas está directamente ligado a los modelos de consistencia que este tipo de bases de datos ofrecen. La literatura define a los modelos de consistencia en términos de axiomas que restringen las posibles ejecuciones que suceden en una base de datos replicada. En particular, en esta tesis nos concentramos en modelos de consistencia para transacciones. Una traza de ejecución es reconstruida a través de un grafo de eventos conocido como ejecución abstracta. La misma se define sobre un conjunto de transacciones y dos relaciones: (i) visibilidad, que define cuando una transacción es conocida por otra, y (ii) arbitración, que especifica un orden relativo entre las transacciones ejecutadas por el sistema. Estos mecanismos, si bien son declarativos, no inducen una operatoria clara que pueda ser sencillamente traducida a una implementación. En esta tesis proponemos un modelo operacional basado en un sistema de transición etiquetado que captura de forma general los modelos de consistencia para transacciones. Para esto definimos el estado del sistema como un orden parcial sobre una secuencia de transacciones, una regla de equivalencia estructural, y un conjunto de reglas de derivación descriptas en términos de dos predicados paramétricos: commit consistency y arbitration consistency. En este trabajo, presentamos instanciaciones particulares de cada predicado que servirán como definiciones alternativas de los modelos de consistencia como Snapshot Isolation y Causal Consistency. Probaremos la equivalencia entre el enfoque clásico, definido axiomáticamente, y nuestro modelo operacional. Concretamente, demostramos la correspondencia presentando pruebas de soundness y completeness para cada modelo de consistencia transaccional.
Citación:
---------- APA ----------
Lamela, Emanuel. (2020). Una caracterización operacional para modelos de consistencia transaccional. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000773_Lamela
---------- CHICAGO ----------
Lamela, Emanuel. "Una caracterización operacional para modelos de consistencia transaccional". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2020.https://hdl.handle.net/20.500.12110/seminario_nCOM000773_Lamela
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000773_Lamela.pdf
Distrubución geográfica
