Listas: Una Formalización Relacional
Las Fork Álgebras constituyen un poderoso cálculo relacional para la derivación de programas. Esta clase de álgebras resulta de extender las álgebras relacionales con un nuevo operador, llama.do Jork que permite la introducción, por definición, de proyecciones. En este a.rtículo damos una axiomatiza...
Guardado en:
Autores principales: | Martínez López, Pablo E., Baum, Gabriel Alfredo |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
1995
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24266 |
Aporte de: |
Ejemplares similares
-
How to say greedy in fork algebras
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, M.F., et al. -
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
por: Baum, Gabriel Alfredo, et al.
Publicado: (2002) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, Marcelo, et al.
Publicado: (2005) -
Construcción y optimización de programas en Fork Álgebras
por: Baum, Gabriel Alfredo, et al.
Publicado: (1998)