Publication:
Comprobación de asertos en bases de datos relacionales

Loading...
Thumbnail Image
Official URL
Full text at PDC
Publication Date
2017
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
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.
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.
Description
Trabajo de Fin de Grado en Ingeniería Informática (Universidad Complutense, Facultad de Informática, curso 2016/2017)
Keywords
Citation