[SERVER-81139] Stop Boolean expression simplification if it explodes the expression in size Created: 18/Sep/23  Updated: 29/Oct/23  Resolved: 02/Oct/23

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

Type: Task Priority: Major - P3
Reporter: Alexander Ignatyev Assignee: Alexander Ignatyev
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Issue split
split from SERVER-75079 Simplify boolean expressions before f... Closed
Problem/Incident
Assigned Teams:
Query Optimization
Backwards Compatibility: Fully Compatible
Sprint: QO 2023-10-02, QO 2023-10-16
Participants:
Linked BF Score: 35

 Description   

In some cases DNF transformation may lead to much larger Boolean expressions, therefore, we need to identify such cases and stop the simplification process.



 Comments   
Comment by Githook User [ 18/Oct/23 ]

Author:

{'name': 'Alexander Ignatyev', 'email': 'alexander.ignatyev@mongodb.com', 'username': 'aligusnet'}

Message: SERVER-81630 Enable the Boolean expression simplifier

Enable the simplifier for 'find' and 'aggregate' commands of the classic optimizer, migrate the simplifier to std::bitset due to performance reasons, improve the simplifier safe heuristics introduced in SERVER-81139.
Branch: master
https://github.com/mongodb/mongo/commit/56b10f30b4344d452e1a564faa0b7df1fc7f9f04

Comment by Githook User [ 02/Oct/23 ]

Author:

{'name': 'Alexander Ignatyev', 'email': 'alexander.ignatyev@mongodb.com', 'username': 'aligusnet'}

Message: SERVER-81139 Fix windows build warning
Branch: master
https://github.com/mongodb/mongo/commit/ace67db7df73a71859cc2a0fa343402c13c8a2ec

Comment by Githook User [ 02/Oct/23 ]

Author:

{'name': 'Alexander Ignatyev', 'email': 'alexander.ignatyev@mongodb.com', 'username': 'aligusnet'}

Message: SERVER-81139 Implement boolean expression simplification safe heuristics
Branch: master
https://github.com/mongodb/mongo/commit/e7fceca773ac32af1c3ebeadf03d67257e527e2e

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