¿Es factible o incluso posible utilizar álgebra relacional y / o cálculo relacional en forma de pruebas para probar / verificar la exactitud de las declaraciones, funciones y procedimientos almacenados de SQL?
Me parece que al menos debería ser posible, pero no sé si me falta algún detalle que haga que una asignación 1: 1 entre la prueba y el código sea incorrecta.
¿Alguno de ustedes ha probado un método como este? ¿Funcionó? ¿Cómo fueron tus experiencias?
testing
sql
math
relational-database
Robert Winslow Dalpe
fuente
fuente
Respuestas:
Existen algunas reglas de mapeo conocidas entre los operadores de álgebra relacional y las declaraciones SQL. Por ejemplo, el operador Sigma se asigna a una instrucción SELECT, hay una asignación uno a uno para los operadores de unión, Delta asigna a la selección de un subconjunto de columnas, etc.
Sí, es posible. Por supuesto, necesitará tener un esquema claro de la base de datos con todas las relaciones, claves externas, etc. En algunos casos, es aún más fácil manipular las declaraciones de álgebra relacional que las declaraciones SQL (existen reglas de transformación comprobadas para modificar y simplificar declaraciones) .
Pero, por otro lado, no creo que verificar las declaraciones usando álgebra relacional sea mucho más fácil que probar las declaraciones SQL, especialmente cuando tienes una base de datos lista donde puedes ejecutar las consultas y ver los resultados.
fuente