🚀 go-pugleaf

In article <5717@ut-sally.UUCP> ark@sally.UUCP (Arthur M. Keller) writes:
>The problem is where the quantifiers go.  Consider:
>
>{u | (Exists t1)(R(t1) and u = t1 and
>	[(Exists t2) (S(t2) and t1[name]=t2[name]) or
>	(Exists t3) (T(t3) and t1[name]=t3[name])])}
>
>This query has ordinary union semantics, even if either S or T is
>empty.  It is not clear that when given a quantifier-free expression
>that quantifiers should always be introduced at the beginning.

The Quel semantics states very clearly that quantifiers, one per
tuple variable, are to be introduced at the beginning--see (6.5)
on page 190 in Ullman's book. Allowing them to be put in arbitrary
positions may solve this one confusion but introduces others, and
is counter to the design of Quel.