Arq software

Páginas: 14 (3275 palabras) Publicado: 13 de febrero de 2014






























INDICE.
Pág.
Introducción……………………………………………………………………….3
Programación de las Cláusulas…………………………………………………..4-5
Programación de las Sentencias………………………………………………….6-9
Técnicas para la programación de consultas…………………………………...9-11

Implementación de vistas………………………………………………………11-13

Implementación de procedimientosalmacenados………………………..….13-15

Implementación de Disparadores o Aceleradores…………………..………..14-15

Conclusiones……………………………………………………………………..16

Bibliografía…………………………………………………………….………….17








INTRODUCCION.

Los elementos de un lenguaje de consulta, son un conjunto de programaciones y algoritmos que permiten el almacenamiento, modificación y extracción de la información en una base de datos, además deproporcionar herramientas para añadir, borrar, modificar y analizar los datos.
Proporcionan además, métodos para mantener la integridad de los datos, con la inclusión de las sentencias que son las unidades ejecutable más pequeña de un programa, en otras palabras una línea de código escrita es una sentencia. Especifican y controlan el flujo y orden de ejecución del programa.
Así también veremossobre los disparadores la cual son también conocidos como desencadenantes (triggers en inglés) definidos sobre la tabla en la que opera la sentencia INSERT, a su vez caben destacar las técnicas de programación de consultas muy importantes ya que en la programación sigue tres reglas que son: la secuencia, la iteración y la decisión. La primera de ellas indica que las instrucciones del código seleerán de principio a fin; la segunda indica que, según cierta condición, un número de instrucciones podrían repetirse un número determinado de veces, y la tercera indica que según unas ciertas condiciones se ejecutarán o no un conjunto de instrucciones.
También veremos las implementaciones de vistas, de procedimientos almacenados y de disparadores, ya antes mencionado este ultimo. Y muchos tiposde programaciones importantes para el manejo del lenguaje de consulta en una base de datos.









Programación de las Cláusulas:
Una forma clausal es un conjunto de cláusulas; una forma clausal se interpreta como la conjunción de todas sus cláusulas. Ejemplo:
{{p,q}, {r, ¬s}} ≡ (p ∨ q) ∧ (r ∨ ¬s)
Las cláusulas son condiciones de modificación utilizadas para definirlos datos que desea seleccionar o manipular.
 
Cláusula
Descripción
FROM
Utilizada para especificar la tabla de la cual se van a seleccionar los registros
WHERE
Utilizada para especificar las condiciones que deben reunir los registros que se van a seleccionar
GROUP BY
Utilizada para separar los registros seleccionados en grupos específicos
HAVING
Utilizada para expresar la condición quedebe satisfacer cada grupo
ORDER BY
Utilizada para ordenar los registros seleccionados de acuerdo con un orden específico

Ejemplos:
Cláusula (p) = {p}
Cláusula (¬p) = {¬p}
Cláusula (((¬p) ∨ r) ∨ ((¬p) ∨ q)) = {q,r,¬p}
El programa Prolog puede alterar la base de datos de cláusulas a tiempo de ejecución:
Agregando cláusulas usando el predicado assert y sus variantes asserta y assertz.Eliminando cláusulas usando el predicado retract.
Es posible analizar predicados con el predicado functor/3.
Es posible analizar los argumentos de un predicado con el predicado arg/3.
Es posible convertir de lista a predicado con el operador infijo =...
Es posible explorar la base de datos con el predicado clause/2.

Átomos:
Identificadores que comienzan por una letra minúscula, una cadenaentre comillas o una secuencia de símbolos de puntuación.
foo un_atomo ’El atomo’ =:=

Variables:
Identificadores que comienzan por una letra mayúscula.
Var1 Esta_es_una_variable Z

Estructuras:
Consistentes de un átomo functor y una lista de argumentos.
foo(bar,baz) un_functor(unario)

En la base de datos de cláusulas puede haber:
Hechos: cláusulas de Horn sin lado derecho....
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Prueba arq software
  • Arq
  • Arq
  • Arq
  • Arq
  • la arq
  • EPISTEMOLOGIA DE LA ARQ
  • Esquema arq.

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS