| M.Gyssens, J. Van den Bussche, D. Van Gucht. Expressiveness of Efficient Semideterministic Choice Constructs ICALP 94, 820, 106-117. |
....Requiring soundness is a reasonable way to use non determinism. Actually one can consider isomorphic results as having the same sense. This restricted non determinism can therefore be used to express deterministic queries. The notion of sound non determinism has been firstly considered in [GVdBG] under the term uniform semi determinism . The authors outlined the advantage of this form of non determinism by showing that counting queries can be expressed in an uniform semi deterministical manner, i.e. sound in our term. The purpose of our paper is to show a restricted non deterministic ....
M.Gyssens, J. Van den Bussche, D. Van Gucht. Expressiveness of Efficient Semideterministic Choice Constructs ICALP 94, 820, 106-117.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC