Modelo de programación relacional

Se obtiene añadiendo dos conceptos al modelo declarativo:

Escogencia no determinista

Dado un conjunto de opciones, se escoge cualquiera

Espacio de computación

Se simula el comportamiento de la máquina en función de una escogencia no determinista

Información adicional

  • Commit hace que se complete una operación Choose en el espacio y se devuelva un resultado
  • Choose espera hasta que el espacio se estabilice, bloquea el estado actual y crea un punto de escogencia.
  • Este paradigma no útil pero no práctica para resolver problemas combinatirios muy grandes

- El concepto esencial es la escogencia no deterministica

Related Posts

El modelo de programación orientada a objetos no añade ningún concepto nuevo con respecto del modelo de programación con estado explícito.

Objet...

El estado se define como una secuencia de valores en el tiempo que contienen los resultados intermedios de un proceso de computación. En el modelo ...

El modelo concurrente declarativo extiene del modelo declarativo al añadirle ejecución concurrente. Esto quiere decir que las técnicas usadas para ...