Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-75448

[CQF] isIntervalEmpty wrongly considers equality to MinKey/MaxKey empty

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 7.0.0-rc0
    • None
    • None
    • None
    • Fully Compatible
    • ALL

    Description

      Working on SERVER-74539 uncovered a bug in isIntervalEmpty: it wrongly considers  [MinKey, MinKey] and  [MaxKey, MaxKey] to be empty intervals.  This bug was hidden because the ABT translation for comparison with MinKey/MaxKey generates a disjunction, so converting disjunction to SargableNode reveals the bug.

       

      We can also expose the bug by simplifying the ABT translation: the disjunction is only necessary when the comparison to MinKey/MaxKey is an inequality.

      Attachments

        Activity

          People

            david.percy@mongodb.com David Percy
            david.percy@mongodb.com David Percy
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: