Verificación del mantenimiento de la consistencia lógica en bases de datos Cassandra

Este trabajo ha sido realizado bajo los proyectosde investigacion TIN2013-46928-C3-1-R y TIN2016-76956-C3-1-R/-2-R, financiados por el Ministerio de Economia y Competitividad, y fondos FEDER. Tambien ha sido realizado bajo el proyecto GRUPIN14-007, financiado por el Principado de Asturias y fondos FEDER.