Navigation – Plan du site

AccueilNuméros181Projective operations on relation...

Projective operations on relational constraints

Opérations projectives sur contraintes relationnelles
Luigi Burigana
p. 35-58

Résumés

É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.

Haut de page

Pour citer cet article

Référence papier

Luigi Burigana, « Projective operations on relational constraints »Mathématiques et sciences humaines, 181 | 2008, 35-58.

Référence électronique

Luigi Burigana, « Projective operations on relational constraints »Mathématiques et sciences humaines [En ligne], 181 | Printemps 2008, mis en ligne le 27 mars 2008, consulté le 14 mai 2025. URL : http://journals.openedition.org/msh/8923 ; DOI : https://doi.org/10.4000/msh.8923

Haut de page

Auteur

Luigi Burigana

Dipartimento di Psicologia Generale, Università di Padova, Via Venezia 8, I-35131 Padova, Italy, luigi.burigana@unipd.it

Articles du même auteur

Haut de page

Droits d’auteur

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Search OpenEdition Search

You will be redirected to OpenEdition Search