Expressive power of linear algebra query languages

Simple item page
dc.contributor.advisorRiveros Jaeger, Cristian
dc.contributor.advisorVrgoc, Domagoj
dc.contributor.authorMuñoz Serrano, Thomas
dc.contributor.otherPontificia Universidad Católica de Chile. Escuela de Ingeniería
dc.date.accessioned2021-01-15T11:30:46Z
dc.date.available2021-01-15T11:30:46Z
dc.date.issued2020
dc.descriptionTesis (Master of Science in Engineering)--Pontificia Universidad Católica de Chile, 2020
dc.description.abstractLos algoritmos del álgebra lineal a menudo requieren algún tipo de iteración o recursión, como lo ilustran los algoritmos estándar para la eliminación gaussiana, la inversión de matrices y la clausura transitiva. Una característica clave compartida por estos algoritmos es que permiten que se repitan varios pasos, pero limitados por la dimensión de la matriz. En esta tesis, ampliamos el lenguaje de consulta para matrices MATLANG con este tipo de recursión, y evidenciamos que esto es suficiente para expresar algoritmos clásicos del álgebra lineal. Estudiamos el poder expresivo de este lenguaje y demostramos que corresponde naturalmente a las familias de circuitos aritméticos, que a menudo se dice que capturan el álgebra lineal. Además, analizamos varios sub-fragmentos de nuestro lenguaje, y se demuestra que su poder expresivo está estrechamente relacionado con formalismos lógicos en las relaciones anotadas en semi-anillos.
dc.format.extentix, 99 páginas
dc.identifier.doi10.7764/tesisUC/ING/51008
dc.identifier.urihttps://doi.org/10.7764/tesisUC/ING/51008
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/51008
dc.language.isoen
dc.nota.accesoContenido completo
dc.rightsacceso abierto
dc.subject.ddc005.13
dc.subject.deweyCiencias de la computaciónes_ES
dc.subject.otherAlgoritmos computacionaleses_ES
dc.subject.otherÁlgebras linealeses_ES
dc.subject.otherLógica computacionales_ES
dc.titleExpressive power of linear algebra query languageses_ES
dc.typetesis de maestría
sipa.codpersvinculados131276
sipa.codpersvinculados243075
sipa.codpersvinculados223060
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TESIS_TMuñoz_Firma Final.pdf
Size:
802.49 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.98 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
3.01 Tesis magíster