Query language of stochastic information systems
Beata Konikowska, Tadeusz Traczyk · Fundamenta Informaticae · 1979
For a class of stochastic information systems a query language is defined and the completeness property proved. It is also shown that each term may be transformed into a canonical form, and in some special case into a normal additive form.