Incorrect index bounds for {$ne: ["String"]} query

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Fixed
    • Priority: Critical - P2
    • 4.0.9, 4.1.9
    • Affects Version/s: None
    • Component/s: Querying
    • Fully Compatible
    • ALL
    • v4.0, v3.6, v3.4, v3.2
    • Hide

      Saving this file as repro.js:

      (function() { 
  "use strict"; 


  const coll = db.reproducer; 
  coll.drop(); 


  assert.commandWorked(coll.insert([{_id: 0, str: "Avon"}])); 


  assert.eq(1, coll.find({str: {$ne: ["Avon"]}}).itcount()); 
  assert.commandWorked(coll.ensureIndex({str: 1})); 
  assert.eq(1, coll.find({str: {$ne: ["Avon"]}}).itcount()); // FAILS 
})();

      You can reproduce this failure with

      python buildscripts/resmoke.py repro.js
      Show
      Saving this file as repro.js : ( function () {   "use strict" ;   const coll = db.reproducer;   coll.drop();   assert.commandWorked(coll.insert([{_id: 0, str: "Avon" }]));   assert.eq(1, coll.find({str: {$ne: [ "Avon" ]}}).itcount());   assert.commandWorked(coll.ensureIndex({str: 1}));   assert.eq(1, coll.find({str: {$ne: [ "Avon" ]}}).itcount()); // FAILS })(); You can reproduce this failure with python buildscripts/resmoke.py repro.js
    • Query 2019-02-25
    • 24
    • None
    • 0
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      For a query like

      {x: {$not: {$in: [["String"]]}}

      a collection scan will return the document 

      {x: "String"}

      because "String" != ["String"] and so "String" is not in the array [["String"]]. However, if you build an index on {x: 1} then the above document is not returned. Using explain, you can see the index bounds are:

      {
   "x" : [
   	"[MinKey, \"String\")",
   	"(\"String\", [ \"String\" ])",
   	"([ \"String\" ], MaxKey]"
   ]
}

      Compare this to what should be the equivalent query

      {x: {$ne: ["String"]}}

      we then get the bounds:

      {
	"x" : [
		"[MinKey, [ \"String\" ])",
		"([ \"String\" ], [ [ \"String\" ] ])",
		"([ [ \"String\" ] ], MaxKey]"
	]
}

      It looks like the index bounds building logic for an $in within a $not.

            Assignee:
            Ian Boros
            Reporter:
            Charlie Swanson
            Votes:
            0 Vote for this issue
            Watchers:
            13 Start watching this issue

              Created:
              Updated:
              Resolved: