3
Estensione della cattura SQL
Secondo Immerman , la classe di complessità associata alle query SQL è esattamente la classe delle query sicure in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (query del primo ordine più operatore di conteggio): SQL acquisisce query sicure. (In altre parole, tutte le query SQL presentano una complessità in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} e tutti i problemi in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} …