Enable DEFAULT() option for semijoin/joinby/groupby conditions

[sunbrn]

I have verified that:

• EXACT() works
• FULLNAME() works
• **works**
• DEFAULT() does not work

Also this last option should be enabled.

@pp86

[marcomass]

@pp86 The 4 options above applies on all the following operators:

• semijoin of SELECT
• joinby of DIFFERENCE, MAP, and JOIN
• groupby of GROUP, MERGE, and COVER

[pp86]

What should DEFAULT do?

[sunbrn]

@pp86, the semantics of DEFAULT is the same of not specifying anything.

E.g., C = SELECT(semijoin: cell_type IN B) A; must produce the same effect as C = SELECT(semijoin: DEFAULT(cell_type) IN B) A;

[marcomass]

@pp86 The syntax reported above by Anna is the one that you defined time ago, in which DEFAULT() acts as alone. You already implemented this behavior for some operators (I think merge, join, map; to be checked), but nor for others. Please make implementation consistent, implementing it for all operators where it should apply, or removing it from all operators (leaving for the same behavior only ).

As well FULLNAME() could be simplified into FULL(), similarly to EXACT().

[pp86]

FULLNAME renamed to FULL.

Default is never used, please remove from the documentation if mentioned.