The formalisation of ROCK ROLL: A deductive object-oriented database system
Analíticas: Mostrar analíticasTipo de contenido:- texto
- sin mediación
- volumen
Contenidos:
En: Information and software technology (vol. 39, nro. 6, Jun. 1997), p. 379-389S.T.:H004.41 INF PP2679
This paper describes the formalisation of the deductive object-oriented database system ROCK ROLL. This is a system which integrates the deductive and object-oriented paradigms in a way that is both clean and consistent, and that has a sound theoretical foundation. The system uses a formally defined object-oriented data model as a foundation for both a logic query language and an imperative data manipulation language in such a way that impedance mismatches are minimised.
No hay ítems correspondientes a este registro
This paper describes the formalisation of the deductive object-oriented database system ROCK ROLL. This is a system which integrates the deductive and object-oriented paradigms in a way that is both clean and consistent, and that has a sound theoretical foundation. The system uses a formally defined object-oriented data model as a foundation for both a logic query language and an imperative data manipulation language in such a way that impedance mismatches are minimised.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.