Universidad Complutense de Madrid
E-Prints Complutense

Comprobación de asertos en bases de datos relacionales

Impacto

Downloads

Downloads per month over past year



Palenik, Mihály (2017) Comprobación de asertos en bases de datos relacionales. [Trabajo Fin de Grado]

[img]
Preview
PDF
734kB


Abstract

In this work we consider the problem of detecting errors in large sets of SQL relations. In order to detect possible bugs the user can introduce assertions using a simple, set-like language indicating properties like inclusion or membership. Then, the system checks these assertions, reporting to the user if any assertion violation is detected. The assertions include options that allow the system to consider relations both as sets and as multisets and also to take the tuple order into account. These options can be included by the user at the same time the assertions are defined. We present a working prototype developing these ideas.

Resumen (otros idiomas)

En este trabajo consideramos el problema de la detección de errores en grandes conjuntos de relaciones SQL. Para facilitar la detección de errores, el usuario puede introducir asertos utilizando un lenguaje sencillo con notación conjuntista, que permite definir propiedades como la inclusión o pertenencia. El sistema comprueba estos asertos e informa al usuario si se detecta que algún aserto no se verifica. Los asertos incluyen opciones que permiten al sistema considerar las relaciones tanto como conjuntos como si se tratara de multiconjuntos, a la vez que se permite tener en cuenta el orden entre las tuplas. Estas opciones se especifican por el usuario a la vez que se definen los asertos. Presentamos también un prototipo que desarrolla estas ideas.

Item Type:Trabajo Fin de Grado
Additional Information:

Trabajo de Fin de Grado en Ingeniería Informática (Universidad Complutense, Facultad de Informática, curso 2016/2017)

Directors:
DirectorsDirector email
Caballero Roldán, Rafael
Uncontrolled Keywords:Relational databases, Postgresql, Assertions, Debugging, Relational algebra, Java, ANTLR, Multisets, Testing, SQL views
Palabras clave (otros idiomas):Bases de datos relacionales, Postgresql, Asertos, Depuración, Álgebra relacional, Java, ANTLR, Multiconjuntos, Pruebas, Vistas SQL
Subjects:Sciences > Computer science > Databases
Sciences > Computer science > Programming languages (Electronic computers)
Título de Grado:Grado en Ingeniería Informática
ID Code:44616
Deposited On:13 Sep 2017 12:58
Last Modified:13 Sep 2017 12:58

Origin of downloads

Repository Staff Only: item control page