Preguntas etiquetadas con descriptive-complexity

Extensión de SQL capturando

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...

¿Pueden las uniones ser paralelizadas?

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 como...