Preguntas etiquetadas con descriptive-complexity

Según Immerman , la clase de complejidad asociada con las consultas SQL es exactamente la clase de consultas seguras en Q ( F O ( C O U N T ) )Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (consultas de primer orden más operador de conteo): SQL captura consultas seguras. (En otras palabras, todas las consultas …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Supongamos que queremos unir dos relaciones en un predicado. ¿Está esto en Carolina del Norte? Me doy cuenta de que una prueba de que no está en Carolina del Norte equivaldría a una prueba de que PAGS≠ NCPAGS≠norteCP\not=NC , por lo que aceptaría evidencia de que es un problema abierto …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity