Ed2 short to Ed1 long conversion

[Phil Spiby]

Ed,

Sorry to do this but...

> The guideline says the mapping of s1 to Ed1 contains:
>   ENTITY A SUPERTYPE OF (B AND C);
> which is correct, and the mapping of s2 to Ed1 contains:
>   ENTITY A SUPERTYPE OF ((B AND C) ANDOR (B AND X));
> and I contend this is incorrect.
>
> According to annex B, in the Ed1 version of s2, A has the evaluated set
members:
>   A, A&B&C, A&B&X, A&B&C&X

Wrong!
According to annex B, applying Step (h) we get:
k = 1  means (B AND C)
Q1 = [B&C]
D(1B) = [A&B&X]
D(1C) = []
D1 = [A&B&X]

k = 2 means (B AND X)
Q2 = [B&X]
D(2B) = [A&B&C]
D(2X) = []
D2 = [A&B&X]

Meaning the result set is:
([A, A&B&C, A&B&X, A&B&C&X] - [A&B&X]) - [A&B&C]
= [A, A&B&C&X]

Which is exactly the same as the edition 2 interpretation.

Phil