Conoce las contribuciones más recientes sobre lógica de bases de datos y estructuras algebraicas presentadas en RAMiCS 2012, con estudios profundos sobre teoría de consultas, modelos formales y algoritmos de optimización.