ANALISIS SEMANTICO

SU OBJETIVO ES RECHAZAR LAS CONSULTAS NORMALIZADAS QUE ESTEN INCORRECTAMENTE FORMULADAS O QUE SEAN CONTRADICTORIAS.

UNA CONSULTA ESTARA INCORRECTA SI SUS COMPONETES NO CONTRIBUYEN A LA GENERACION DEL RESULTADO. UNA CONSULTA SER CONTRADICTORIA SI SU PREDICADO NO PUEDE SER SATISFECHO POR NINGUNA TUPLA.

El anlisis semntico se refiere a la deteccin del significado de cada elemento constituyente dentro de la oracin. Para llevar a cabo este proceso se considera la divisin de una consulta en tres bloques: 1. Especificacin de datos requeridos. 2. Definicin del origen de dichos datos. 3. Especificacin de condiciones de bsqueda. Dichos bloques estn definidos en el lenguaje formal de consulta (SQL) por las palabras: SELECT, FROM y WHERE respectivamente. El mdulo de anlisis semntico toma como entrada la lista de palabras generadas por el mdulo de anlisis sintctico y la somete a un proceso iterativo de revisin basado en inferencias para etiquetar los elementos constituyentes de acuerdo al bloque al cual corresponden, quedando las etiquetas de la siguiente manera:

. Etiquetas aplicadas a los elementos constituyentes durante el anlisis semntico. Bloque Datos solicitados Origen de los datos solicitados Condiciones Etiqueta 1 2 3

Una vez etiquetada la lista de elementos constituyentes, esta es dada como entrada a un submdulo de Separacin por bloques, el cual en base a la etiqueta de cada elemento forma una cadena de texto para cada uno de los bloques mostrados en la tabla 1. Estas cadenas de texto sirven de entrada a un modulo de reestructuracin, que reordena los elementos constituyentes de los bloques a fin de poder ser interpretados correctamente

Proceso de anlisis semntico. Si durante alguna fase del anlisis semntico se detecta un error en la instruccin, el sistema enva un mensaje de error y permite al usuario redefinir su consulta.

LISTA DE PALABRAS

SEPARACION DE BLOQUES

REESTRUCTURACION

BLOQUES DE LA INSTRUCCION