Domande taggate «finite-model-theory»

6
Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi
Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …
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))} …
2
L'operazione "differenza" aggiunge espressività a un linguaggio di query che include già "join"?
L'operatore differenza set (ad esempio, EXCEPTin alcune varianti SQL) è uno dei tanti operatori fondamentali dell'algebra relazionale. Tuttavia, ci sono alcuni database che non supportano direttamente l'operatore di differenza impostata, ma che supportano LEFT JOIN(una sorta di join esterno), e in pratica questo può essere usato al posto di un'operazione …
2
Perché il punto fisso minimo (lfp) è importante nell'analisi del programma
Sto cercando di ottenere un quadro generale sull'importanza del punto minimo fisso (lfp) nell'analisi del programma. Ad esempio, l'interpretazione astratta sembra usare l'esistenza di lfp. Molti articoli di ricerca sull'analisi del programma si concentrano anche sulla ricerca del punto meno fisso. Più specificamente, questo articolo su Wikipedia: il teorema di …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.