You are here: Home -  Nike Blazer Mid Woven con arbitraria u0026 nbsp predicati Infine

Nike Blazer Mid Woven con arbitraria u0026 nbsp predicati Infine

Nike Blazer Mid Woven

Perseguire un approccio di gioco Ehrenfeucht-Fraïssé al collasso risultati in teoria dei database, si dimostra che, in linea di principio, tutti i u0026 nbsp; risultato naturale crollo generico può essere dimostrata mediante la traduzione di strategie vincenti per il duplicatore in un gioco Ehrenfeucht-Fraïssé. Seguendo questo approccio si possa trattare di alcune banche dati infiniti dove precedenti, metodi altamente coinvolti non riescono. Dimostriamo il crollo generico naturale per i database ZZ-integrabili su qualsiasi struttura contesto linearmente ordinata con monadica arbitraria u0026 nbsp; predicati, e per i database NN-integrabili sulla struttura di contesto u003cR, u0026 lt;, +, MonQ, Gruppiu003e u003cR, u0026 lt;, +, MonQ, Gruppiu003e, dove GroupsGroups è la raccolta di tutti i sottogruppi di u003cR, + Nike Blazer Mid Woven u003e u003cR, +u003e che contiene l'insieme dei numeri interi e MonQMonQ è l'insieme di tutti i sottoinsiemi di un particolare insieme infinito Q u0026 nbsp; dei numeri naturali. Questo, in particolare, implica il crollo di banche dati arbitrari oltre u003cN, u0026 lt;, +, MonQu003e u003cN, u0026 lt;, +, MonQu003e e per i database NN-integrabili su u003cR, u0026 lt;, +, Z, Q u003e u003cR, u0026 lt;, +, Z, Qu003e. Cioè, la logica del primo ordine con u0026 lt; può esprimere le stesse query di ordine generico, come la logica del primo ordine con u0026 lt ;, +, ecc Limitare la complessità delle formule che possono essere utilizzati per formulare query a combinazioni booleane di puramente esistenziali formule del primo ordine, si ottiene anche il Scarpe Blazer Femminili crollo per i database NN-integrabili su qualsiasi struttura contesto linearmente ordinata con arbitraria u0026 nbsp; predicati. Infine, sviluppiamo la nozione di database NN-rappresentabili, che è una generalizzazione del concetto di rappresentabili finitamente u0026 nbsp; basi di dati. Mostriamo che il collasso risultati naturali generici per i database NN-integrabili possono essere sollevati alla classe più ampio di database NN-rappresentabili. Per ottenere, in particolare, il risultato crollo per u003cN, u0026 lt;, +, MonQu003e u003cN, u0026 lt;, +, MonQu003e, abbiamo costruire esplicitamente una strategia vincente per il duplicatore in presenza del built-in funzione aggiunta +. Questo, come prodotto laterale, porta anche ad un gioco di prova Ehrenfeucht-Fraïssé del teorema di Ginsburg e Spanier, affermando che gli spettri di FO (u0026 lt;, +) - frasi sono semi-lineare.
0 Commenti


Parlare la vostra mente