Usuario:Alvaro Otero/ejercicio 24

   APLICACION DEL CALCULO DE PREDICADOS A LA TEORIA DE LAS BASES DE DATOS

El área de base de datos es un área importante de la ciencia de la computación concerniente con la historia, consultando y actualizando una gran cantidad de datos. La lógica y las bases de datos están íntimamente conectados desde el nacimientos del sistema de base de datos a principios de los ‘70s. Aquellas relaciones en un suceso incompetente de la historia. En efecto la lógica de primer orden (FO) tiende hacia los sistemas de base de datos modernos, y los lenguajes de consulta estructurados (SQL) y Consulta Por Ejemplo (QBE) son variantes sintácticas de (FO).

El lenguaje de consulta mas poderos esta basado en extensiones de FO con recursión y son evocados con el bien conocido punto fijo consultado y estudiado en un modelo de teoría finita. El impacto de la lógica en base de datos es notable en la mayoría de los ejemplos de la eficacia de la lógica en ciencias computacionales.

En conclusión, la lógica provee una herramienta espectacularmente efectiva en el área de base de datos. FO provee las bases para el lenguaje de consulta estándar, porque la comodidad del uso de la implementación eficiente vía álgebra relacional. FO puede lograr escalas lineales, consiguiendo fuentes de procesos paralelos. Así, se llena el potencial como un lenguaje de consulta permaneciendo aun para ser realizado.