Anàlisi de precedències entre conjunts d’informació: aplicació al model informacional

Abstract

Aquest article tracta de les precedències entre conjunts d'informació i, especialment, del problema de l'anàlisi de la derivabilitat de conjunts d'informació, del qual pretén d'explorar-ne noves vies de solució. L'enfocament del treball consisteix en partir de l'esquema de les informacions del sistema, on hi constin totes les informacions que puguin existir. En base a aquest esquema, es poden definir tots els conjunts d'informació que interessin. Llavors l'anàlisi de la derivabilitat el plantegem com un procediment que rep la definició dels conjunts d'informació d'entrada i sortida del sistema i l'esquema corresponent, i que ens dóna com a resultat si les sortides són o no derivables. Creiem que el mètode que proposem és, alhora, potent i simple, tot i que és necessari continuar la recerca vers uns eixos que també apuntem. En particular, hi ha l'adaptació al model relacional i l'aplicació a la resolució d'altres problemes.

This paper deals with precedences among information sets and mainly with the problem of the information set derivability analysis, for which some new solution procedures are explored. The approach in this contribution starts from the scheme of system informations, in which all possible existing informations are present. On the basis of this scheme any relevant information set can be defined, whereupon the derivability analysis can be considered as a procedure that, from the system input and output information sets' definition and the corresponding scheme, finds out as result whether the outputs are or are not derivable. It is thought that the method described is powerful yet simple although, as it is also pointed out, research must still be pursued along some lines, particulary on the adaptation to the relational model, and on its application to the solution of other problems.