Error in SQL query

[Michiel-s]

The following VIEW statement results in a strange sql query:

VIEW "PAVS": Variable
{ "Promise": varPromise;V;'P'[Message]
} ENDVIEW

/* case: (ECps es), with two or more elements in 
es.varPromise;V[Variable*Message];'P'[Message] */ select distinct 
fence0.src as src, fence2.tgt as tgt from (select distinct "Variable" 
as src, "varPromise" as tgt from "Variable" where "Variable" IS 
NOT NULL AND "varPromise" IS NOT NULL) as fence0, (/* case: 
EMp1 val c */ select distinct "Message" as src, "Message" as tgt 
from "Message" where "Message" = 'P') as fence2 
where 'pole0_..;EDcV' = 'pole0_..;EDcV' AND 'pole1_EDcV;..' = 'pole1_EDcV;..'

The last line doesn't make sense at all.

where 'pole0_..;EDcV' = 'pole0_..;EDcV' AND 'pole1_EDcV;..' = 'pole1_EDcV;..

[hanjoosten]

I agree that it is wierd, but it is correct. (The where-part can be rewritten to True). I will change this.