[ODATA-166] Inconsistent lifted operators for $filter - OASIS Technical Committees Issue Tracker

Details

Type: Bug
Status: Closed
Priority: Minor
Resolution: Fixed
Affects Version/s: V4.0_WD01
Fix Version/s: V4.0_WD01
Component/s: URL Conventions
Labels:
None
Environment:

[Applied]

Proposal:

Hide

In the following rules null means either a null literal or a null value

null eq null is true
null ne null is false

notnull eq null is false
notnull ne null is true

null le null is true --> mathematically consistent with the preceding rules and how JavaScript and Python work, but differs from C# and SQL
null ge null is true --> mathematically consistent with the preceding rules and how JavaScript and Python work, but differs from C# and SQL
notnull le null is false
notnull ge null is false
null le notnull is false
null ge notnull is false

null lt null is false
null gt null is false
notnull lt null is false
notnull gt null is false
null lt notnull is false
null gt notnull is false

null in logical operators is treated as unknown, see Kleene logic:

null and null is null
null and false is false
null and true is null

null or null is null
null or true is true
null or false is null

not null is null

$filter only returns items where the expression evaluates to true and omits items where it evaluates to false or to null

Show
In the following rules null means either a null literal or a null value null eq null is true null ne null is false notnull eq null is false notnull ne null is true null le null is true --> mathematically consistent with the preceding rules and how JavaScript and Python work, but differs from C# and SQL null ge null is true --> mathematically consistent with the preceding rules and how JavaScript and Python work, but differs from C# and SQL notnull le null is false notnull ge null is false null le notnull is false null ge notnull is false null lt null is false null gt null is false notnull lt null is false notnull gt null is false null lt notnull is false null gt notnull is false null in logical operators is treated as unknown, see Kleene logic: null and null is null null and false is false null and true is null null or null is null null or true is true null or false is null not null is null $filter only returns items where the expression evaluates to true and omits items where it evaluates to false or to null
Resolution:

Hide

https://www.oasis-open.org/committees/download.php/49613/odata-v4.0-wd02-part1-protocol-2013-06-19.docx
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/vocabularies/Org.OData.Core.V1.xml?rev=377
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/vocabularies/Org.OData.Capabilities.V1.xml?rev=379

https://www.oasis-open.org/committees/download.php/49614/odata-v4.0-wd02-part2-url-conventions-2013-06-19.docx
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/ABNF/odata-abnf-construction-rules.txt?rev=380
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/ABNF/odata-abnf-testcases.xml?rev=380

https://www.oasis-open.org/committees/download.php/49615/odata-v4.0-wd02-part3-csdl-2013-06-19.docx
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/edmx.xsd?rev=357
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/edm.xsd?rev=377
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/MetadataService.edmx?rev=374

https://www.oasis-open.org/committees/download.php/49611/odata-atom-format-v4.0-wd02-2013-06-19.docx
https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/metadata.xsd?rev=382

https://www.oasis-open.org/committees/download.php/49612/odata-json-format-v4.0-wd02-2013-06-19.docx

Show
https://www.oasis-open.org/committees/download.php/49613/odata-v4.0-wd02-part1-protocol-2013-06-19.docx https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/vocabularies/Org.OData.Core.V1.xml?rev=377 https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/vocabularies/Org.OData.Capabilities.V1.xml?rev=379 https://www.oasis-open.org/committees/download.php/49614/odata-v4.0-wd02-part2-url-conventions-2013-06-19.docx https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/ABNF/odata-abnf-construction-rules.txt?rev=380 https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/ABNF/odata-abnf-testcases.xml?rev=380 https://www.oasis-open.org/committees/download.php/49615/odata-v4.0-wd02-part3-csdl-2013-06-19.docx https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/edmx.xsd?rev=357 https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/edm.xsd?rev=377 https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/MetadataService.edmx?rev=374 https://www.oasis-open.org/committees/download.php/49611/odata-atom-format-v4.0-wd02-2013-06-19.docx https://tools.oasis-open.org/version-control/browse/wsvn/odata/trunk/spec/schemas/metadata.xsd?rev=382 https://www.oasis-open.org/committees/download.php/49612/odata-json-format-v4.0-wd02-2013-06-19.docx

Description

I didn't see any mention of lifted operators in the working drafts. We should define how each operator behaves when one (or both) operands is null.

With that said, the V3 spec (section 2.2.3.6.1.1.5) is inconsistent with it's treatment of null:

For equality operators, null eq null is true and null eq <anything not null> is false (i.e. the result is true or false)
Any relational operators when compared with null are false (i.e. the result is true or false)
This implies that null ge null and null le null is false which is inconsistent with null eq null is true
Logical operators treat null as false (i.e. the result is true or false)
Unary operators are null if the operand is null (i.e. in the case of not, the result is true, false, or null)

Inconsistent lifted operators for $filter

Details

Description

Attachments

Activity

People

Dates