[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: csp as database query language
Campbell, John wrote:
The mindset of most people using CSP (or manifestations
of it like OCCAM) is to write programs to *make* something
happen. I've been thinking the last few days that there
might be a useful alternative interpretation.
It seems to me that you could write a CSP description of
a *hypothetical* process that might be at work in a large
data base. You could do a probablistic analysis to see
how many matches you'd expect in a random system, and
test the csp with the real system to see actual matches.
My only comment is that there is a great deal of theoretical work on
probabilistic CSP. Gavin Lowe among others has worked on this. I don't know
enough about it to know how it relates to your ideas. And Jon K might want
to comment on CSP and databases...