Generación de planes en un entorno lógico-ecuacional

• Autores: María Alpuente Frasnedo , Mª José Ramis, María José Ramírez
• Localización: Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 25, Nº. 3-4, 1992, págs. 31-41
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    En este trabajo se presenta una aproximación lógico-ecuacional [5,12] al problema de la generación automática de planes [18,22,34] para aplicaciones de bases de datos. Este problema puede formalizarse como la tarea de sintetizar secuencias alternativas de acciones que, partiendo de un estado inicial, lleven la base de datos a un nuevo estado, caracterizado por ciertas propiedades observables. En nuestra propuesta, el esquema conceptual de la base de datos se describe como una teoría formal presentada como un programa en cláusulas de Horn con igualdad y sujeto a disciplina de constructores. Cada estado de la base de datos se denota como un término bien formado que contiene sólo símbolos contructores. Para la generación de planes, definimos una transformación operacional tras la cual la teoría define explícitamente las inserciones y borrados de información incluidos por las acciones. La transformación se presenta como un cálculo que se describe como un conjunto de reglas de inferencia.

  • English

    In this paper we present an Equational Logic approach [5,12] to Planning [18,22,34] for database applications. This problem can be formalized as the task of synthesizing alternative sequences of updates leading from the current state of the database to a goal state, characterized through its observable properties. In our approach, the conceptual scheme of the system is described as a Horn program with equality relying on a constructor discipline. Each state T of a particular database can be denoted by some chosen composition of updates leading from the initial state to T. For plan generation purposes, we define an operational transformation of the program after which the theory explicitly defines the insertions and deletions which are induced by the updates.