[SERVER-71846] [CQF] Utility to convert a BoolExpr tree between CNF and DNF Created: 05/Dec/22  Updated: 29/Oct/23  Resolved: 22/Dec/22

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 6.3.0-rc0

Type: Improvement Priority: Major - P3
Reporter: Svilen Mihaylov (Inactive) Assignee: Hana Pearlman
Resolution: Fixed Votes: 0
Labels: cascades-starter
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Depends
is depended on by SERVER-69026 [CQF] Support for index OR-ing Closed
Assigned Teams:
Query Optimization
Backwards Compatibility: Fully Compatible
Sprint: QO 2022-12-26
Participants:

 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).



 Comments   
Comment by Githook User [ 22/Dec/22 ]

Author:

{'name': 'Hana Pearlman', 'email': 'hana.pearlman@mongodb.com', 'username': 'HanaPearlman'}

Message: SERVER-71846: Add utility to convert between CNF and DNF
Branch: master
https://github.com/mongodb/mongo/commit/9817bd7fe3cc7fe441a960cb1f524db5ef1a1293

Generated at Thu Feb 08 06:20:07 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.