TY  - THES
AU  - Palenik, Mihály
A3  - Caballero Roldán, Rafael
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/20500
AB  - 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...
AB  - 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...
LA  - spa
KW  - Relational databases
KW  - Postgresql
KW  - Assertions
KW  - Debugging
KW  - Relational algebra
KW  - Java
KW  - ANTLR
KW  - Multisets
KW  - Testing
KW  - SQL views
KW  - Bases de datos relacionales
KW  - Asertos
KW  - Depuración
KW  - Álgebra relacional
KW  - Multiconjuntos
KW  - Pruebas
KW  - Vistas SQL
TI  - Comprobación de asertos en bases de datos relacionales
M3  - bachelor thesis
ER  -