Questions marquées «finite-model-theory»

6
Génération de combinaisons à partir d'un ensemble de paires sans répétition d'éléments
J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire …
2
L'opération «différence» ajoute-t-elle de l'expressivité à un langage de requête qui inclut déjà la «jointure»?
L'opérateur de différence définie (par exemple, EXCEPTdans certaines variantes SQL) est l'un des nombreux opérateurs fondamentaux de l'algèbre relationnelle. Cependant, certaines bases de données ne prennent pas directement en charge l'opérateur de différence d'ensemble, mais prennent en charge LEFT JOIN(une sorte de jointure externe), et en pratique, cela peut être …
2
Pourquoi le point le moins fixe (lfp) est-il important dans l'analyse de programme
J'essaie d'avoir une vue d'ensemble de l'importance du point le moins fixe (lfp) dans l'analyse de programme. Par exemple, l'interprétation abstraite semble utiliser l'existence de lfp. De nombreux documents de recherche sur l'analyse de programme se concentrent également fortement sur la recherche du point le moins fixe. Plus précisément, cet …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.