Consultas a bases de datos expresadas con extensiones de FO
La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO con el agregado de cuantificadores que nos permitan incorpor...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22150 |
| Aporte de: |
| Sumario: | La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO con el agregado de cuantificadores que nos permitan incorporar distintos tipos de iteraciones en su interpretación semántica, con el fin de aumentar el poder expresivo de FO, aunque no alcancemos a cubrir totalmente la clase CQ. |
|---|