Rework fix for #5751 (Available indices are not used in some cases if ORDER BY expression is a filtered one) and also attempt to fix the special case for OR conditions partially matched to an index

Author: dyemanov

src/jrd/optimizer/Retrieval.cpp

@@ -1414,45 +1414,69 @@ InversionCandidate* Retrieval::makeInversion(InversionCandidateList& inversions)
 					return invCandidate;
 				}
 
-				// Look if a match is already used by previous matches.
-				bool anyMatchAlreadyUsed = false, matchUsedByNavigation = false;
-				for (const auto currentMatch : currentInv->matches)
+				if (!customPlan)
 				{
-					if (matches.exist(currentMatch))
-					{
-						anyMatchAlreadyUsed = true;
+					// Look if a match is already used by previous matches
+					bool anyMatchAlreadyUsed = false, matchUsedByNavigation = false;
 
-						if (navigationCandidate &&
-							navigationCandidate->matches.exist(currentMatch))
+					for (const auto currentMatch : currentInv->matches)
+					{
+						if (matches.exist(currentMatch))
 						{
-							matchUsedByNavigation = true;
-						}
+							anyMatchAlreadyUsed = true;
 
-						break;
+							if (navigationCandidate &&
+								navigationCandidate->matches.exist(currentMatch))
+							{
+								matchUsedByNavigation = true;
+							}
+
+							break;
+						}
 					}
-				}
 
-				if (currentInv->boolean && matches.exist(currentInv->boolean))
-					anyMatchAlreadyUsed = true;
+					if (const auto currentMatch = currentInv->boolean)
+					{
+						if (matches.exist(currentMatch))
+						{
+							anyMatchAlreadyUsed = true;
 
-				if (anyMatchAlreadyUsed && !customPlan)
-				{
-					currentInv->used = true;
+							if (navigationCandidate &&
+								navigationCandidate->matches.exist(currentMatch))
+							{
+								matchUsedByNavigation = true;
+							}
+						}
+						else if (matchUsedByNavigation)
+							anyMatchAlreadyUsed = false;
+					}
 
-					if (matchUsedByNavigation)
-						continue;
+					// If some match was already used by another index, skip this index
 
-					// If a match on this index was already used by another
-					// index, add also the other matches from this index.
-					for (const auto currentMatch : currentInv->matches)
+					if (anyMatchAlreadyUsed)
 					{
-						if (!matches.exist(currentMatch))
-							matches.add(currentMatch);
-					}
+						if (!matchUsedByNavigation)
+						{
+							// Add the other matches from this index
+
+							for (const auto currentMatch : currentInv->matches)
+							{
+								if (!matches.exist(currentMatch))
+									matches.add(currentMatch);
+							}
+
+							if (const auto currentMatch = currentInv->boolean)
+							{
+								if (!matches.exist(currentMatch))
+									matches.add(currentMatch);
+							}
+						}
 
-					// Restart loop, because other indexes could also be excluded now.
-					restartLoop = true;
-					break;
+						// Restart loop, because other indexes could also be excluded now
+						currentInv->used = true;
+						restartLoop = true;
+						break;
+					}
 				}
 
 				if (!bestCandidate)