Authors 
Title 
Status, Abstract 

Gunther Schmidt 
Partiality I:Embedding Relation Algebras 
Journal of Logic and Algebraic Programmingedited by Bernhard Möller


University of the Federal Armed Forces Munich 85577 Neubiberg, Germany Gunther.Schmidt@UniBw.de 

Parallel processes confront us with both,
strict and nonstrict situations.
As long as no cooperation
between processes is supposed to take place,
one may consider them separately and
need not ask for progress of the other processes.
If, however, a composite result is to be delivered,
it is important in which way the result is built.
We define the concept of partiality to cope with partial availability of arguments and results. To this end, relation algebras are investigated for which, in addition to the identity I , a specific type of an ordering E is given in order to model increasing degrees of availability. It turns out that functions regulating transfer of partialities in processes are latticecontinuous with respect to such orderings. One may also consider partialities with regard to their "atomic" constituents. We exhibit how relations between the atomic constituents before and after a process step are represented by continuous partiality transfer functions. Our main result is that partiality transfer functions are images of multiplicatively embedding relations on the atomic constituents into a larger relation algebra. The latter will then give room for the theoretically unavoidable external arbiter who decides for strict transitions that all required components are available. In the forthcoming second part of the paper, universal characterizations of parallel products will be given and studied, testing them with regard to correctness rules. 