[OASIS Issue Tracker] (ODATA-1075) Introduce subsetof operator for checking whether a collection is a subset or equal to another collection

[OASIS Issues Tracker <workgroup_mailer@lists.oasis-open.org>]

     [ https://issues.oasis-open.org/browse/ODATA-1075?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Michael Pizzo updated ODATA-1075:
---------------------------------

    Proposal: 
Restrict "in" to mean just "member of" 
Add "subsetof" function:

1) subsetOf always requires that each element of the left operand occur at least as many times in the right operand, and that order does not matter so:  
    subsetof([1,2],[1,1,2])  => false 
subsetof should never take order (or gaps) into account:
    subsetof([4,1,3],[3,1]) => true 
    subsetof([4,1,3],[4,3]) => true

2) for ordered collections, add a "subsequenceof" function that takes order into account and ignores gaps:
    subsequenceof([4,1,3], [3,1])  => false 
    subsequenceof([4,1,3],[4,3]) => true

3) add support for ordered collections to contains (that takes gaps into account) as well as startswith, endswith, indexof, and substring.


  was:
Restrict "in" to mean just "member of" 
Add "subsetof" function:

1) subsetOf always requires that each element of the left operand occur at least as many times in the right operand, and that order does not matter so:  
    subsetof([1,1,2],[1,2])  => false 
subsetof should never take order (or gaps) into account:
    subsetof([4,1,3],[3,1]) => true 
    subsetof([4,1,3],[4,3]) => true

2) for ordered collections, add a "subsequenceof" function that takes order into account and ignores gaps:
    subsequenceof([4,1,3], [3,1])  => false 
    subsequenceof([4,1,3],[4,3]) => true

3) add support for ordered collections to contains, startswith, endswith, indexof, and substring, that takes gaps into account.



> Introduce subsetof operator for checking whether a collection is a subset or equal to another collection
> --------------------------------------------------------------------------------------------------------
>
>                 Key: ODATA-1075
>                 URL: https://issues.oasis-open.org/browse/ODATA-1075
>             Project: OASIS Open Data Protocol (OData) TC
>          Issue Type: Bug
>          Components: URL Conventions
>    Affects Versions: V4.01_CSD02
>         Environment: Applying
>            Reporter: Ralf Handl
>             Fix For: V4.01_CSD02
>
>
> Currently we "overload" the in operator to be "subset of" if the left operand is a collection.
> This would block us from introducing collections of collections, and checking whether a collection is an item of a collection of collections.



--
This message was sent by Atlassian JIRA
(v6.2.2#6258)