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:comment-tabpanel&focusedCommentId=66259#comment-66259 ] 

Ralf Handl commented on ODATA-1075:
-----------------------------------

Carrying over questions from ODATA-1002

In reviewing the application, three questions came up: 
1) is [1,1,2] subsetof [1,2] ? (do elements of the left operand have to occur at least as many times in the right operand) 

For ordered collections: 
2) is [3,1] subsetof [4,1,3]? (does order matter) 
3) is [4,3] subsetof [4,1,3]? (can sequence have gaps)

For unordered collections both #2 and #3 should be true

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