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...
Spremljeno u:
| Izdano u: | URI:https://journals.openedition.org/msh, |
|---|---|
| Glavni autor: | |
| Format: | Article ou chapitre numérique |
| Jezik: | Français |
| Izdano: |
Mathématiques et sciences humaines
2008
|
| Teme: | |
| Online pristup: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |