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...
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | URI:https://journals.openedition.org/msh, |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Article ou chapitre numérique |
| Γλώσσα: | Français |
| Έκδοση: |
Mathématiques et sciences humaines
2008
|
| Θέματα: | |
| Διαθέσιμο Online: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |