[tmql-wg] TMQL Issue: Removal of EVERY clause

[Robert Barta]

For this one, actually the impact on the language is quite
small. Maybe the impact for a user should be regarded 'medium'.

Larsbot suggested this, I hope I have not misunderstood/misrepresented
this.

\rho


TMQL Issue: Removal of EVERY clause
===================================

Impact on Language: medium

Background
----------

In the Leipzig meeting it was discussed that the EVERY clause is only
a syntactic variation of the SOME clause. Every EVERY can be
transformed into an equivalent form using SOME:

      every $p in // person
      satisfies $p / born

   ==> not 
           some $p in // person
           satisfies  not $p / born
	

And hence, EVERY can be removed.

Following this argumentation much of the language can be removed. Also
SOME is just a variation of FLWR:

   some $p in // person
   satifies $p / born

   ==>

   for $p in // person
   where
       $p / born
   return
       $p
	

And FLWR expressions can be transformed into path expression, etc.


Structured Discussion
---------------------
? Removal of EVERY clause
  + minimal smaller language
  - users have to twist their brains to get the NOT right