The formalisation of ROCK ROLL: A deductive object-oriented database system

Por: Analíticas: Mostrar analíticasTipo de contenido:
  • texto
Tipo de medio:
  • sin mediación
Tipo de soporte:
  • volumen
Tema(s):
Contenidos:
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.
En: Information and software technology (vol. 39, nro. 6, Jun. 1997), p. 379-389S.T.:H004.41 INF PP2679
Valoración
    Valoración media: 0.0 (0 votos)
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.

para colocar un comentario.