🌐 AI搜索 & 代理 主页
Skip to content

Optimizer Rule for ANY == #22164

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
cpjulia wants to merge 16 commits into
base: devel
Choose a base branch
from
+958 −10
Open

Optimizer Rule for ANY == #22164

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
7538d9d
Started introduction of mapping from query with ANY == into query wit…
cpjulia Dec 5, 2025
9308dfc
Create struct AnySimplifier and function replaceAnyWithInRule; Regist…
knakatasf Dec 8, 2025
f901712
Simplify the code for AnySiimplifier
knakatasf Dec 8, 2025
cb3abcc
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 9, 2025
cd176f2
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 10, 2025
8bfce4c
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 10, 2025
def5066
Introduced optimization rule for filter queries with ANY== to be mapp…
cpjulia Dec 10, 2025
b371e29
Remove redundant/unused test functions from aql-optimizer-rule-replac…
knakatasf Dec 11, 2025
372d86d
Remove unnecessary 'ANY' logic from OrSimplifier
knakatasf Dec 11, 2025
90884d5
Revert the logic of OrSimplifier
knakatasf Dec 11, 2025
badc23f
Simplified code, expanded tests
cpjulia Dec 11, 2025
0d9313b
Simplified code, expanded tests
cpjulia Dec 11, 2025
3f5ec4e
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 12, 2025
d7d278a
Removed duplicate in test
cpjulia Dec 12, 2025
c374459
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 12, 2025
30af6f3
Merge branch 'devel' of github.com:arangodb/arangodb into feature/opt…
cpjulia Dec 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 6 additions & 27 deletions arangod/Aql/OptimizerRules.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5889,22 +5889,6 @@ struct OrSimplifier {
}
}
// intentionally falls through
} else if (node->type == NODE_TYPE_OPERATOR_BINARY_ARRAY_EQ) {
TRI_ASSERT(node->numMembers() == 3);
auto arrayNode = node->getMember(0);
auto attrNode = node->getMember(1);
auto quantifier = node->getMember(2);

// Check if quantifier is ANY
if (Quantifier::isAny(quantifier)) {
if (arrayNode->isArray() && qualifies(attrNode, attributeName)) {
if (arrayNode->isDeterministic()) {
attr = attrNode;
value = arrayNode;
return true;
}
}
}
}

return false;
Expand Down Expand Up @@ -5954,11 +5938,9 @@ struct OrSimplifier {
}

if ((lhsNew->type == NODE_TYPE_OPERATOR_BINARY_EQ ||
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN ||
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_ARRAY_EQ) &&
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN) &&
(rhsNew->type == NODE_TYPE_OPERATOR_BINARY_EQ ||
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN ||
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_ARRAY_EQ)) {
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN)) {
std::string leftName;
std::string rightName;
AstNode const* leftAttr = nullptr;
Expand Down Expand Up @@ -5997,13 +5979,10 @@ struct OrSimplifier {
}
}

return buildValues(
leftAttr, leftValue,
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN ||
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_ARRAY_EQ,
rightValue,
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN ||
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_ARRAY_EQ);
return buildValues(leftAttr, leftValue,
lhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN,
rightValue,
rhsNew->type == NODE_TYPE_OPERATOR_BINARY_IN);
}
}
}
Expand Down
Loading