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

[CQF] Boolean minimization for BoolExpr based on Quine-McCluskey simplification

    XMLWordPrintableJSON

Details

    • Icon: Improvement Improvement
    • Resolution: Unresolved
    • Icon: Major - P3 Major - P3
    • None
    • None
    • None
    • Query Optimization

    Description

      Implement a boolean expression minimizer for bool expr trees. One way to achieve that is to minimize a bool expr tree when it is constructed by the builder (say when .finish() is called). This will allow a more optimal and minimized representation of the boolean tree, which may not conform neither to DNF nor CNF. This can be used to support more efficient index and fetch rewrites.

       

      Note this is a more general version of the "local" simplification to be achieved via 
      SERVER-73827

      Attachments

        Activity

          People

            backlog-query-optimization Backlog - Query Optimization
            svilen.mihaylov@mongodb.com Svilen Mihaylov
            Votes:
            0 Vote for this issue
            Watchers:
            10 Start watching this issue

            Dates

              Created:
              Updated: