Distribution semantics: database consistency -- transactions

Raul Deluth Miller rockwell@nova.umd.edu
Wed, 9 Nov 1994 09:33:15 -0500

I've been thinking about "resource quantification" mechanisms, and
while I'm not quite ready to lay down my proposal, I should mention
that available network bandwidth could be included in such
quantification (e.g. to superceed some timeout when it's expected that
a calculation will take rather long).

Raul D. Miller          N=:((*/pq)&|)@                 NB. public e, y, n=:*/pq
<rockwell@nova.umd.edu> P=:*N/@:#               NB. */-.,e e.&factors t=:*/<:pq
                        1=t|e*d            NB. pq is two large primes, e medium
x-:d P,:y=:e P,:x                    NB. (d P,:y)-:D P*:N^:(i.#D)y [. D=:|.@#.d