Projective operations on relational constraints
Étant donné un ensemble de variables et un ensemble de valeurs, par contrainte (relationnelle) nous entendons tout ensemble de fonctions du premier ensemble vers le deuxième ensemble. Sont ici considérées deux opérations spéciales sur les contraintes, appelés projection existentielle et projection u...
Enregistré dans:
| Dans: | URI:https://journals.openedition.org/msh, |
|---|---|
| Auteur principal: | |
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
Mathématiques et sciences humaines
2008
|
| Sujets: | |
| Accès en ligne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |