TY - THES AU - Aranda López, Gabriel A3 - Nieva Soto, Jaime Sánchez Hernández, Susana A3 - Sáenz Pérez, Fernando A3 - Sánchez Hernández, Jaime PY - 2016 UR - https://hdl.handle.net/20.500.14352/27413 AB - En esta memoria hacemos contribuciones dentro del campo de los lenguajes de bases de datos. Nos hemos propuesto tres objetivos fundamentales: 1. Mejorar la expresividad de los lenguajes de bases de datos actuales. 2. Desarrollar semánticas formales... AB - In this work we present some contributions to the eld of database languages. We consider three general goals: 1. Improve the expressiveness of current database languages. 2. Develop formal semantics for our proposal of extended database languages. 3.... LA - spa PB - Universidad Complutense de Madrid KW - Bases de datos relacionales KW - Bases de datos con restricciones KW - SQL (lenguaje de programación) KW - Relational databases KW - SQL (Computer program language TI - Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación M3 - doctoral thesis ER -