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

[CQF] Utility to convert a BoolExpr tree between CNF and DNF

    XMLWordPrintableJSON

Details

    • Icon: Improvement Improvement
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 6.3.0-rc0
    • None
    • None
    • Query Optimization
    • Fully Compatible
    • QO 2022-12-26

    Description

      This will be needed for support of index unioning and index intersection. In order to perform intersection we need to essentially split the predicates in conjunction (to join them) and for that we need CNF. For index unioning by contrast we need to union the predicates (thus we need DNF).

      Attachments

        Activity

          People

            hana.pearlman@mongodb.com Hana Pearlman
            svilen.mihaylov@mongodb.com Svilen Mihaylov (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: