Pregunta

Es segura cálculo relacional de tuplas un lenguaje Turing completo?

¿Fue útil?

Solución

Vamos a olvidarnos de seguridad. Por de Codd teorema , cálculo relacional es equivalente a la lógica de primer orden. FOL es muy limitado, no se puede expresar el hecho de que hay una ruta desde un punto A a un punto B en algunos gráfico (que puede expresar el hecho de que hay una ruta desde un punto A a un punto B en longitud limitada, por ejemplo ∃ x ∃y ∃z ∃t ruta (a, x) y ruta (x, y) y la vía (y, z) y ruta (z, t) y ruta (t, b) significa que hay una ruta de longitud 4).

descriptiva complejidad para obtener una descripción de lo que es la fuerza de lógicas diferentes.

Otros consejos

De acuerdo con de Codd Teorema , álgebra relacional y cálculo relacional son equivalentes. Es bien sabido que el álgebra relacional no es Turing completo, por lo que tampoco es el cálculo relacional.

[Editar] No se puede, por ejemplo, hacer operaciones de agregados (tales como suma, max) o realizar consultas recursivas en el álgebra relacional / cálculo. Ver aquí (cerca del final) .

Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow
scroll top