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
|
| נושאים: | |
| גישה מקוונת: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| סיכום: | É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 universelle en raison de leur similitude avec les quantificateurs existentiel et universel dans un calcul prédicatif. On explore le pouvoir expressif des deux opérations, c'est-à-dire, les propriétés générales de la variété de contraintes qui peuvent être produites à partir de quelques contraintes initiales et en appliquant ces opérations une ou plusieurs fois. Sont également présentés quelques commentaires en ce qui concerne le pouvoir expressif d'un système plus large, comprenant les opérations projectives et booléennes (i.e., complémentation, union et intersection) sur les contraintes. |
|---|