Proyecto final de Grado:
Relif: a relation algebra specification tool

dc.contributor.advisorFrías, Marcelo
dc.contributor.authorLynch, Marcelo María
dc.date.accessioned2020-02-18T13:46:14Z
dc.date.available2020-02-18T13:46:14Z
dc.date.issued2019-12-19
dc.description.abstract"Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem in relation algebras is the representation problem, which is to give a canonical representation of a given relation algebra, in the form of binary relations. This problem doesn't have a solution for all algebras. This paper presents Relif, a specication tool that allows the user to explore relation algebras satisfying a set of constraints dened by the user, and provides a way of looking for representations."en
dc.description.abstract"Las álgebras de relaciones son álgebras surgidas a partir del estudio de las relaciones binarias. Forman parte del campo de la lógica algebraica y tienen aplicaciones en la teoría de demostraciones, lógicas modales y ciencias de la computación. Un problema interesante en el marco de las álgebras de relaciones es el problema de la representación, que consiste, dada un álgebra de relaciones, en proveer una representación canónica de la misma en forma de relaciones binarias. Este problema no siempre tiene solución. Este trabajo presenta Relif, una herramienta de especicación que permite al usuario explorar álgebras de relaciones que satisfagan un conjunto de restricciones denidas por el usuario, y provee una forma de buscar representaciones de esas álgebras."es
dc.description.notesProyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 2019es
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1878
dc.language.isoenen
dc.subjectLOGICA ALGEBRAICAes
dc.subjectVERIFICACION DE SOFTWAREes
dc.titleRelif: a relation algebra specification tooles
dc.typeProyecto final de Gradoes
dspace.entity.typeProyecto final de Grado
itba.description.filiationFil: Lynch, Marcelo María. Instituto Tecnológico de Buenos Aires; Argentina.
Archivos
Bloque original
Mostrando1 - 1 de 1
Miniatura
Nombre:
Lynch 56287 Proyecto Final.pdf
Tamaño:
804.5 KB
Formato:
Adobe Portable Document Format
Descripción:
Proyecto_Final_Lynch
Bloque de licencias
Mostrando1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
1.6 KB
Formato:
Item-specific license agreed upon to submission
Descripción: