Mathématiques et sciences humaines/Mathematics and social sciences

n° 181, Printemps 2008

Version imprimable   Signaler cette page  

Projective operations on relational constraints

Opérations projectives sur contraintes relationnelles

Luigi Burigana

Télécharger le texte intégral (424k)

Résumé

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

Abstract

Given a set of variables and a set of values, by a (relational) constraint we mean any set of functions from the former to the latter. Two special operations on constraints are considered, called existential and universal projections, because of their similarity with existential and universal quantifiers in a predicate calculus. The expressive power of both operations is explored, i.e., the general properties of the variety of constraints which may be produced starting from some initial constraint and applying those operations one or more times. A few comments are added concerning the expressive power of a larger system, comprising projective and Boolean operations (i.e., complementation, union and intersection) on constraints

Index

Pour citer cet article

Luigi Burigana, « Projective operations on relational constraints », Mathématiques et sciences humaines, n° 181, Printemps 2008, [En ligne], mis en ligne le 27 mars 2008. URL : http://msh.revues.org/document8923.html. Consulté le 28 novembre 2009.

Luigi  Burigana

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


 
Page générée par Lodel - Nous adhérons à www.revues.org

ISSN : 0987 6936
Ecole des hautes études en sciences sociales