OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

odata message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


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


     [ 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 "hassubset" function:

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

2) for ordered collections, add a "subsequenceof" function that takes order into account and ignores gaps:
    hassubsequence([4,1,3], [3,1])  => false 
    hassubsequence([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,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.



> 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)


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]