ExpressionAnalyzer.cpp 136.6 KB
Newer Older
1
#include <Poco/Util/Application.h>
A
Alexey Milovidov 已提交
2
#include <Poco/String.h>
3

4
#include <DataTypes/FieldToDataType.h>
5

6 7 8 9
#include <Parsers/ASTFunction.h>
#include <Parsers/ASTIdentifier.h>
#include <Parsers/ASTLiteral.h>
#include <Parsers/ASTAsterisk.h>
10
#include <Parsers/ASTQualifiedAsterisk.h>
11 12
#include <Parsers/ASTExpressionList.h>
#include <Parsers/ASTSelectQuery.h>
13
#include <Parsers/ASTSelectWithUnionQuery.h>
14 15
#include <Parsers/ASTSubquery.h>
#include <Parsers/ASTOrderByElement.h>
16
#include <Parsers/formatAST.h>
17

18
#include <DataTypes/DataTypeSet.h>
19
#include <DataTypes/DataTypeNullable.h>
20
#include <DataTypes/NestedUtils.h>
21
#include <DataTypes/DataTypesNumber.h>
22

23
#include <Columns/ColumnSet.h>
24
#include <Columns/ColumnConst.h>
25

26
#include <Interpreters/InterpreterSelectWithUnionQuery.h>
27 28 29 30
#include <Interpreters/ExpressionAnalyzer.h>
#include <Interpreters/ExpressionActions.h>
#include <Interpreters/InJoinSubqueriesPreprocessor.h>
#include <Interpreters/LogicalExpressionsOptimizer.h>
31
#include <Interpreters/PredicateExpressionsOptimizer.h>
32
#include <Interpreters/ExternalDictionaries.h>
A
Alexey Milovidov 已提交
33
#include <Interpreters/convertFieldToType.h>
34 35
#include <Interpreters/Set.h>
#include <Interpreters/Join.h>
36 37
#include <Interpreters/ProjectionManipulation.h>
#include <Interpreters/evaluateConstantExpression.h>
38

39
#include <AggregateFunctions/AggregateFunctionFactory.h>
40
#include <AggregateFunctions/parseAggregateFunctionParameters.h>
41

42 43 44 45
#include <Storages/StorageDistributed.h>
#include <Storages/StorageMemory.h>
#include <Storages/StorageSet.h>
#include <Storages/StorageJoin.h>
46

47 48
#include <DataStreams/LazyBlockInputStream.h>
#include <DataStreams/copyData.h>
49

50
#include <Dictionaries/IDictionary.h>
51

52
#include <Common/typeid_cast.h>
53
#include <Common/StringUtils/StringUtils.h>
54

55
#include <Parsers/formatAST.h>
56

57 58
#include <Functions/FunctionFactory.h>
#include <Functions/IFunction.h>
A
Andrey Mironov 已提交
59

60
#include <ext/range.h>
61
#include <DataTypes/DataTypeFactory.h>
62 63
#include <DataTypes/DataTypeFunction.h>
#include <Functions/FunctionsMiscellaneous.h>
64
#include <DataTypes/DataTypeTuple.h>
65
#include <Parsers/queryToString.h>
66 67
#include <Parsers/ExpressionListParsers.h>
#include <Parsers/parseQuery.h>
N
Nikolai Kochetov 已提交
68
#include <Parsers/queryToString.h>
69
#include <Interpreters/evaluateQualified.h>
70

71 72 73 74

namespace DB
{

75 76
namespace ErrorCodes
{
77
    extern const int BAD_ARGUMENTS;
78 79 80 81
    extern const int MULTIPLE_EXPRESSIONS_FOR_ALIAS;
    extern const int UNKNOWN_IDENTIFIER;
    extern const int CYCLIC_ALIASES;
    extern const int INCORRECT_RESULT_OF_SCALAR_SUBQUERY;
A
Alexey Milovidov 已提交
82
    extern const int TOO_MANY_ROWS;
83 84 85 86 87 88 89 90 91 92 93
    extern const int NOT_FOUND_COLUMN_IN_BLOCK;
    extern const int INCORRECT_ELEMENT_OF_SET;
    extern const int ALIAS_REQUIRED;
    extern const int EMPTY_NESTED_TABLE;
    extern const int NOT_AN_AGGREGATE;
    extern const int UNEXPECTED_EXPRESSION;
    extern const int DUPLICATE_COLUMN;
    extern const int FUNCTION_CANNOT_HAVE_PARAMETERS;
    extern const int ILLEGAL_AGGREGATION;
    extern const int SUPPORT_IS_DISABLED;
    extern const int TOO_DEEP_AST;
94
    extern const int TOO_BIG_AST;
95
    extern const int NUMBER_OF_ARGUMENTS_DOESNT_MATCH;
T
Tsarkova Anastasia 已提交
96
    extern const int CONDITIONAL_TREE_PARENT_NOT_FOUND;
97
    extern const int TYPE_MISMATCH;
98
    extern const int INVALID_JOIN_ON_EXPRESSION;
99
    extern const int EXPECTED_ALL_OR_ANY;
100 101
}

102

103 104
/** Calls to these functions in the GROUP BY statement would be
  * replaced by their immediate argument.
105
  */
A
Alexey Milovidov 已提交
106 107
const std::unordered_set<String> injective_function_names
{
108 109 110 111 112 113 114 115 116 117 118 119 120 121 122
    "negate",
    "bitNot",
    "reverse",
    "reverseUTF8",
    "toString",
    "toFixedString",
    "IPv4NumToString",
    "IPv4StringToNum",
    "hex",
    "unhex",
    "bitmaskToList",
    "bitmaskToArray",
    "tuple",
    "regionToName",
    "concatAssumeInjective",
123 124
};

125 126
const std::unordered_set<String> possibly_injective_function_names
{
127 128 129 130 131 132 133 134 135 136 137 138 139
    "dictGetString",
    "dictGetUInt8",
    "dictGetUInt16",
    "dictGetUInt32",
    "dictGetUInt64",
    "dictGetInt8",
    "dictGetInt16",
    "dictGetInt32",
    "dictGetInt64",
    "dictGetFloat32",
    "dictGetFloat64",
    "dictGetDate",
    "dictGetDateTime"
140 141
};

A
Merge  
Alexey Arno 已提交
142 143 144 145
namespace
{

bool functionIsInOperator(const String & name)
146
{
147
    return name == "in" || name == "notIn";
148 149
}

A
Merge  
Alexey Arno 已提交
150
bool functionIsInOrGlobalInOperator(const String & name)
151
{
152
    return name == "in" || name == "notIn" || name == "globalIn" || name == "globalNotIn";
153 154
}

155
void removeDuplicateColumns(NamesAndTypesList & columns)
156
{
157
    std::set<String> names;
158 159 160 161 162 163 164
    for (auto it = columns.begin(); it != columns.end();)
    {
        if (names.emplace(it->name).second)
            ++it;
        else
            columns.erase(it++);
    }
165 166
}

A
Merge  
Alexey Arno 已提交
167
}
168

169
ExpressionAnalyzer::ExpressionAnalyzer(
170
    const ASTPtr & query_,
171
    const Context & context_,
172
    const StoragePtr & storage_,
173 174
    const NamesAndTypesList & source_columns_,
    const Names & required_result_columns_,
175
    size_t subquery_depth_,
A
Alexey Milovidov 已提交
176 177
    bool do_global_,
    const SubqueriesForSets & subqueries_for_set_)
178
    : query(query_), context(context_), settings(context.getSettings()),
179
    subquery_depth(subquery_depth_),
180
    source_columns(source_columns_), required_result_columns(required_result_columns_),
181
    storage(storage_),
A
Alexey Milovidov 已提交
182
    do_global(do_global_), subqueries_for_sets(subqueries_for_set_)
183
{
184
    select_query = typeid_cast<ASTSelectQuery *>(query.get());
185

186 187 188 189
    if (!storage && select_query)
    {
        auto select_database = select_query->database();
        auto select_table = select_query->table();
190

191 192 193 194 195 196 197 198 199 200 201
        if (select_table
            && !typeid_cast<const ASTSelectWithUnionQuery *>(select_table.get())
            && !typeid_cast<const ASTFunction *>(select_table.get()))
        {
            String database = select_database
                ? typeid_cast<const ASTIdentifier &>(*select_database).name
                : "";
            const String & table = typeid_cast<const ASTIdentifier &>(*select_table).name;
            storage = context.tryGetTable(database, table);
        }
    }
202

203
    if (storage && source_columns.empty())
204 205 206 207 208 209
    {
        auto physical_columns = storage->getColumns().getAllPhysical();
        if (source_columns.empty())
            source_columns.swap(physical_columns);
        else
        {
N
Nikolai Kochetov 已提交
210
            source_columns.insert(source_columns.end(), physical_columns.begin(), physical_columns.end());
211 212 213
            removeDuplicateColumns(source_columns);
        }
    }
214 215 216
    else
        removeDuplicateColumns(source_columns);

217
    addAliasColumns();
218

219 220
    translateQualifiedNames();

F
f1yegor 已提交
221 222
    /// Depending on the user's profile, check for the execution rights
    /// distributed subqueries inside the IN or JOIN sections and process these subqueries.
223
    InJoinSubqueriesPreprocessor(context).process(select_query);
A
Merge  
Alexey Arno 已提交
224

F
f1yegor 已提交
225
    /// Optimizes logical expressions.
226
    LogicalExpressionsOptimizer(select_query, settings).perform();
227

F
f1yegor 已提交
228
    /// Creates a dictionary `aliases`: alias -> ASTPtr
229
    addASTAliases(query);
230

231 232
    /// Common subexpression elimination. Rewrite rules.
    normalizeTree();
233

A
Alexey Milovidov 已提交
234
    /// Remove unneeded columns according to 'required_result_columns'.
235 236 237 238 239
    /// Leave all selected columns in case of DISTINCT; columns that contain arrayJoin function inside.
    /// Must be after 'normalizeTree' (after expanding aliases, for aliases not get lost)
    ///  and before 'executeScalarSubqueries', 'analyzeAggregation', etc. to avoid excessive calculations.
    removeUnneededColumnsFromSelectClause();

F
f1yegor 已提交
240
    /// Executing scalar subqueries - replacing them with constant values.
241
    executeScalarSubqueries();
242

243
    /// Optimize if with constant condition after constants was substituted instead of sclalar subqueries.
244
    optimizeIfWithConstantCondition();
245

246 247
    /// GROUP BY injective function elimination.
    optimizeGroupBy();
248

F
f1yegor 已提交
249
    /// Remove duplicate items from ORDER BY.
250
    optimizeOrderBy();
251

252 253
    // Remove duplicated elements from LIMIT BY clause.
    optimizeLimitBy();
254

255 256 257
    /// Remove duplicated columns from USING(...).
    optimizeUsing();

258 259
    /// array_join_alias_to_name, array_join_result_to_source.
    getArrayJoinedColumns();
260

A
Alexey Milovidov 已提交
261
    /// Push the predicate expression down to the subqueries.
262
    rewrite_subqueries = PredicateExpressionsOptimizer(select_query, settings, context).optimize();
263

264
    /// Delete the unnecessary from `source_columns` list. Create `unknown_required_source_columns`. Form `columns_added_by_join`.
265
    collectUsedColumns();
266

F
f1yegor 已提交
267 268
    /// external_tables, subqueries_for_sets for global subqueries.
    /// Replaces global subqueries with the generated names of temporary tables that will be sent to remote servers.
269
    initGlobalSubqueriesAndExternalTables();
270

271
    /// has_aggregation, aggregation_keys, aggregate_descriptions, aggregated_columns.
F
f1yegor 已提交
272 273 274 275 276 277
    /// This analysis should be performed after processing global subqueries, because otherwise,
    /// if the aggregate function contains a global subquery, then `analyzeAggregation` method will save
    /// in `aggregate_descriptions` the information about the parameters of this aggregate function, among which
    /// global subquery. Then, when you call `initGlobalSubqueriesAndExternalTables` method, this
    /// the global subquery will be replaced with a temporary table, resulting in aggregate_descriptions
    /// will contain out-of-date information, which will lead to an error when the query is executed.
278
    analyzeAggregation();
279 280
}

281 282 283 284 285 286 287 288 289 290
void ExpressionAnalyzer::translateQualifiedNames()
{
    if (!select_query || !select_query->tables || select_query->tables->children.empty())
        return;

    auto & element = static_cast<ASTTablesInSelectQueryElement &>(*select_query->tables->children[0]);

    if (!element.table_expression)        /// This is ARRAY JOIN without a table at the left side.
        return;

291 292 293 294
    auto & table_expression = static_cast<ASTTableExpression &>(*element.table_expression);
    auto * join = select_query->join();

    std::vector<DatabaseAndTableWithAlias> tables = {getTableNameWithAliasFromTableExpression(table_expression, context)};
295

296 297 298 299 300
    if (join)
    {
        const auto & join_table_expression = static_cast<const ASTTableExpression &>(*join->table_expression);
        tables.emplace_back(getTableNameWithAliasFromTableExpression(join_table_expression, context));
    }
301

302
    translateQualifiedNamesImpl(query, tables);
303 304
}

305
void ExpressionAnalyzer::translateQualifiedNamesImpl(ASTPtr & ast, const std::vector<DatabaseAndTableWithAlias> & tables)
306 307 308 309 310
{
    if (auto * identifier = typeid_cast<ASTIdentifier *>(ast.get()))
    {
        if (identifier->kind == ASTIdentifier::Column)
        {
311 312 313 314 315 316 317 318 319 320
            /// Select first table name with max number of qualifiers which can be stripped.
            size_t max_num_qualifiers_to_strip = 0;
            size_t best_table_pos = 0;

            for (size_t table_pos = 0; table_pos < tables.size(); ++table_pos)
            {
                const auto & table = tables[table_pos];
                auto num_qualifiers_to_strip = getNumComponentsToStripInOrderToTranslateQualifiedName(*identifier, table);

                if (num_qualifiers_to_strip > max_num_qualifiers_to_strip)
321
                {
322 323
                    max_num_qualifiers_to_strip = num_qualifiers_to_strip;
                    best_table_pos = table_pos;
324 325
                }
            }
326 327

            stripIdentifier(ast, max_num_qualifiers_to_strip);
328

329 330 331
            /// In case if column from the joined table are in source columns, change it's name to qualified.
            if (best_table_pos && source_columns.contains(ast->getColumnName()))
                tables[best_table_pos].makeQualifiedName(ast);
332 333
        }
    }
A
Alexey Milovidov 已提交
334
    else if (typeid_cast<ASTQualifiedAsterisk *>(ast.get()))
335 336 337 338 339 340 341 342 343 344 345 346
    {
        if (ast->children.size() != 1)
            throw Exception("Logical error: qualified asterisk must have exactly one child", ErrorCodes::LOGICAL_ERROR);

        ASTIdentifier * ident = typeid_cast<ASTIdentifier *>(ast->children[0].get());
        if (!ident)
            throw Exception("Logical error: qualified asterisk must have identifier as its child", ErrorCodes::LOGICAL_ERROR);

        size_t num_components = ident->children.size();
        if (num_components > 2)
            throw Exception("Qualified asterisk cannot have more than two qualifiers", ErrorCodes::UNKNOWN_ELEMENT_IN_AST);

347
        for (const auto & table_names : tables)
348
        {
349 350 351 352 353 354 355 356 357 358 359 360
            /// database.table.*, table.* or alias.*
            if ((num_components == 2
                 && !table_names.database.empty()
                 && static_cast<const ASTIdentifier &>(*ident->children[0]).name == table_names.database
                 && static_cast<const ASTIdentifier &>(*ident->children[1]).name == table_names.table)
                || (num_components == 0
                    && ((!table_names.table.empty() && ident->name == table_names.table)
                        || (!table_names.alias.empty() && ident->name == table_names.alias))))
            {
                /// Replace to plain asterisk.
                ast = std::make_shared<ASTAsterisk>();
            }
361 362
        }
    }
363 364
    else if (auto * join = typeid_cast<ASTTableJoin *>(ast.get()))
    {
A
alexey-milovidov 已提交
365
        /// Don't translate on_expression here in order to resolve equation parts later.
366 367 368
        if (join->using_expression_list)
            translateQualifiedNamesImpl(join->using_expression_list, tables);
    }
369 370
    else
    {
371 372 373 374 375 376 377 378 379
        /// If the WHERE clause or HAVING consists of a single quailified column, the reference must be translated not only in children, but also in where_expression and having_expression.
        if (ASTSelectQuery * select = typeid_cast<ASTSelectQuery *>(ast.get()))
        {
            if (select->prewhere_expression)
                translateQualifiedNamesImpl(select->prewhere_expression, tables);
            if (select->where_expression)
                translateQualifiedNamesImpl(select->where_expression, tables);
            if (select->having_expression)
                translateQualifiedNamesImpl(select->having_expression, tables);
380 381
        }

382 383
        for (auto & child : ast->children)
        {
384
            /// Do not go to FROM, JOIN, subqueries.
385
            if (!typeid_cast<const ASTTableExpression *>(child.get())
386
                && !typeid_cast<const ASTSelectWithUnionQuery *>(child.get()))
387
            {
388
                translateQualifiedNamesImpl(child, tables);
389 390 391 392 393
            }
        }
    }
}

394 395
void ExpressionAnalyzer::optimizeIfWithConstantCondition()
{
396
    optimizeIfWithConstantConditionImpl(query);
397 398 399 400
}

bool ExpressionAnalyzer::tryExtractConstValueFromCondition(const ASTPtr & condition, bool & value) const
{
401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430
    /// numeric constant in condition
    if (const ASTLiteral * literal = typeid_cast<ASTLiteral *>(condition.get()))
    {
        if (literal->value.getType() == Field::Types::Int64 ||
            literal->value.getType() == Field::Types::UInt64)
        {
            value = literal->value.get<Int64>();
            return true;
        }
    }

    /// cast of numeric constant in condition to UInt8
    if (const ASTFunction * function = typeid_cast<ASTFunction * >(condition.get()))
    {
        if (function->name == "CAST")
        {
            if (ASTExpressionList * expr_list = typeid_cast<ASTExpressionList *>(function->arguments.get()))
            {
                const ASTPtr & type_ast = expr_list->children.at(1);
                if (const ASTLiteral * type_literal = typeid_cast<ASTLiteral *>(type_ast.get()))
                {
                    if (type_literal->value.getType() == Field::Types::String &&
                        type_literal->value.get<std::string>() == "UInt8")
                        return tryExtractConstValueFromCondition(expr_list->children.at(0), value);
                }
            }
        }
    }

    return false;
431 432
}

433
void ExpressionAnalyzer::optimizeIfWithConstantConditionImpl(ASTPtr & current_ast)
434
{
435 436 437 438 439 440 441 442
    if (!current_ast)
        return;

    for (ASTPtr & child : current_ast->children)
    {
        ASTFunction * function_node = typeid_cast<ASTFunction *>(child.get());
        if (!function_node || function_node->name != "if")
        {
443
            optimizeIfWithConstantConditionImpl(child);
444 445 446
            continue;
        }

447
        optimizeIfWithConstantConditionImpl(function_node->arguments);
448 449
        ASTExpressionList * args = typeid_cast<ASTExpressionList *>(function_node->arguments.get());

450 451 452
        if (args->children.size() != 3)
            throw Exception("Wrong number of arguments for function 'if' (" + toString(args->children.size()) + " instead of 3)",
                ErrorCodes::NUMBER_OF_ARGUMENTS_DOESNT_MATCH);
453

454 455 456
        ASTPtr condition_expr = args->children[0];
        ASTPtr then_expr = args->children[1];
        ASTPtr else_expr = args->children[2];
457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488

        bool condition;
        if (tryExtractConstValueFromCondition(condition_expr, condition))
        {
            ASTPtr replace_ast = condition ? then_expr : else_expr;
            ASTPtr child_copy = child;
            String replace_alias = replace_ast->tryGetAlias();
            String if_alias = child->tryGetAlias();

            if (replace_alias.empty())
            {
                replace_ast->setAlias(if_alias);
                child = replace_ast;
            }
            else
            {
                /// Only copy of one node is required here.
                /// But IAST has only method for deep copy of subtree.
                /// This can be a reason of performance degradation in case of deep queries.
                ASTPtr replace_ast_deep_copy = replace_ast->clone();
                replace_ast_deep_copy->setAlias(if_alias);
                child = replace_ast_deep_copy;
            }

            if (!if_alias.empty())
            {
                auto alias_it = aliases.find(if_alias);
                if (alias_it != aliases.end() && alias_it->second.get() == child_copy.get())
                    alias_it->second = child;
            }
        }
    }
489
}
490 491 492

void ExpressionAnalyzer::analyzeAggregation()
{
F
f1yegor 已提交
493 494 495
    /** Find aggregation keys (aggregation_keys), information about aggregate functions (aggregate_descriptions),
     *  as well as a set of columns obtained after the aggregation, if any,
     *  or after all the actions that are usually performed before aggregation (aggregated_columns).
496
     *
F
f1yegor 已提交
497
     * Everything below (compiling temporary ExpressionActions) - only for the purpose of query analysis (type output).
498 499 500 501 502
     */

    if (select_query && (select_query->group_expression_list || select_query->having_expression))
        has_aggregation = true;

503
    ExpressionActionsPtr temp_actions = std::make_shared<ExpressionActions>(source_columns, context);
504 505 506 507 508

    if (select_query && select_query->array_join_expression_list())
    {
        getRootActions(select_query->array_join_expression_list(), true, false, temp_actions);
        addMultipleArrayJoinAction(temp_actions);
509
        array_join_columns = temp_actions->getSampleBlock().getNamesAndTypesList();
510 511 512 513 514 515 516
    }

    if (select_query)
    {
        const ASTTablesInSelectQueryElement * join = select_query->join();
        if (join)
        {
517 518 519 520 521 522
            const auto table_join = static_cast<const ASTTableJoin &>(*join->table_join);
            if (table_join.using_expression_list)
                getRootActions(table_join.using_expression_list, true, false, temp_actions);
            if (table_join.on_expression)
                for (const auto & key_ast : analyzed_join.key_asts_left)
                    getRootActions(key_ast, true, false, temp_actions);
523 524 525 526 527

            addJoinAction(temp_actions, true);
        }
    }

528
    getAggregates(query, temp_actions);
529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552

    if (has_aggregation)
    {
        assertSelect();

        /// Find out aggregation keys.
        if (select_query->group_expression_list)
        {
            NameSet unique_keys;
            ASTs & group_asts = select_query->group_expression_list->children;
            for (ssize_t i = 0; i < ssize_t(group_asts.size()); ++i)
            {
                ssize_t size = group_asts.size();
                getRootActions(group_asts[i], true, false, temp_actions);

                const auto & column_name = group_asts[i]->getColumnName();
                const auto & block = temp_actions->getSampleBlock();

                if (!block.has(column_name))
                    throw Exception("Unknown identifier (in GROUP BY): " + column_name, ErrorCodes::UNKNOWN_IDENTIFIER);

                const auto & col = block.getByName(column_name);

                /// Constant expressions have non-null column pointer at this stage.
553
                if (col.column && col.column->isColumnConst())
554 555 556 557 558 559 560 561 562 563 564 565 566 567
                {
                    /// But don't remove last key column if no aggregate functions, otherwise aggregation will not work.
                    if (!aggregate_descriptions.empty() || size > 1)
                    {
                        if (i + 1 < static_cast<ssize_t>(size))
                            group_asts[i] = std::move(group_asts.back());

                        group_asts.pop_back();

                        --i;
                        continue;
                    }
                }

568
                NameAndTypePair key{column_name, col.type};
569 570 571 572 573

                /// Aggregation keys are uniqued.
                if (!unique_keys.count(key.name))
                {
                    unique_keys.insert(key.name);
574
                    aggregation_keys.push_back(key);
575 576

                    /// Key is no longer needed, therefore we can save a little by moving it.
577
                    aggregated_columns.push_back(std::move(key));
578 579 580 581 582 583
                }
            }

            if (group_asts.empty())
            {
                select_query->group_expression_list = nullptr;
584
                has_aggregation = select_query->having_expression || aggregate_descriptions.size();
585 586 587 588 589 590
            }
        }

        for (size_t i = 0; i < aggregate_descriptions.size(); ++i)
        {
            AggregateDescription & desc = aggregate_descriptions[i];
591
            aggregated_columns.emplace_back(desc.column_name, desc.function->getReturnType());
592 593
        }
    }
594 595 596 597
    else
    {
        aggregated_columns = temp_actions->getSampleBlock().getNamesAndTypesList();
    }
598 599 600
}


601 602
void ExpressionAnalyzer::initGlobalSubqueriesAndExternalTables()
{
F
f1yegor 已提交
603
    /// Adds existing external tables (not subqueries) to the external_tables dictionary.
604
    findExternalTables(query);
605

F
f1yegor 已提交
606
    /// Converts GLOBAL subqueries to external tables; Puts them into the external_tables dictionary: name -> StoragePtr.
607
    initGlobalSubqueries(query);
608 609 610 611 612
}


void ExpressionAnalyzer::initGlobalSubqueries(ASTPtr & ast)
{
F
f1yegor 已提交
613
    /// Recursive calls. We do not go into subqueries.
614 615 616 617 618

    for (auto & child : ast->children)
        if (!typeid_cast<ASTSelectQuery *>(child.get()))
            initGlobalSubqueries(child);

F
f1yegor 已提交
619
    /// Bottom-up actions.
620

621
    if (ASTFunction * func = typeid_cast<ASTFunction *>(ast.get()))
622
    {
F
f1yegor 已提交
623
        /// For GLOBAL IN.
624 625
        if (do_global && (func->name == "globalIn" || func->name == "globalNotIn"))
            addExternalStorage(func->arguments->children.at(1));
626
    }
627
    else if (ASTTablesInSelectQueryElement * table_elem = typeid_cast<ASTTablesInSelectQueryElement *>(ast.get()))
628
    {
F
f1yegor 已提交
629
        /// For GLOBAL JOIN.
630 631 632
        if (do_global && table_elem->table_join
            && static_cast<const ASTTableJoin &>(*table_elem->table_join).locality == ASTTableJoin::Locality::Global)
            addExternalStorage(table_elem->table_expression);
633
    }
634 635 636 637 638
}


void ExpressionAnalyzer::findExternalTables(ASTPtr & ast)
{
F
f1yegor 已提交
639
    /// Traverse from the bottom. Intentionally go into subqueries.
640 641
    for (auto & child : ast->children)
        findExternalTables(child);
642

F
f1yegor 已提交
643
    /// If table type identifier
644
    StoragePtr external_storage;
645

646 647 648 649
    if (ASTIdentifier * node = typeid_cast<ASTIdentifier *>(ast.get()))
        if (node->kind == ASTIdentifier::Table)
            if ((external_storage = context.tryGetExternalTable(node->name)))
                external_tables[node->name] = external_storage;
650 651
}

652
static std::shared_ptr<InterpreterSelectWithUnionQuery> interpretSubquery(
653
    const ASTPtr & table_expression, const Context & context, size_t subquery_depth, const Names & required_source_columns)
654 655
{
    /// Subquery or table name. The name of the table is similar to the subquery `SELECT * FROM t`.
656 657 658
    const ASTSubquery * subquery = typeid_cast<const ASTSubquery *>(table_expression.get());
    const ASTFunction * function = typeid_cast<const ASTFunction *>(table_expression.get());
    const ASTIdentifier * table = typeid_cast<const ASTIdentifier *>(table_expression.get());
659

660 661
    if (!subquery && !table && !function)
        throw Exception("Table expression is undefined, Method: ExpressionAnalyzer::interpretSubquery." , ErrorCodes::LOGICAL_ERROR);
662 663 664 665 666 667 668 669 670 671

    /** The subquery in the IN / JOIN section does not have any restrictions on the maximum size of the result.
      * Because the result of this query is not the result of the entire query.
      * Constraints work instead
      *  max_rows_in_set, max_bytes_in_set, set_overflow_mode,
      *  max_rows_in_join, max_bytes_in_join, join_overflow_mode,
      *  which are checked separately (in the Set, Join objects).
      */
    Context subquery_context = context;
    Settings subquery_settings = context.getSettings();
672 673
    subquery_settings.max_result_rows = 0;
    subquery_settings.max_result_bytes = 0;
674 675 676 677 678
    /// The calculation of `extremes` does not make sense and is not necessary (if you do it, then the `extremes` of the subquery can be taken instead of the whole query).
    subquery_settings.extremes = 0;
    subquery_context.setSettings(subquery_settings);

    ASTPtr query;
679
    if (table || function)
680 681
    {
        /// create ASTSelectQuery for "SELECT * FROM table" as if written by hand
682 683 684 685 686
        const auto select_with_union_query = std::make_shared<ASTSelectWithUnionQuery>();
        query = select_with_union_query;

        select_with_union_query->list_of_selects = std::make_shared<ASTExpressionList>();

687
        const auto select_query = std::make_shared<ASTSelectQuery>();
688
        select_with_union_query->list_of_selects->children.push_back(select_query);
689 690 691 692 693

        const auto select_expression_list = std::make_shared<ASTExpressionList>();
        select_query->select_expression_list = select_expression_list;
        select_query->children.emplace_back(select_query->select_expression_list);

694 695
        NamesAndTypesList columns;

696
        /// get columns list for target table
697 698
        if (function)
        {
699 700
            auto query_context = const_cast<Context *>(&context.getQueryContext());
            const auto & storage = query_context->executeTableFunction(table_expression);
701 702 703 704 705 706 707 708 709 710
            columns = storage->getColumns().ordinary;
            select_query->addTableFunction(*const_cast<ASTPtr *>(&table_expression));
        }
        else
        {
            auto database_table = getDatabaseAndTableNameFromIdentifier(*table);
            const auto & storage = context.getTable(database_table.first, database_table.second);
            columns = storage->getColumns().ordinary;
            select_query->replaceDatabaseAndTable(database_table.first, database_table.second);
        }
711

712
        select_expression_list->children.reserve(columns.size());
713 714
        /// manually substitute column names in place of asterisk
        for (const auto & column : columns)
A
Alexey Milovidov 已提交
715
            select_expression_list->children.emplace_back(std::make_shared<ASTIdentifier>(column.name));
716 717 718 719 720 721 722 723 724 725 726 727 728 729 730
    }
    else
    {
        query = subquery->children.at(0);

        /** Columns with the same name can be specified in a subquery. For example, SELECT x, x FROM t
          * This is bad, because the result of such a query can not be saved to the table, because the table can not have the same name columns.
          * Saving to the table is required for GLOBAL subqueries.
          *
          * To avoid this situation, we will rename the same columns.
          */

        std::set<std::string> all_column_names;
        std::set<std::string> assigned_column_names;

731
        if (ASTSelectWithUnionQuery * select_with_union = typeid_cast<ASTSelectWithUnionQuery *>(query.get()))
732
        {
733
            if (ASTSelectQuery * select = typeid_cast<ASTSelectQuery *>(select_with_union->list_of_selects->children.at(0).get()))
734
            {
735 736
                for (auto & expr : select->select_expression_list->children)
                    all_column_names.insert(expr->getAliasOrColumnName());
737

738
                for (auto & expr : select->select_expression_list->children)
739
                {
740 741 742 743 744 745 746
                    auto name = expr->getAliasOrColumnName();

                    if (!assigned_column_names.insert(name).second)
                    {
                        size_t i = 1;
                        while (all_column_names.end() != all_column_names.find(name + "_" + toString(i)))
                            ++i;
747

748 749 750
                        name = name + "_" + toString(i);
                        expr = expr->clone();   /// Cancels fuse of the same expressions in the tree.
                        expr->setAlias(name);
751

752 753 754
                        all_column_names.insert(name);
                        assigned_column_names.insert(name);
                    }
755 756 757 758 759
                }
            }
        }
    }

760 761
    return std::make_shared<InterpreterSelectWithUnionQuery>(
        query, subquery_context, required_source_columns, QueryProcessingStage::Complete, subquery_depth + 1);
762
}
763 764


765
void ExpressionAnalyzer::addExternalStorage(ASTPtr & subquery_or_table_name_or_table_expression)
766
{
F
f1yegor 已提交
767
    /// With nondistributed queries, creating temporary tables does not make sense.
768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803
    if (!(storage && storage->isRemote()))
        return;

    ASTPtr subquery;
    ASTPtr table_name;
    ASTPtr subquery_or_table_name;

    if (typeid_cast<const ASTIdentifier *>(subquery_or_table_name_or_table_expression.get()))
    {
        table_name = subquery_or_table_name_or_table_expression;
        subquery_or_table_name = table_name;
    }
    else if (auto ast_table_expr = typeid_cast<const ASTTableExpression *>(subquery_or_table_name_or_table_expression.get()))
    {
        if (ast_table_expr->database_and_table_name)
        {
            table_name = ast_table_expr->database_and_table_name;
            subquery_or_table_name = table_name;
        }
        else if (ast_table_expr->subquery)
        {
            subquery = ast_table_expr->subquery;
            subquery_or_table_name = subquery;
        }
    }
    else if (typeid_cast<const ASTSubquery *>(subquery_or_table_name_or_table_expression.get()))
    {
        subquery = subquery_or_table_name_or_table_expression;
        subquery_or_table_name = subquery;
    }

    if (!subquery_or_table_name)
        throw Exception("Logical error: unknown AST element passed to ExpressionAnalyzer::addExternalStorage method", ErrorCodes::LOGICAL_ERROR);

    if (table_name)
    {
F
f1yegor 已提交
804
        /// If this is already an external table, you do not need to add anything. Just remember its presence.
805 806 807 808
        if (external_tables.end() != external_tables.find(static_cast<const ASTIdentifier &>(*table_name).name))
            return;
    }

F
f1yegor 已提交
809
    /// Generate the name for the external table.
810 811 812 813 814 815 816 817 818 819
    String external_table_name = "_data" + toString(external_table_id);
    while (external_tables.count(external_table_name))
    {
        ++external_table_id;
        external_table_name = "_data" + toString(external_table_id);
    }

    auto interpreter = interpretSubquery(subquery_or_table_name, context, subquery_depth, {});

    Block sample = interpreter->getSampleBlock();
820
    NamesAndTypesList columns = sample.getNamesAndTypesList();
821

822
    StoragePtr external_storage = StorageMemory::create(external_table_name, ColumnsDescription{columns});
823
    external_storage->startup();
824

825 826 827 828 829
    /** We replace the subquery with the name of the temporary table.
        * It is in this form, the request will go to the remote server.
        * This temporary table will go to the remote server, and on its side,
        *  instead of doing a subquery, you just need to read it.
        */
830

A
Alexey Milovidov 已提交
831
    auto database_and_table_name = std::make_shared<ASTIdentifier>(external_table_name, ASTIdentifier::Table);
832

833
    if (auto ast_table_expr = typeid_cast<ASTTableExpression *>(subquery_or_table_name_or_table_expression.get()))
834
    {
835 836
        ast_table_expr->subquery.reset();
        ast_table_expr->database_and_table_name = database_and_table_name;
837

838 839
        ast_table_expr->children.clear();
        ast_table_expr->children.emplace_back(database_and_table_name);
840 841
    }
    else
842
        subquery_or_table_name_or_table_expression = database_and_table_name;
843 844 845 846 847

    external_tables[external_table_name] = external_storage;
    subqueries_for_sets[external_table_name].source = interpreter->execute().in;
    subqueries_for_sets[external_table_name].table = external_storage;

F
f1yegor 已提交
848 849 850 851
    /** NOTE If it was written IN tmp_table - the existing temporary (but not external) table,
      *  then a new temporary table will be created (for example, _data1),
      *  and the data will then be copied to it.
      * Maybe this can be avoided.
852
      */
853 854 855
}


856
static NamesAndTypesList::iterator findColumn(const String & name, NamesAndTypesList & cols)
857
{
858
    return std::find_if(cols.begin(), cols.end(),
859
        [&](const NamesAndTypesList::value_type & val) { return val.name == name; });
860 861 862
}


F
f1yegor 已提交
863 864
/// ignore_levels - aliases in how many upper levels of the subtree should be ignored.
/// For example, with ignore_levels=1 ast can not be put in the dictionary, but its children can.
865
void ExpressionAnalyzer::addASTAliases(ASTPtr & ast, int ignore_levels)
866
{
F
f1yegor 已提交
867
    /// Bottom-up traversal. We do not go into subqueries.
868 869 870 871
    for (auto & child : ast->children)
    {
        int new_ignore_levels = std::max(0, ignore_levels - 1);

F
f1yegor 已提交
872 873
        /// The top-level aliases in the ARRAY JOIN section have a special meaning, we will not add them
        ///  (skip the expression list itself and its children).
874 875 876
        if (typeid_cast<ASTArrayJoin *>(ast.get()))
            new_ignore_levels = 3;

877
        /// Don't descent into table functions and subqueries.
878
        if (!typeid_cast<ASTTableExpression *>(child.get())
879
            && !typeid_cast<ASTSelectWithUnionQuery *>(child.get()))
880 881 882 883 884 885 886 887 888 889
            addASTAliases(child, new_ignore_levels);
    }

    if (ignore_levels > 0)
        return;

    String alias = ast->tryGetAlias();
    if (!alias.empty())
    {
        if (aliases.count(alias) && ast->getTreeHash() != aliases[alias]->getTreeHash())
890 891 892 893 894 895 896 897 898 899
        {
            std::stringstream message;
            message << "Different expressions with the same alias " << backQuoteIfNeed(alias) << ":\n";
            formatAST(*ast, message, false, true);
            message << "\nand\n";
            formatAST(*aliases[alias], message, false, true);
            message << "\n";

            throw Exception(message.str(), ErrorCodes::MULTIPLE_EXPRESSIONS_FOR_ALIAS);
        }
900 901 902

        aliases[alias] = ast;
    }
A
Alexey Milovidov 已提交
903
    else if (auto subquery = typeid_cast<ASTSubquery *>(ast.get()))
A
Alexey Milovidov 已提交
904 905 906 907 908 909 910 911 912 913 914 915 916
    {
        /// Set unique aliases for all subqueries. This is needed, because content of subqueries could change after recursive analysis,
        ///  and auto-generated column names could become incorrect.

        size_t subquery_index = 1;
        while (true)
        {
            alias = "_subquery" + toString(subquery_index);
            if (!aliases.count("_subquery" + toString(subquery_index)))
                break;
            ++subquery_index;
        }

A
Alexey Milovidov 已提交
917 918
        subquery->setAlias(alias);
        subquery->prefer_alias_to_column_name = true;
A
Alexey Milovidov 已提交
919 920
        aliases[alias] = ast;
    }
921 922 923 924 925
}


void ExpressionAnalyzer::normalizeTree()
{
926 927
    SetOfASTs tmp_set;
    MapOfASTs tmp_map;
928
    normalizeTreeImpl(query, tmp_map, tmp_set, "", 0);
929 930 931

    try
    {
932
        query->checkSize(settings.max_expanded_ast_elements);
933 934 935 936 937 938
    }
    catch (Exception & e)
    {
        e.addMessage("(after expansion of aliases)");
        throw;
    }
939 940 941
}


F
f1yegor 已提交
942 943 944
/// finished_asts - already processed vertices (and by what they replaced)
/// current_asts - vertices in the current call stack of this method
/// current_alias - the alias referencing to the ancestor of ast (the deepest ancestor with aliases)
945
void ExpressionAnalyzer::normalizeTreeImpl(
946 947
    ASTPtr & ast, MapOfASTs & finished_asts, SetOfASTs & current_asts, std::string current_alias, size_t level)
{
948
    if (level > settings.max_ast_depth)
949
        throw Exception("Normalized AST is too deep. Maximum: "
950
            + settings.max_ast_depth.toString(), ErrorCodes::TOO_DEEP_AST);
951 952 953 954 955 956 957 958 959 960 961 962 963 964

    if (finished_asts.count(ast))
    {
        ast = finished_asts[ast];
        return;
    }

    ASTPtr initial_ast = ast;
    current_asts.insert(initial_ast.get());

    String my_alias = ast->tryGetAlias();
    if (!my_alias.empty())
        current_alias = my_alias;

F
f1yegor 已提交
965
    /// rewrite rules that act when you go from top to bottom.
966 967
    bool replaced = false;

968 969 970 971
    ASTIdentifier * identifier_node = nullptr;
    ASTFunction * func_node = nullptr;

    if ((func_node = typeid_cast<ASTFunction *>(ast.get())))
972
    {
F
f1yegor 已提交
973
        /// `IN t` can be specified, where t is a table, which is equivalent to `IN (SELECT * FROM t)`.
974 975
        if (functionIsInOrGlobalInOperator(func_node->name))
            if (ASTIdentifier * right = typeid_cast<ASTIdentifier *>(func_node->arguments->children.at(1).get()))
976 977
                if (!aliases.count(right->name))
                    right->kind = ASTIdentifier::Table;
978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997

        /// Special cases for count function.
        String func_name_lowercase = Poco::toLower(func_node->name);
        if (startsWith(func_name_lowercase, "count"))
        {
            /// Select implementation of countDistinct based on settings.
            /// Important that it is done as query rewrite. It means rewritten query
            ///  will be sent to remote servers during distributed query execution,
            ///  and on all remote servers, function implementation will be same.
            if (endsWith(func_node->name, "Distinct") && func_name_lowercase == "countdistinct")
                func_node->name = settings.count_distinct_implementation;

            /// As special case, treat count(*) as count(), not as count(list of all columns).
            if (func_name_lowercase == "count" && func_node->arguments->children.size() == 1
                && typeid_cast<const ASTAsterisk *>(func_node->arguments->children[0].get()))
            {
                func_node->arguments->children.clear();
            }
        }
    }
998
    else if ((identifier_node = typeid_cast<ASTIdentifier *>(ast.get())))
999
    {
1000
        if (identifier_node->kind == ASTIdentifier::Column)
1001
        {
F
f1yegor 已提交
1002
            /// If it is an alias, but not a parent alias (for constructs like "SELECT column + 1 AS column").
1003 1004
            auto it_alias = aliases.find(identifier_node->name);
            if (it_alias != aliases.end() && current_alias != identifier_node->name)
1005
            {
F
f1yegor 已提交
1006
                /// Let's replace it with the corresponding tree node.
1007
                if (current_asts.count(it_alias->second.get()))
1008
                    throw Exception("Cyclic aliases", ErrorCodes::CYCLIC_ALIASES);
1009 1010

                if (!my_alias.empty() && my_alias != it_alias->second->getAliasOrColumnName())
1011
                {
1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024
                    /// Avoid infinite recursion here
                    auto replace_to_identifier = typeid_cast<ASTIdentifier *>(it_alias->second.get());
                    bool is_cycle = replace_to_identifier &&
                        replace_to_identifier->kind == ASTIdentifier::Column &&
                        replace_to_identifier->name == identifier_node->name;

                    if (!is_cycle)
                    {
                        /// In a construct like "a AS b", where a is an alias, you must set alias b to the result of substituting alias a.
                        ast = it_alias->second->clone();
                        ast->setAlias(my_alias);
                        replaced = true;
                    }
1025 1026 1027
                }
                else
                {
1028 1029
                    ast = it_alias->second;
                    replaced = true;
1030 1031 1032 1033
                }
            }
        }
    }
1034
    else if (ASTExpressionList * expr_list = typeid_cast<ASTExpressionList *>(ast.get()))
1035
    {
F
f1yegor 已提交
1036
        /// Replace * with a list of columns.
1037
        ASTs & asts = expr_list->children;
1038 1039
        for (int i = static_cast<int>(asts.size()) - 1; i >= 0; --i)
        {
A
Alexey Milovidov 已提交
1040
            if (typeid_cast<ASTAsterisk *>(asts[i].get()))
1041
            {
1042
                Names all_columns_name;
1043

1044 1045 1046
                auto columns_name = storage ? storage->getColumns().ordinary.getNames() : source_columns.getNames();
                all_columns_name.insert(all_columns_name.begin(), columns_name.begin(), columns_name.end());

1047
                if (!settings.asterisk_left_columns_only)
1048
                {
1049 1050
                    auto columns_from_joined_table = analyzed_join.getColumnsFromJoinedTable(context, select_query).getNames();
                    all_columns_name.insert(all_columns_name.end(), columns_from_joined_table.begin(), columns_from_joined_table.end());
1051
                }
1052 1053

                asts.erase(asts.begin() + i);
1054 1055
                for (size_t idx = 0; idx < all_columns_name.size(); idx++)
                    asts.insert(asts.begin() + idx + i, std::make_shared<ASTIdentifier>(all_columns_name[idx]));
1056 1057 1058
            }
        }
    }
1059
    else if (ASTTablesInSelectQueryElement * tables_elem = typeid_cast<ASTTablesInSelectQueryElement *>(ast.get()))
1060
    {
1061
        if (tables_elem->table_expression)
1062
        {
1063
            auto & database_and_table_name = static_cast<ASTTableExpression &>(*tables_elem->table_expression).database_and_table_name;
1064 1065 1066 1067 1068 1069 1070 1071 1072 1073
            if (database_and_table_name)
            {
                if (ASTIdentifier * right = typeid_cast<ASTIdentifier *>(database_and_table_name.get()))
                {
                    right->kind = ASTIdentifier::Table;
                }
            }
        }
    }

F
f1yegor 已提交
1074
    /// If we replace the root of the subtree, we will be called again for the new root, in case the alias is replaced by an alias.
1075 1076 1077 1078 1079 1080 1081 1082 1083
    if (replaced)
    {
        normalizeTreeImpl(ast, finished_asts, current_asts, current_alias, level + 1);
        current_asts.erase(initial_ast.get());
        current_asts.erase(ast.get());
        finished_asts[initial_ast] = ast;
        return;
    }

1084
    /// Recurring calls. Don't go into subqueries. Don't go into components of compound identifiers.
F
f1yegor 已提交
1085 1086
    /// We also do not go to the left argument of lambda expressions, so as not to replace the formal parameters
    ///  on aliases in expressions of the form 123 AS x, arrayMap(x -> 1, [2]).
1087 1088 1089

    if (func_node && func_node->name == "lambda")
    {
F
f1yegor 已提交
1090
        /// We skip the first argument. We also assume that the lambda function can not have parameters.
1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
        for (size_t i = 1, size = func_node->arguments->children.size(); i < size; ++i)
        {
            auto & child = func_node->arguments->children[i];

            if (typeid_cast<const ASTSelectQuery *>(child.get())
                || typeid_cast<const ASTTableExpression *>(child.get()))
                continue;

            normalizeTreeImpl(child, finished_asts, current_asts, current_alias, level + 1);
        }
    }
1102 1103 1104
    else if (identifier_node)
    {
    }
1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116
    else
    {
        for (auto & child : ast->children)
        {
            if (typeid_cast<const ASTSelectQuery *>(child.get())
                || typeid_cast<const ASTTableExpression *>(child.get()))
                continue;

            normalizeTreeImpl(child, finished_asts, current_asts, current_alias, level + 1);
        }
    }

F
f1yegor 已提交
1117
    /// If the WHERE clause or HAVING consists of a single alias, the reference must be replaced not only in children, but also in where_expression and having_expression.
1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130
    if (ASTSelectQuery * select = typeid_cast<ASTSelectQuery *>(ast.get()))
    {
        if (select->prewhere_expression)
            normalizeTreeImpl(select->prewhere_expression, finished_asts, current_asts, current_alias, level + 1);
        if (select->where_expression)
            normalizeTreeImpl(select->where_expression, finished_asts, current_asts, current_alias, level + 1);
        if (select->having_expression)
            normalizeTreeImpl(select->having_expression, finished_asts, current_asts, current_alias, level + 1);
    }

    current_asts.erase(initial_ast.get());
    current_asts.erase(ast.get());
    finished_asts[initial_ast] = ast;
1131 1132
}

1133

1134
void ExpressionAnalyzer::addAliasColumns()
1135
{
1136 1137
    if (!select_query)
        return;
1138

1139 1140
    if (!storage)
        return;
1141

1142 1143
    const auto & storage_aliases = storage->getColumns().aliases;
    source_columns.insert(std::end(source_columns), std::begin(storage_aliases), std::end(storage_aliases));
1144 1145 1146
}


1147 1148
void ExpressionAnalyzer::executeScalarSubqueries()
{
1149
    if (!select_query)
1150
        executeScalarSubqueriesImpl(query);
1151 1152
    else
    {
1153
        for (auto & child : query->children)
1154
        {
F
f1yegor 已提交
1155
            /// Do not go to FROM, JOIN, UNION.
1156
            if (!typeid_cast<const ASTTableExpression *>(child.get())
A
Alexey Milovidov 已提交
1157
                && !typeid_cast<const ASTSelectQuery *>(child.get()))
1158 1159 1160 1161 1162
            {
                executeScalarSubqueriesImpl(child);
            }
        }
    }
1163 1164
}

1165

1166
static ASTPtr addTypeConversion(std::unique_ptr<ASTLiteral> && ast, const String & type_name)
1167
{
A
Alexey Milovidov 已提交
1168
    auto func = std::make_shared<ASTFunction>();
1169 1170
    ASTPtr res = func;
    func->alias = ast->alias;
1171
    func->prefer_alias_to_column_name = ast->prefer_alias_to_column_name;
1172 1173
    ast->alias.clear();
    func->name = "CAST";
A
Alexey Milovidov 已提交
1174
    auto exp_list = std::make_shared<ASTExpressionList>();
1175 1176 1177
    func->arguments = exp_list;
    func->children.push_back(func->arguments);
    exp_list->children.emplace_back(ast.release());
A
Alexey Milovidov 已提交
1178
    exp_list->children.emplace_back(std::make_shared<ASTLiteral>(type_name));
1179
    return res;
1180 1181 1182
}


1183 1184
void ExpressionAnalyzer::executeScalarSubqueriesImpl(ASTPtr & ast)
{
F
f1yegor 已提交
1185 1186
    /** Replace subqueries that return exactly one row
      * ("scalar" subqueries) to the corresponding constants.
1187
      *
F
f1yegor 已提交
1188
      * If the subquery returns more than one column, it is replaced by a tuple of constants.
1189
      *
F
f1yegor 已提交
1190
      * Features
1191
      *
F
f1yegor 已提交
1192 1193 1194
      * A replacement occurs during query analysis, and not during the main runtime.
      * This means that the progress indicator will not work during the execution of these requests,
      *  and also such queries can not be aborted.
1195
      *
F
f1yegor 已提交
1196
      * But the query result can be used for the index in the table.
1197
      *
F
f1yegor 已提交
1198 1199
      * Scalar subqueries are executed on the request-initializer server.
      * The request is sent to remote servers with already substituted constants.
1200 1201 1202 1203 1204 1205
      */

    if (ASTSubquery * subquery = typeid_cast<ASTSubquery *>(ast.get()))
    {
        Context subquery_context = context;
        Settings subquery_settings = context.getSettings();
1206
        subquery_settings.max_result_rows = 1;
1207 1208 1209
        subquery_settings.extremes = 0;
        subquery_context.setSettings(subquery_settings);

1210 1211
        ASTPtr subquery_select = subquery->children.at(0);
        BlockIO res = InterpreterSelectWithUnionQuery(subquery_select, subquery_context, {}, QueryProcessingStage::Complete, subquery_depth + 1).execute();
1212 1213 1214 1215 1216 1217 1218 1219 1220

        Block block;
        try
        {
            block = res.in->read();

            if (!block)
            {
                /// Interpret subquery with empty result as Null literal
A
Alexey Milovidov 已提交
1221
                auto ast_new = std::make_unique<ASTLiteral>(Null());
1222 1223
                ast_new->setAlias(ast->tryGetAlias());
                ast = std::move(ast_new);
1224 1225 1226 1227 1228 1229 1230 1231
                return;
            }

            if (block.rows() != 1 || res.in->read())
                throw Exception("Scalar subquery returned more than one row", ErrorCodes::INCORRECT_RESULT_OF_SCALAR_SUBQUERY);
        }
        catch (const Exception & e)
        {
A
Alexey Milovidov 已提交
1232
            if (e.code() == ErrorCodes::TOO_MANY_ROWS)
1233 1234 1235 1236 1237 1238 1239 1240
                throw Exception("Scalar subquery returned more than one row", ErrorCodes::INCORRECT_RESULT_OF_SCALAR_SUBQUERY);
            else
                throw;
        }

        size_t columns = block.columns();
        if (columns == 1)
        {
A
Alexey Milovidov 已提交
1241
            auto lit = std::make_unique<ASTLiteral>((*block.safeGetByPosition(0).column)[0]);
1242
            lit->alias = subquery->alias;
1243
            lit->prefer_alias_to_column_name = subquery->prefer_alias_to_column_name;
1244 1245 1246 1247
            ast = addTypeConversion(std::move(lit), block.safeGetByPosition(0).type->getName());
        }
        else
        {
A
Alexey Milovidov 已提交
1248
            auto tuple = std::make_shared<ASTFunction>();
1249 1250 1251
            tuple->alias = subquery->alias;
            ast = tuple;
            tuple->name = "tuple";
A
Alexey Milovidov 已提交
1252
            auto exp_list = std::make_shared<ASTExpressionList>();
1253 1254 1255 1256 1257 1258 1259
            tuple->arguments = exp_list;
            tuple->children.push_back(tuple->arguments);

            exp_list->children.resize(columns);
            for (size_t i = 0; i < columns; ++i)
            {
                exp_list->children[i] = addTypeConversion(
A
Alexey Milovidov 已提交
1260
                    std::make_unique<ASTLiteral>((*block.safeGetByPosition(i).column)[0]),
1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275
                    block.safeGetByPosition(i).type->getName());
            }
        }
    }
    else
    {
        /** Don't descend into subqueries in FROM section.
          */
        if (!typeid_cast<ASTTableExpression *>(ast.get()))
        {
            /** Don't descend into subqueries in arguments of IN operator.
              * But if an argument is not subquery, than deeper may be scalar subqueries and we need to descend in them.
              */
            ASTFunction * func = typeid_cast<ASTFunction *>(ast.get());

1276
            if (func && functionIsInOrGlobalInOperator(func->name))
1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292
            {
                for (auto & child : ast->children)
                {
                    if (child != func->arguments)
                        executeScalarSubqueriesImpl(child);
                    else
                        for (size_t i = 0, size = func->arguments->children.size(); i < size; ++i)
                            if (i != 1 || !typeid_cast<ASTSubquery *>(func->arguments->children[i].get()))
                                executeScalarSubqueriesImpl(func->arguments->children[i]);
                }
            }
            else
                for (auto & child : ast->children)
                    executeScalarSubqueriesImpl(child);
        }
    }
1293 1294 1295
}


1296
void ExpressionAnalyzer::optimizeGroupBy()
1297
{
1298 1299 1300
    if (!(select_query && select_query->group_expression_list))
        return;

A
Alexey Milovidov 已提交
1301 1302 1303
    const auto is_literal = [] (const ASTPtr & ast)
    {
        return typeid_cast<const ASTLiteral *>(ast.get());
1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378
    };

    auto & group_exprs = select_query->group_expression_list->children;

    /// removes expression at index idx by making it last one and calling .pop_back()
    const auto remove_expr_at_index = [&group_exprs] (const size_t idx)
    {
        if (idx < group_exprs.size() - 1)
            std::swap(group_exprs[idx], group_exprs.back());

        group_exprs.pop_back();
    };

    /// iterate over each GROUP BY expression, eliminate injective function calls and literals
    for (size_t i = 0; i < group_exprs.size();)
    {
        if (const auto function = typeid_cast<ASTFunction *>(group_exprs[i].get()))
        {
            /// assert function is injective
            if (possibly_injective_function_names.count(function->name))
            {
                /// do not handle semantic errors here
                if (function->arguments->children.size() < 2)
                {
                    ++i;
                    continue;
                }

                const auto & dict_name = typeid_cast<const ASTLiteral &>(*function->arguments->children[0])
                    .value.safeGet<String>();

                const auto & dict_ptr = context.getExternalDictionaries().getDictionary(dict_name);

                const auto & attr_name = typeid_cast<const ASTLiteral &>(*function->arguments->children[1])
                    .value.safeGet<String>();

                if (!dict_ptr->isInjective(attr_name))
                {
                    ++i;
                    continue;
                }
            }
            else if (!injective_function_names.count(function->name))
            {
                ++i;
                continue;
            }

            /// copy shared pointer to args in order to ensure lifetime
            auto args_ast = function->arguments;

            /** remove function call and take a step back to ensure
              * next iteration does not skip not yet processed data
              */
            remove_expr_at_index(i);

            /// copy non-literal arguments
            std::remove_copy_if(
                std::begin(args_ast->children), std::end(args_ast->children),
                std::back_inserter(group_exprs), is_literal
            );
        }
        else if (is_literal(group_exprs[i]))
        {
            remove_expr_at_index(i);
        }
        else
        {
            /// if neither a function nor literal - advance to next expression
            ++i;
        }
    }

    if (group_exprs.empty())
    {
F
f1yegor 已提交
1379 1380 1381
        /** You can not completely remove GROUP BY. Because if there were no aggregate functions, then it turns out that there will be no aggregation.
          * Instead, leave `GROUP BY const`.
          * Next, see deleting the constants in the analyzeAggregation method.
1382 1383
          */

F
f1yegor 已提交
1384
        /// You must insert a constant that is not the name of the column in the table. Such a case is rare, but it happens.
1385 1386 1387
        UInt64 unused_column = 0;
        String unused_column_name = toString(unused_column);

1388
        while (source_columns.end() != std::find_if(source_columns.begin(), source_columns.end(),
1389
            [&unused_column_name](const NameAndTypePair & name_type) { return name_type.name == unused_column_name; }))
1390 1391 1392 1393 1394 1395
        {
            ++unused_column;
            unused_column_name = toString(unused_column);
        }

        select_query->group_expression_list = std::make_shared<ASTExpressionList>();
A
Alexey Milovidov 已提交
1396
        select_query->group_expression_list->children.emplace_back(std::make_shared<ASTLiteral>(UInt64(unused_column)));
1397
    }
1398 1399 1400
}


1401 1402
void ExpressionAnalyzer::optimizeOrderBy()
{
1403 1404
    if (!(select_query && select_query->order_expression_list))
        return;
1405

F
f1yegor 已提交
1406
    /// Make unique sorting conditions.
1407 1408
    using NameAndLocale = std::pair<String, String>;
    std::set<NameAndLocale> elems_set;
1409

1410 1411 1412
    ASTs & elems = select_query->order_expression_list->children;
    ASTs unique_elems;
    unique_elems.reserve(elems.size());
1413

1414 1415 1416 1417
    for (const auto & elem : elems)
    {
        String name = elem->children.front()->getColumnName();
        const ASTOrderByElement & order_by_elem = typeid_cast<const ASTOrderByElement &>(*elem);
1418

1419 1420 1421
        if (elems_set.emplace(name, order_by_elem.collation ? order_by_elem.collation->getColumnName() : "").second)
            unique_elems.emplace_back(elem);
    }
1422

1423 1424
    if (unique_elems.size() < elems.size())
        elems = unique_elems;
1425 1426 1427
}


1428 1429
void ExpressionAnalyzer::optimizeLimitBy()
{
1430 1431
    if (!(select_query && select_query->limit_by_expression_list))
        return;
1432

1433
    std::set<String> elems_set;
1434

1435 1436 1437
    ASTs & elems = select_query->limit_by_expression_list->children;
    ASTs unique_elems;
    unique_elems.reserve(elems.size());
1438

1439 1440 1441 1442 1443
    for (const auto & elem : elems)
    {
        if (elems_set.emplace(elem->getColumnName()).second)
            unique_elems.emplace_back(elem);
    }
1444

1445 1446
    if (unique_elems.size() < elems.size())
        elems = unique_elems;
1447 1448
}

1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480
void ExpressionAnalyzer::optimizeUsing()
{
    if (!select_query)
        return;

    auto node = const_cast<ASTTablesInSelectQueryElement *>(select_query->join());
    if (!node)
        return;

    auto table_join = static_cast<ASTTableJoin *>(&*node->table_join);
    if (!(table_join && table_join->using_expression_list))
        return;

    ASTs & expression_list = table_join->using_expression_list->children;
    ASTs uniq_expressions_list;

    std::set<String> expressions_names;

    for (const auto & expression : expression_list)
    {
        auto expression_name = expression->getAliasOrColumnName();
        if (expressions_names.find(expression_name) == expressions_names.end())
        {
            uniq_expressions_list.push_back(expression);
            expressions_names.insert(expression_name);
        }
    }

    if (uniq_expressions_list.size() < expression_list.size())
        expression_list = uniq_expressions_list;
}

1481

1482
void ExpressionAnalyzer::makeSetsForIndex()
P
Pavel Kartavyy 已提交
1483
{
1484 1485 1486 1487 1488 1489 1490
    if (storage && select_query && storage->supportsIndexForIn())
    {
        if (select_query->where_expression)
            makeSetsForIndexImpl(select_query->where_expression, storage->getSampleBlock());
        if (select_query->prewhere_expression)
            makeSetsForIndexImpl(select_query->prewhere_expression, storage->getSampleBlock());
    }
P
Pavel Kartavyy 已提交
1491 1492
}

1493

1494
void ExpressionAnalyzer::tryMakeSetForIndexFromSubquery(const ASTPtr & subquery_or_table_name)
1495 1496 1497
{
    BlockIO res = interpretSubquery(subquery_or_table_name, context, subquery_depth + 1, {})->execute();

A
Alexey Milovidov 已提交
1498
    SizeLimits set_for_index_size_limits = SizeLimits(settings.max_rows_in_set, settings.max_bytes_in_set, settings.set_overflow_mode);
1499
    SetPtr set = std::make_shared<Set>(set_for_index_size_limits, true);
1500

1501
    set->setHeader(res.in->getHeader());
1502 1503 1504
    while (Block block = res.in->read())
    {
        /// If the limits have been exceeded, give up and let the default subquery processing actions take place.
A
Alexey Milovidov 已提交
1505
        if (!set->insertFromBlock(block))
1506 1507 1508
            return;
    }

1509
    prepared_sets[subquery_or_table_name->range] = std::move(set);
1510 1511 1512
}


1513
void ExpressionAnalyzer::makeSetsForIndexImpl(const ASTPtr & node, const Block & sample_block)
P
Pavel Kartavyy 已提交
1514
{
1515
    for (auto & child : node->children)
1516
    {
1517
        /// Don't descent into subqueries.
1518 1519 1520 1521 1522 1523 1524 1525 1526
        if (typeid_cast<ASTSubquery *>(child.get()))
            continue;

        /// Don't dive into lambda functions
        const ASTFunction * func = typeid_cast<const ASTFunction *>(child.get());
        if (func && func->name == "lambda")
            continue;

        makeSetsForIndexImpl(child, sample_block);
1527
    }
1528

1529
    const ASTFunction * func = typeid_cast<const ASTFunction *>(node.get());
1530
    if (func && functionIsInOperator(func->name))
1531
    {
1532
        const IAST & args = *func->arguments;
1533

1534
        if (storage && storage->mayBenefitFromIndexForIn(args.children.at(0)))
1535
        {
1536 1537
            const ASTPtr & arg = args.children.at(1);

1538
            if (!prepared_sets.count(arg->range)) /// Not already prepared.
1539
            {
1540 1541 1542
                if (typeid_cast<ASTSubquery *>(arg.get()) || typeid_cast<ASTIdentifier *>(arg.get()))
                {
                    if (settings.use_index_for_in_with_subqueries)
1543
                        tryMakeSetForIndexFromSubquery(arg);
1544 1545 1546
                }
                else
                {
1547
                    NamesAndTypesList temp_columns = source_columns;
1548
                    temp_columns.insert(temp_columns.end(), array_join_columns.begin(), array_join_columns.end());
N
Nikolai Kochetov 已提交
1549 1550
                    for (const auto & joined_column : analyzed_join.columns_added_by_join)
                        temp_columns.push_back(joined_column.name_and_type);
1551
                    ExpressionActionsPtr temp_actions = std::make_shared<ExpressionActions>(temp_columns, context);
1552
                    getRootActions(func->arguments->children.at(0), true, false, temp_actions);
1553

1554 1555 1556 1557
                    Block sample_block_with_calculated_columns = temp_actions->getSampleBlock();
                    if (sample_block_with_calculated_columns.has(args.children.at(0)->getColumnName()))
                        makeExplicitSet(func, sample_block_with_calculated_columns, true);
                }
1558 1559 1560
            }
        }
    }
P
Pavel Kartavyy 已提交
1561
}
1562

1563

1564
void ExpressionAnalyzer::makeSet(const ASTFunction * node, const Block & sample_block)
1565
{
F
f1yegor 已提交
1566 1567 1568
    /** You need to convert the right argument to a set.
      * This can be a table name, a value, a value enumeration, or a subquery.
      * The enumeration of values is parsed as a function `tuple`.
1569
      */
1570 1571
    const IAST & args = *node->arguments;
    const ASTPtr & arg = args.children.at(1);
1572

F
f1yegor 已提交
1573
    /// Already converted.
1574
    if (prepared_sets.count(arg->range))
1575 1576
        return;

F
f1yegor 已提交
1577
    /// If the subquery or table name for SELECT.
1578 1579
    const ASTIdentifier * identifier = typeid_cast<const ASTIdentifier *>(arg.get());
    if (typeid_cast<const ASTSubquery *>(arg.get()) || identifier)
1580
    {
F
f1yegor 已提交
1581
        /// We get the stream of blocks for the subquery. Create Set and put it in place of the subquery.
1582 1583
        String set_id = arg->getColumnName();

1584 1585
        /// A special case is if the name of the table is specified on the right side of the IN statement,
        ///  and the table has the type Set (a previously prepared set).
1586 1587
        if (identifier)
        {
1588 1589
            auto database_table = getDatabaseAndTableNameFromIdentifier(*identifier);
            StoragePtr table = context.tryGetTable(database_table.first, database_table.second);
1590 1591 1592

            if (table)
            {
A
Alexey Milovidov 已提交
1593
                StorageSet * storage_set = dynamic_cast<StorageSet *>(table.get());
1594 1595 1596

                if (storage_set)
                {
1597
                    prepared_sets[arg->range] = storage_set->getSet();
1598 1599 1600 1601 1602 1603 1604
                    return;
                }
            }
        }

        SubqueryForSet & subquery_for_set = subqueries_for_sets[set_id];

F
f1yegor 已提交
1605
        /// If you already created a Set with the same subquery / table.
1606 1607
        if (subquery_for_set.set)
        {
1608
            prepared_sets[arg->range] = subquery_for_set.set;
1609 1610 1611
            return;
        }

A
Alexey Milovidov 已提交
1612
        SetPtr set = std::make_shared<Set>(SizeLimits(settings.max_rows_in_set, settings.max_bytes_in_set, settings.set_overflow_mode), false);
1613

F
f1yegor 已提交
1614 1615 1616 1617
        /** The following happens for GLOBAL INs:
          * - in the addExternalStorage function, the IN (SELECT ...) subquery is replaced with IN _data1,
          *   in the subquery_for_set object, this subquery is set as source and the temporary table _data1 as the table.
          * - this function shows the expression IN_data1.
1618
          */
1619
        if (!subquery_for_set.source && (!storage || !storage->isRemote()))
1620 1621 1622
        {
            auto interpreter = interpretSubquery(arg, context, subquery_depth, {});
            subquery_for_set.source = std::make_shared<LazyBlockInputStream>(
1623
                interpreter->getSampleBlock(), [interpreter]() mutable { return interpreter->execute().in; });
1624

F
f1yegor 已提交
1625
            /** Why is LazyBlockInputStream used?
1626
              *
A
Alexey Milovidov 已提交
1627
              * The fact is that when processing a query of the form
1628
              *  SELECT ... FROM remote_test WHERE column GLOBAL IN (subquery),
F
f1yegor 已提交
1629
              *  if the distributed remote_test table contains localhost as one of the servers,
A
Alexey Milovidov 已提交
1630
              *  the query will be interpreted locally again (and not sent over TCP, as in the case of a remote server).
1631
              *
F
f1yegor 已提交
1632
              * The query execution pipeline will be:
1633
              * CreatingSets
F
f1yegor 已提交
1634
              *  subquery execution, filling the temporary table with _data1 (1)
1635
              *  CreatingSets
F
f1yegor 已提交
1636 1637
              *   reading from the table _data1, creating the set (2)
              *   read from the table subordinate to remote_test.
1638
              *
A
Alexey Milovidov 已提交
1639
              * (The second part of the pipeline under CreateSets is a reinterpretation of the query inside StorageDistributed,
F
f1yegor 已提交
1640
              *  the query differs in that the database name and tables are replaced with subordinates, and the subquery is replaced with _data1.)
1641
              *
F
f1yegor 已提交
1642 1643 1644
              * But when creating the pipeline, when creating the source (2), it will be found that the _data1 table is empty
              *  (because the query has not started yet), and empty source will be returned as the source.
              * And then, when the query is executed, an empty set will be created in step (2).
1645
              *
F
f1yegor 已提交
1646 1647
              * Therefore, we make the initialization of step (2) lazy
              *  - so that it does not occur until step (1) is completed, on which the table will be populated.
1648
              *
F
f1yegor 已提交
1649
              * Note: this solution is not very good, you need to think better.
1650 1651 1652
              */
        }

1653
        subquery_for_set.set = set;
1654
        prepared_sets[arg->range] = set;
1655 1656 1657
    }
    else
    {
F
f1yegor 已提交
1658
        /// An explicit enumeration of values in parentheses.
1659 1660
        makeExplicitSet(node, sample_block, false);
    }
P
Pavel Kartavyy 已提交
1661 1662
}

F
f1yegor 已提交
1663
/// The case of an explicit enumeration of values.
1664
void ExpressionAnalyzer::makeExplicitSet(const ASTFunction * node, const Block & sample_block, bool create_ordered_set)
P
Pavel Kartavyy 已提交
1665
{
1666
    const IAST & args = *node->arguments;
1667 1668 1669 1670

    if (args.children.size() != 2)
        throw Exception("Wrong number of arguments passed to function in", ErrorCodes::NUMBER_OF_ARGUMENTS_DOESNT_MATCH);

1671
    const ASTPtr & left_arg = args.children.at(0);
1672
    const ASTPtr & right_arg = args.children.at(1);
1673

1674
    auto getTupleTypeFromAst = [this](const ASTPtr & tuple_ast) -> DataTypePtr
1675
    {
1676
        auto ast_function = typeid_cast<const ASTFunction *>(tuple_ast.get());
1677 1678 1679 1680 1681 1682 1683 1684
        if (ast_function && ast_function->name == "tuple" && !ast_function->arguments->children.empty())
        {
            /// Won't parse all values of outer tuple.
            auto element = ast_function->arguments->children.at(0);
            std::pair<Field, DataTypePtr> value_raw = evaluateConstantExpression(element, context);
            return std::make_shared<DataTypeTuple>(DataTypes({value_raw.second}));
        }

1685
        return evaluateConstantExpression(tuple_ast, context).second;
1686 1687
    };

1688
    const DataTypePtr & left_arg_type = sample_block.getByName(left_arg->getColumnName()).type;
1689
    const DataTypePtr & right_arg_type = getTupleTypeFromAst(right_arg);
1690

1691 1692
    std::function<size_t(const DataTypePtr &)> getTupleDepth;
    getTupleDepth = [&getTupleDepth](const DataTypePtr & type) -> size_t
1693
    {
1694 1695
        if (auto tuple_type = typeid_cast<const DataTypeTuple *>(type.get()))
            return 1 + (tuple_type->getElements().empty() ? 0 : getTupleDepth(tuple_type->getElements().at(0)));
1696

1697 1698
        return 0;
    };
1699

1700
    size_t left_tuple_depth = getTupleDepth(left_arg_type);
1701
    size_t right_tuple_depth = getTupleDepth(right_arg_type);
1702

1703 1704 1705
    DataTypes set_element_types = {left_arg_type};
    auto left_tuple_type = typeid_cast<const DataTypeTuple *>(left_arg_type.get());
    if (left_tuple_type && left_tuple_type->getElements().size() != 1)
1706
        set_element_types = left_tuple_type->getElements();
1707 1708

    ASTPtr elements_ast = nullptr;
1709

1710 1711
    /// 1 in 1; (1, 2) in (1, 2); identity(tuple(tuple(tuple(1)))) in tuple(tuple(tuple(1))); etc.
    if (left_tuple_depth == right_tuple_depth)
1712 1713
    {
        ASTPtr exp_list = std::make_shared<ASTExpressionList>();
1714
        exp_list->children.push_back(right_arg);
1715 1716
        elements_ast = exp_list;
    }
1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732
    /// 1 in (1, 2); (1, 2) in ((1, 2), (3, 4)); etc.
    else if (left_tuple_depth + 1 == right_tuple_depth)
    {
        ASTFunction * set_func = typeid_cast<ASTFunction *>(right_arg.get());

        if (!set_func || set_func->name != "tuple")
            throw Exception("Incorrect type of 2nd argument for function " + node->name
                            + ". Must be subquery or set of elements with type " + left_arg_type->getName() + ".",
                            ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT);

        elements_ast = set_func->arguments;
    }
    else
        throw Exception("Invalid types for IN function: "
                        + left_arg_type->getName() + " and " + right_arg_type->getName() + ".",
                        ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT);
1733

A
Alexey Milovidov 已提交
1734 1735
    SetPtr set = std::make_shared<Set>(SizeLimits(settings.max_rows_in_set, settings.max_bytes_in_set, settings.set_overflow_mode), create_ordered_set);
    set->createFromAST(set_element_types, elements_ast, context);
1736
    prepared_sets[right_arg->range] = std::move(set);
1737 1738 1739
}


1740
static String getUniqueName(const Block & block, const String & prefix)
1741
{
1742 1743 1744 1745
    int i = 1;
    while (block.has(prefix + toString(i)))
        ++i;
    return prefix + toString(i);
1746 1747
}

F
f1yegor 已提交
1748 1749 1750 1751 1752
/** For getActionsImpl.
  * A stack of ExpressionActions corresponding to nested lambda expressions.
  * The new action should be added to the highest possible level.
  * For example, in the expression "select arrayMap(x -> x + column1 * column2, array1)"
  *  calculation of the product must be done outside the lambda expression (it does not depend on x), and the calculation of the sum is inside (depends on x).
A
Alexey Milovidov 已提交
1753
  */
1754 1755
ScopeStack::ScopeStack(const ExpressionActionsPtr & actions, const Context & context_)
    : context(context_)
A
Alexey Milovidov 已提交
1756
{
T
Tsarkova Anastasia 已提交
1757 1758 1759 1760 1761 1762 1763
    stack.emplace_back();
    stack.back().actions = actions;

    const Block & sample_block = actions->getSampleBlock();
    for (size_t i = 0, size = sample_block.columns(); i < size; ++i)
        stack.back().new_columns.insert(sample_block.getByPosition(i).name);
}
1764

T
Tsarkova Anastasia 已提交
1765 1766 1767 1768
void ScopeStack::pushLevel(const NamesAndTypesList & input_columns)
{
    stack.emplace_back();
    Level & prev = stack[stack.size() - 2];
1769

T
Tsarkova Anastasia 已提交
1770 1771
    ColumnsWithTypeAndName all_columns;
    NameSet new_names;
1772

T
Tsarkova Anastasia 已提交
1773
    for (NamesAndTypesList::const_iterator it = input_columns.begin(); it != input_columns.end(); ++it)
1774
    {
T
Tsarkova Anastasia 已提交
1775 1776 1777
        all_columns.emplace_back(nullptr, it->type, it->name);
        new_names.insert(it->name);
        stack.back().new_columns.insert(it->name);
1778 1779
    }

T
Tsarkova Anastasia 已提交
1780 1781
    const Block & prev_sample_block = prev.actions->getSampleBlock();
    for (size_t i = 0, size = prev_sample_block.columns(); i < size; ++i)
1782
    {
T
Tsarkova Anastasia 已提交
1783 1784 1785
        const ColumnWithTypeAndName & col = prev_sample_block.getByPosition(i);
        if (!new_names.count(col.name))
            all_columns.push_back(col);
1786 1787
    }

1788
    stack.back().actions = std::make_shared<ExpressionActions>(all_columns, context);
T
Tsarkova Anastasia 已提交
1789
}
1790

T
Tsarkova Anastasia 已提交
1791 1792 1793 1794 1795
size_t ScopeStack::getColumnLevel(const std::string & name)
{
    for (int i = static_cast<int>(stack.size()) - 1; i >= 0; --i)
        if (stack[i].new_columns.count(name))
            return i;
1796

T
Tsarkova Anastasia 已提交
1797 1798
    throw Exception("Unknown identifier: " + name, ErrorCodes::UNKNOWN_IDENTIFIER);
}
1799

T
Tsarkova Anastasia 已提交
1800 1801 1802 1803 1804 1805
void ScopeStack::addAction(const ExpressionAction & action)
{
    size_t level = 0;
    Names required = action.getNeededColumns();
    for (size_t i = 0; i < required.size(); ++i)
        level = std::max(level, getColumnLevel(required[i]));
1806

T
Tsarkova Anastasia 已提交
1807 1808
    Names added;
    stack[level].actions->add(action, added);
1809

T
Tsarkova Anastasia 已提交
1810
    stack[level].new_columns.insert(added.begin(), added.end());
1811

T
Tsarkova Anastasia 已提交
1812
    for (size_t i = 0; i < added.size(); ++i)
1813
    {
T
Tsarkova Anastasia 已提交
1814 1815 1816
        const ColumnWithTypeAndName & col = stack[level].actions->getSampleBlock().getByName(added[i]);
        for (size_t j = level + 1; j < stack.size(); ++j)
            stack[j].actions->addInput(col);
1817
    }
T
Tsarkova Anastasia 已提交
1818
}
1819

T
Tsarkova Anastasia 已提交
1820 1821 1822 1823 1824 1825
ExpressionActionsPtr ScopeStack::popLevel()
{
    ExpressionActionsPtr res = stack.back().actions;
    stack.pop_back();
    return res;
}
A
Alexey Milovidov 已提交
1826

T
Tsarkova Anastasia 已提交
1827 1828 1829 1830
const Block & ScopeStack::getSampleBlock() const
{
    return stack.back().actions->getSampleBlock();
}
A
Alexey Milovidov 已提交
1831

1832
void ExpressionAnalyzer::getRootActions(const ASTPtr & ast, bool no_subqueries, bool only_consts, ExpressionActionsPtr & actions)
1833
{
1834
    ScopeStack scopes(actions, context);
1835

T
Tsarkova Anastasia 已提交
1836 1837 1838 1839 1840
    ProjectionManipulatorPtr projection_manipulator;
    if (!isThereArrayJoin(ast) && settings.enable_conditional_computation && !only_consts)
        projection_manipulator = std::make_shared<ConditionalTree>(scopes, context);
    else
        projection_manipulator = std::make_shared<DefaultProjectionManipulator>(scopes);
1841

T
Tsarkova Anastasia 已提交
1842
    getActionsImpl(ast, no_subqueries, only_consts, scopes, projection_manipulator);
1843

1844
    actions = scopes.popLevel();
1845 1846
}

1847 1848
void ExpressionAnalyzer::getArrayJoinedColumns()
{
1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866
    if (select_query && select_query->array_join_expression_list())
    {
        ASTs & array_join_asts = select_query->array_join_expression_list()->children;
        for (const auto & ast : array_join_asts)
        {
            const String nested_table_name = ast->getColumnName();
            const String nested_table_alias = ast->getAliasOrColumnName();

            if (nested_table_alias == nested_table_name && !typeid_cast<const ASTIdentifier *>(ast.get()))
                throw Exception("No alias for non-trivial value in ARRAY JOIN: " + nested_table_name, ErrorCodes::ALIAS_REQUIRED);

            if (array_join_alias_to_name.count(nested_table_alias) || aliases.count(nested_table_alias))
                throw Exception("Duplicate alias in ARRAY JOIN: " + nested_table_alias, ErrorCodes::MULTIPLE_EXPRESSIONS_FOR_ALIAS);

            array_join_alias_to_name[nested_table_alias] = nested_table_name;
            array_join_name_to_alias[nested_table_name] = nested_table_alias;
        }

1867
        getArrayJoinedColumnsImpl(query);
1868

F
f1yegor 已提交
1869 1870
        /// If the result of ARRAY JOIN is not used, it is necessary to ARRAY-JOIN any column,
        /// to get the correct number of rows.
1871 1872 1873 1874 1875 1876
        if (array_join_result_to_source.empty())
        {
            ASTPtr expr = select_query->array_join_expression_list()->children.at(0);
            String source_name = expr->getColumnName();
            String result_name = expr->getAliasOrColumnName();

F
f1yegor 已提交
1877
            /// This is an array.
1878
            if (!typeid_cast<ASTIdentifier *>(expr.get()) || findColumn(source_name, source_columns) != source_columns.end())
1879 1880 1881
            {
                array_join_result_to_source[result_name] = source_name;
            }
F
f1yegor 已提交
1882
            else /// This is a nested table.
1883 1884
            {
                bool found = false;
1885
                for (const auto & column_name_type : source_columns)
1886
                {
1887 1888
                    auto splitted = Nested::splitName(column_name_type.name);
                    if (splitted.first == source_name && !splitted.second.empty())
1889
                    {
1890
                        array_join_result_to_source[Nested::concatenateName(result_name, splitted.second)] = column_name_type.name;
1891 1892 1893 1894 1895 1896 1897 1898 1899
                        found = true;
                        break;
                    }
                }
                if (!found)
                    throw Exception("No columns in nested table " + source_name, ErrorCodes::EMPTY_NESTED_TABLE);
            }
        }
    }
1900 1901 1902
}


F
f1yegor 已提交
1903
/// Fills the array_join_result_to_source: on which columns-arrays to replicate, and how to call them after that.
1904
void ExpressionAnalyzer::getArrayJoinedColumnsImpl(const ASTPtr & ast)
1905
{
1906 1907 1908 1909 1910 1911 1912
    if (typeid_cast<ASTTablesInSelectQuery *>(ast.get()))
        return;

    if (ASTIdentifier * node = typeid_cast<ASTIdentifier *>(ast.get()))
    {
        if (node->kind == ASTIdentifier::Column)
        {
1913
            auto splitted = Nested::splitName(node->name);  /// ParsedParams, Key1
1914 1915 1916

            if (array_join_alias_to_name.count(node->name))
            {
F
f1yegor 已提交
1917
                /// ARRAY JOIN was written with an array column. Example: SELECT K1 FROM ... ARRAY JOIN ParsedParams.Key1 AS K1
1918 1919
                array_join_result_to_source[node->name] = array_join_alias_to_name[node->name];    /// K1 -> ParsedParams.Key1
            }
1920
            else if (array_join_alias_to_name.count(splitted.first) && !splitted.second.empty())
1921
            {
F
f1yegor 已提交
1922
                /// ARRAY JOIN was written with a nested table. Example: SELECT PP.KEY1 FROM ... ARRAY JOIN ParsedParams AS PP
1923
                array_join_result_to_source[node->name]    /// PP.Key1 -> ParsedParams.Key1
1924
                    = Nested::concatenateName(array_join_alias_to_name[splitted.first], splitted.second);
1925
            }
1926
            else if (array_join_name_to_alias.count(node->name))
1927
            {
1928
                /** Example: SELECT ParsedParams.Key1 FROM ... ARRAY JOIN ParsedParams.Key1 AS PP.Key1.
F
f1yegor 已提交
1929
                  * That is, the query uses the original array, replicated by itself.
1930 1931
                  */
                array_join_result_to_source[    /// PP.Key1 -> ParsedParams.Key1
1932 1933
                    array_join_name_to_alias[node->name]] = node->name;
            }
1934
            else if (array_join_name_to_alias.count(splitted.first) && !splitted.second.empty())
1935 1936 1937 1938
            {
                /** Example: SELECT ParsedParams.Key1 FROM ... ARRAY JOIN ParsedParams AS PP.
                 */
                array_join_result_to_source[    /// PP.Key1 -> ParsedParams.Key1
1939
                Nested::concatenateName(array_join_name_to_alias[splitted.first], splitted.second)] = node->name;
1940 1941 1942 1943 1944 1945 1946 1947 1948 1949
            }
        }
    }
    else
    {
        for (auto & child : ast->children)
            if (!typeid_cast<const ASTSubquery *>(child.get())
                && !typeid_cast<const ASTSelectQuery *>(child.get()))
                getArrayJoinedColumnsImpl(child);
    }
1950 1951
}

T
Tsarkova Anastasia 已提交
1952 1953
bool ExpressionAnalyzer::isThereArrayJoin(const ASTPtr & ast)
{
T
Tsarkova Anastasia 已提交
1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977
    if (typeid_cast<ASTIdentifier *>(ast.get()))
    {
        return false;
    }
    else if (ASTFunction * node = typeid_cast<ASTFunction *>(ast.get()))
    {
        if (node->name == "arrayJoin")
        {
            return true;
        }
        if (functionIsInOrGlobalInOperator(node->name))
        {
            return isThereArrayJoin(node->arguments->children.at(0));
        }
        if (node->name == "indexHint")
        {
            return false;
        }
        if (AggregateFunctionFactory::instance().isAggregateFunctionName(node->name))
        {
            return false;
        }
        for (auto & child : node->arguments->children)
        {
T
Tsarkova Anastasia 已提交
1978 1979
            if (isThereArrayJoin(child))
            {
T
Tsarkova Anastasia 已提交
1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992
                return true;
            }
        }
        return false;
    }
    else if (typeid_cast<ASTLiteral *>(ast.get()))
    {
        return false;
    }
    else
    {
        for (auto & child : ast->children)
        {
T
Tsarkova Anastasia 已提交
1993 1994
            if (isThereArrayJoin(child))
            {
T
Tsarkova Anastasia 已提交
1995 1996 1997 1998 1999 2000
                return true;
            }
        }
        return false;
    }
}
2001

2002 2003 2004
void ExpressionAnalyzer::getActionsFromJoinKeys(const ASTTableJoin & table_join, bool no_subqueries, bool only_consts,
                                                ExpressionActionsPtr & actions)
{
2005
    ScopeStack scopes(actions, context);
2006 2007

    ProjectionManipulatorPtr projection_manipulator;
2008
    if (!isThereArrayJoin(query) && settings.enable_conditional_computation && !only_consts)
2009 2010 2011 2012 2013 2014 2015 2016
        projection_manipulator = std::make_shared<ConditionalTree>(scopes, context);
    else
        projection_manipulator = std::make_shared<DefaultProjectionManipulator>(scopes);

    if (table_join.using_expression_list)
        getActionsImpl(table_join.using_expression_list, no_subqueries, only_consts, scopes, projection_manipulator);
    else if (table_join.on_expression)
    {
2017
        for (const auto & ast : analyzed_join.key_asts_left)
2018
            getActionsImpl(ast, no_subqueries, only_consts, scopes, projection_manipulator);
2019 2020 2021 2022 2023
    }

    actions = scopes.popLevel();
}

T
Tsarkova Anastasia 已提交
2024 2025
void ExpressionAnalyzer::getActionsImpl(const ASTPtr & ast, bool no_subqueries, bool only_consts, ScopeStack & actions_stack,
                                        ProjectionManipulatorPtr projection_manipulator)
2026
{
2027 2028 2029 2030 2031 2032 2033 2034 2035
    String ast_column_name;
    auto getColumnName = [&ast, &ast_column_name]()
    {
        if (ast_column_name.empty())
            ast_column_name = ast->getColumnName();

        return ast_column_name;
    };

F
f1yegor 已提交
2036
    /// If the result of the calculation already exists in the block.
2037
    if ((typeid_cast<ASTFunction *>(ast.get()) || typeid_cast<ASTLiteral *>(ast.get()))
2038
        && projection_manipulator->tryToGetFromUpperProjection(getColumnName()))
2039 2040
        return;

2041
    if (typeid_cast<ASTIdentifier *>(ast.get()))
2042
    {
2043
        if (!only_consts && !projection_manipulator->tryToGetFromUpperProjection(getColumnName()))
2044
        {
F
f1yegor 已提交
2045 2046
            /// The requested column is not in the block.
            /// If such a column exists in the table, then the user probably forgot to surround it with an aggregate function or add it to GROUP BY.
2047 2048

            bool found = false;
2049
            for (const auto & column_name_type : source_columns)
2050
                if (column_name_type.name == getColumnName())
2051 2052 2053
                    found = true;

            if (found)
2054
                throw Exception("Column " + getColumnName() + " is not under aggregate function and not in GROUP BY.",
2055 2056 2057 2058 2059
                    ErrorCodes::NOT_AN_AGGREGATE);
        }
    }
    else if (ASTFunction * node = typeid_cast<ASTFunction *>(ast.get()))
    {
2060
        if (node->name == "lambda")
2061 2062
            throw Exception("Unexpected lambda expression", ErrorCodes::UNEXPECTED_EXPRESSION);

F
f1yegor 已提交
2063
        /// Function arrayJoin.
2064
        if (node->name == "arrayJoin")
2065 2066 2067 2068 2069
        {
            if (node->arguments->children.size() != 1)
                throw Exception("arrayJoin requires exactly 1 argument", ErrorCodes::TYPE_MISMATCH);

            ASTPtr arg = node->arguments->children.at(0);
T
Tsarkova Anastasia 已提交
2070
            getActionsImpl(arg, no_subqueries, only_consts, actions_stack, projection_manipulator);
2071 2072
            if (!only_consts)
            {
2073
                String result_name = projection_manipulator->getColumnName(getColumnName());
T
Tsarkova Anastasia 已提交
2074
                actions_stack.addAction(ExpressionAction::copyColumn(projection_manipulator->getColumnName(arg->getColumnName()), result_name));
2075 2076 2077 2078 2079 2080 2081 2082
                NameSet joined_columns;
                joined_columns.insert(result_name);
                actions_stack.addAction(ExpressionAction::arrayJoin(joined_columns, false, context));
            }

            return;
        }

2083
        if (functionIsInOrGlobalInOperator(node->name))
2084
        {
2085
            if (!no_subqueries)
2086
            {
2087
                /// Let's find the type of the first argument (then getActionsImpl will be called again and will not affect anything).
T
Tsarkova Anastasia 已提交
2088 2089
                getActionsImpl(node->arguments->children.at(0), no_subqueries, only_consts, actions_stack,
                               projection_manipulator);
2090

2091 2092
                /// Transform tuple or subquery into a set.
                makeSet(node, actions_stack.getSampleBlock());
2093
            }
2094
            else
2095
            {
2096 2097 2098 2099 2100
                if (!only_consts)
                {
                    /// We are in the part of the tree that we are not going to compute. You just need to define types.
                    /// Do not subquery and create sets. We insert an arbitrary column of the correct type.
                    ColumnWithTypeAndName fake_column;
2101
                    fake_column.name = projection_manipulator->getColumnName(getColumnName());
2102
                    fake_column.type = std::make_shared<DataTypeUInt8>();
2103
                    fake_column.column = fake_column.type->createColumn();
2104
                    actions_stack.addAction(ExpressionAction::addColumn(fake_column, projection_manipulator->getProjectionSourceColumn(), false));
T
Tsarkova Anastasia 已提交
2105 2106
                    getActionsImpl(node->arguments->children.at(0), no_subqueries, only_consts, actions_stack,
                                   projection_manipulator);
2107
                }
2108 2109
                return;
            }
2110
        }
2111

2112
        /// A special function `indexHint`. Everything that is inside it is not calculated
2113
        /// (and is used only for index analysis, see KeyCondition).
2114 2115 2116
        if (node->name == "indexHint")
        {
            actions_stack.addAction(ExpressionAction::addColumn(ColumnWithTypeAndName(
T
Tsarkova Anastasia 已提交
2117
                ColumnConst::create(ColumnUInt8::create(1, 1), 1), std::make_shared<DataTypeUInt8>(),
2118
                    projection_manipulator->getColumnName(getColumnName())), projection_manipulator->getProjectionSourceColumn(), false));
2119 2120 2121 2122 2123
            return;
        }

        if (AggregateFunctionFactory::instance().isAggregateFunctionName(node->name))
            return;
2124

2125 2126 2127 2128 2129 2130 2131
        /// Context object that we pass to function should live during query.
        const Context & function_context = context.hasQueryContext()
            ? context.getQueryContext()
            : context;

        const FunctionBuilderPtr & function_builder = FunctionFactory::instance().get(node->name, function_context);
        auto projection_action = getProjectionAction(node->name, actions_stack, projection_manipulator, getColumnName(), function_context);
2132

2133 2134 2135
        Names argument_names;
        DataTypes argument_types;
        bool arguments_present = true;
2136

2137 2138 2139
        /// If the function has an argument-lambda expression, you need to determine its type before the recursive call.
        bool has_lambda_arguments = false;

2140
        for (size_t arg = 0; arg < node->arguments->children.size(); ++arg)
2141
        {
2142
            auto & child = node->arguments->children[arg];
2143
            auto child_column_name = child->getColumnName();
2144

2145 2146
            ASTFunction * lambda = typeid_cast<ASTFunction *>(child.get());
            if (lambda && lambda->name == "lambda")
2147
            {
2148 2149 2150
                /// If the argument is a lambda expression, just remember its approximate type.
                if (lambda->arguments->children.size() != 2)
                    throw Exception("lambda requires two arguments", ErrorCodes::NUMBER_OF_ARGUMENTS_DOESNT_MATCH);
2151

2152
                ASTFunction * lambda_args_tuple = typeid_cast<ASTFunction *>(lambda->arguments->children.at(0).get());
2153

2154 2155
                if (!lambda_args_tuple || lambda_args_tuple->name != "tuple")
                    throw Exception("First argument of lambda must be a tuple", ErrorCodes::TYPE_MISMATCH);
2156

2157 2158 2159 2160 2161
                has_lambda_arguments = true;
                argument_types.emplace_back(std::make_shared<DataTypeFunction>(DataTypes(lambda_args_tuple->arguments->children.size())));
                /// Select the name in the next cycle.
                argument_names.emplace_back();
            }
2162
            else if (prepared_sets.count(child->range) && functionIsInOrGlobalInOperator(node->name) && arg == 1)
2163 2164 2165
            {
                ColumnWithTypeAndName column;
                column.type = std::make_shared<DataTypeSet>();
2166

2167
                const SetPtr & set = prepared_sets[child->range];
2168

2169
                /// If the argument is a set given by an enumeration of values (so, the set was already built), give it a unique name,
2170
                ///  so that sets with the same literal representation do not fuse together (they can have different types).
2171 2172 2173
                if (!set->empty())
                    column.name = getUniqueName(actions_stack.getSampleBlock(), "__set");
                else
2174
                    column.name = child_column_name;
2175

T
Tsarkova Anastasia 已提交
2176 2177
                column.name = projection_manipulator->getColumnName(column.name);

2178 2179 2180
                if (!actions_stack.getSampleBlock().has(column.name))
                {
                    column.column = ColumnSet::create(1, set);
2181

2182
                    actions_stack.addAction(ExpressionAction::addColumn(column, projection_manipulator->getProjectionSourceColumn(), false));
2183
                }
2184

2185 2186 2187 2188 2189 2190
                argument_types.push_back(column.type);
                argument_names.push_back(column.name);
            }
            else
            {
                /// If the argument is not a lambda expression, call it recursively and find out its type.
T
Tsarkova Anastasia 已提交
2191 2192 2193
                projection_action->preArgumentAction();
                getActionsImpl(child, no_subqueries, only_consts, actions_stack,
                               projection_manipulator);
2194 2195
                std::string name = projection_manipulator->getColumnName(child_column_name);
                projection_action->postArgumentAction(child_column_name);
2196 2197 2198 2199
                if (actions_stack.getSampleBlock().has(name))
                {
                    argument_types.push_back(actions_stack.getSampleBlock().getByName(name).type);
                    argument_names.push_back(name);
2200 2201 2202
                }
                else
                {
2203
                    if (only_consts)
2204
                    {
2205
                        arguments_present = false;
2206 2207 2208
                    }
                    else
                    {
T
Tsarkova Anastasia 已提交
2209
                        throw Exception("Unknown identifier: " + name + ", projection layer " + projection_manipulator->getProjectionExpression() , ErrorCodes::UNKNOWN_IDENTIFIER);
2210 2211 2212
                    }
                }
            }
2213
        }
2214

2215 2216
        if (only_consts && !arguments_present)
            return;
2217

2218 2219 2220 2221 2222 2223
        if (has_lambda_arguments && !only_consts)
        {
            function_builder->getLambdaArgumentTypes(argument_types);

            /// Call recursively for lambda expressions.
            for (size_t i = 0; i < node->arguments->children.size(); ++i)
2224
            {
2225
                ASTPtr child = node->arguments->children[i];
2226

2227 2228
                ASTFunction * lambda = typeid_cast<ASTFunction *>(child.get());
                if (lambda && lambda->name == "lambda")
2229
                {
2230 2231 2232 2233
                    const DataTypeFunction * lambda_type = typeid_cast<const DataTypeFunction *>(argument_types[i].get());
                    ASTFunction * lambda_args_tuple = typeid_cast<ASTFunction *>(lambda->arguments->children.at(0).get());
                    ASTs lambda_arg_asts = lambda_args_tuple->arguments->children;
                    NamesAndTypesList lambda_arguments;
2234

2235
                    for (size_t j = 0; j < lambda_arg_asts.size(); ++j)
2236
                    {
2237 2238 2239
                        ASTIdentifier * identifier = typeid_cast<ASTIdentifier *>(lambda_arg_asts[j].get());
                        if (!identifier)
                            throw Exception("lambda argument declarations must be identifiers", ErrorCodes::TYPE_MISMATCH);
2240

2241
                        String arg_name = identifier->name;
2242

2243 2244
                        lambda_arguments.emplace_back(arg_name, lambda_type->getArgumentTypes()[j]);
                    }
2245

T
Tsarkova Anastasia 已提交
2246
                    projection_action->preArgumentAction();
2247
                    actions_stack.pushLevel(lambda_arguments);
T
Tsarkova Anastasia 已提交
2248 2249
                    getActionsImpl(lambda->arguments->children.at(1), no_subqueries, only_consts, actions_stack,
                                   projection_manipulator);
2250
                    ExpressionActionsPtr lambda_actions = actions_stack.popLevel();
2251

T
Tsarkova Anastasia 已提交
2252
                    String result_name = projection_manipulator->getColumnName(lambda->arguments->children.at(1)->getColumnName());
2253 2254
                    lambda_actions->finalize(Names(1, result_name));
                    DataTypePtr result_type = lambda_actions->getSampleBlock().getByName(result_name).type;
2255

2256 2257
                    Names captured;
                    Names required = lambda_actions->getRequiredColumns();
2258 2259 2260
                    for (const auto & required_arg : required)
                        if (findColumn(required_arg, lambda_arguments) == lambda_arguments.end())
                            captured.push_back(required_arg);
2261

2262 2263 2264
                    /// We can not name `getColumnName()`,
                    ///  because it does not uniquely define the expression (the types of arguments can be different).
                    String lambda_name = getUniqueName(actions_stack.getSampleBlock(), "__lambda");
2265

2266 2267
                    auto function_capture = std::make_shared<FunctionCapture>(
                            lambda_actions, captured, lambda_arguments, result_type, result_name);
T
Tsarkova Anastasia 已提交
2268
                    actions_stack.addAction(ExpressionAction::applyFunction(function_capture, captured, lambda_name,
2269
                                            projection_manipulator->getProjectionSourceColumn()));
2270

2271 2272
                    argument_types[i] = std::make_shared<DataTypeFunction>(lambda_type->getArgumentTypes(), result_type);
                    argument_names[i] = lambda_name;
T
Tsarkova Anastasia 已提交
2273
                    projection_action->postArgumentAction(lambda_name);
2274 2275
                }
            }
2276
        }
2277

2278 2279
        if (only_consts)
        {
2280
            for (const auto & argument_name : argument_names)
2281
            {
2282
                if (!actions_stack.getSampleBlock().has(argument_name))
2283
                {
2284 2285
                    arguments_present = false;
                    break;
2286 2287 2288
                }
            }
        }
2289 2290

        if (arguments_present)
T
Tsarkova Anastasia 已提交
2291 2292 2293 2294 2295 2296 2297
        {
            projection_action->preCalculation();
            if (projection_action->isCalculationRequired())
            {
                actions_stack.addAction(
                    ExpressionAction::applyFunction(function_builder,
                                                    argument_names,
2298
                                                    projection_manipulator->getColumnName(getColumnName()),
2299
                                                    projection_manipulator->getProjectionSourceColumn()));
T
Tsarkova Anastasia 已提交
2300 2301
            }
        }
2302
    }
2303
    else if (ASTLiteral * literal = typeid_cast<ASTLiteral *>(ast.get()))
2304
    {
2305
        DataTypePtr type = applyVisitor(FieldToDataType(), literal->value);
2306 2307

        ColumnWithTypeAndName column;
2308
        column.column = type->createColumnConst(1, convertFieldToType(literal->value, *type));
2309
        column.type = type;
2310
        column.name = getColumnName();
2311

2312
        actions_stack.addAction(ExpressionAction::addColumn(column, "", false));
2313
        projection_manipulator->tryToGetFromUpperProjection(column.name);
2314 2315 2316 2317
    }
    else
    {
        for (auto & child : ast->children)
A
Alexey Milovidov 已提交
2318 2319 2320 2321
        {
            /// Do not go to FROM, JOIN, UNION.
            if (!typeid_cast<const ASTTableExpression *>(child.get())
                && !typeid_cast<const ASTSelectQuery *>(child.get()))
T
Tsarkova Anastasia 已提交
2322
                getActionsImpl(child, no_subqueries, only_consts, actions_stack, projection_manipulator);
A
Alexey Milovidov 已提交
2323
        }
2324
    }
2325 2326 2327
}


2328
void ExpressionAnalyzer::getAggregates(const ASTPtr & ast, ExpressionActionsPtr & actions)
2329
{
F
f1yegor 已提交
2330
    /// There can not be aggregate functions inside the WHERE and PREWHERE.
2331 2332 2333 2334 2335 2336
    if (select_query && (ast.get() == select_query->where_expression.get() || ast.get() == select_query->prewhere_expression.get()))
    {
        assertNoAggregates(ast, "in WHERE or PREWHERE");
        return;
    }

F
f1yegor 已提交
2337
    /// If we are not analyzing a SELECT query, but a separate expression, then there can not be aggregate functions in it.
2338 2339 2340 2341 2342 2343 2344
    if (!select_query)
    {
        assertNoAggregates(ast, "in wrong place");
        return;
    }

    const ASTFunction * node = typeid_cast<const ASTFunction *>(ast.get());
2345
    if (node && AggregateFunctionFactory::instance().isAggregateFunctionName(node->name))
2346 2347 2348 2349 2350
    {
        has_aggregation = true;
        AggregateDescription aggregate;
        aggregate.column_name = node->getColumnName();

F
f1yegor 已提交
2351
        /// Make unique aggregate functions.
2352 2353 2354 2355 2356 2357 2358 2359 2360 2361
        for (size_t i = 0; i < aggregate_descriptions.size(); ++i)
            if (aggregate_descriptions[i].column_name == aggregate.column_name)
                return;

        const ASTs & arguments = node->arguments->children;
        aggregate.argument_names.resize(arguments.size());
        DataTypes types(arguments.size());

        for (size_t i = 0; i < arguments.size(); ++i)
        {
F
f1yegor 已提交
2362
            /// There can not be other aggregate functions within the aggregate functions.
2363 2364 2365 2366 2367 2368 2369 2370
            assertNoAggregates(arguments[i], "inside another aggregate function");

            getRootActions(arguments[i], true, false, actions);
            const std::string & name = arguments[i]->getColumnName();
            types[i] = actions->getSampleBlock().getByName(name).type;
            aggregate.argument_names[i] = name;
        }

2371 2372
        aggregate.parameters = (node->parameters) ? getAggregateFunctionParametersArray(node->parameters) : Array();
        aggregate.function = AggregateFunctionFactory::instance().get(node->name, types, aggregate.parameters);
2373 2374 2375 2376 2377 2378 2379 2380 2381 2382

        aggregate_descriptions.push_back(aggregate);
    }
    else
    {
        for (const auto & child : ast->children)
            if (!typeid_cast<const ASTSubquery *>(child.get())
                && !typeid_cast<const ASTSelectQuery *>(child.get()))
                getAggregates(child, actions);
    }
2383 2384
}

2385 2386 2387

void ExpressionAnalyzer::assertNoAggregates(const ASTPtr & ast, const char * description)
{
2388
    const ASTFunction * node = typeid_cast<const ASTFunction *>(ast.get());
2389

2390
    if (node && AggregateFunctionFactory::instance().isAggregateFunctionName(node->name))
2391 2392
        throw Exception("Aggregate function " + node->getColumnName()
            + " is found " + String(description) + " in query", ErrorCodes::ILLEGAL_AGGREGATION);
2393

2394 2395 2396 2397
    for (const auto & child : ast->children)
        if (!typeid_cast<const ASTSubquery *>(child.get())
            && !typeid_cast<const ASTSelectQuery *>(child.get()))
            assertNoAggregates(child, description);
2398 2399 2400
}


2401
void ExpressionAnalyzer::assertSelect() const
2402
{
2403 2404
    if (!select_query)
        throw Exception("Not a select query", ErrorCodes::LOGICAL_ERROR);
2405
}
2406

2407
void ExpressionAnalyzer::assertAggregation() const
2408
{
2409 2410
    if (!has_aggregation)
        throw Exception("No aggregation", ErrorCodes::LOGICAL_ERROR);
2411
}
2412

2413
void ExpressionAnalyzer::initChain(ExpressionActionsChain & chain, const NamesAndTypesList & columns) const
2414
{
2415 2416
    if (chain.steps.empty())
    {
2417
        chain.steps.emplace_back(std::make_shared<ExpressionActions>(columns, context));
2418
    }
2419
}
2420

2421
/// "Big" ARRAY JOIN.
2422
void ExpressionAnalyzer::addMultipleArrayJoinAction(ExpressionActionsPtr & actions) const
2423
{
2424 2425 2426 2427 2428 2429
    NameSet result_columns;
    for (const auto & result_source : array_join_result_to_source)
    {
        /// Assign new names to columns, if needed.
        if (result_source.first != result_source.second)
            actions->add(ExpressionAction::copyColumn(result_source.second, result_source.first));
2430

F
f1yegor 已提交
2431
        /// Make ARRAY JOIN (replace arrays with their insides) for the columns in these new names.
2432 2433
        result_columns.insert(result_source.first);
    }
2434

2435
    actions->add(ExpressionAction::arrayJoin(result_columns, select_query->array_join_is_left(), context));
2436 2437
}

2438
bool ExpressionAnalyzer::appendArrayJoin(ExpressionActionsChain & chain, bool only_types)
2439
{
2440
    assertSelect();
2441

2442 2443
    if (!select_query->array_join_expression_list())
        return false;
2444

2445
    initChain(chain, source_columns);
2446
    ExpressionActionsChain::Step & step = chain.steps.back();
2447

2448
    getRootActions(select_query->array_join_expression_list(), only_types, false, step.actions);
2449

2450
    addMultipleArrayJoinAction(step.actions);
2451

2452
    return true;
2453 2454
}

2455
void ExpressionAnalyzer::addJoinAction(ExpressionActionsPtr & actions, bool only_types) const
2456
{
2457
    if (only_types)
2458
        actions->add(ExpressionAction::ordinaryJoin(nullptr, analyzed_join.key_names_left,
N
Nikolai Kochetov 已提交
2459
                                                    analyzed_join.getColumnsAddedByJoin()));
2460 2461 2462
    else
        for (auto & subquery_for_set : subqueries_for_sets)
            if (subquery_for_set.second.join)
2463
                actions->add(ExpressionAction::ordinaryJoin(subquery_for_set.second.join, analyzed_join.key_names_left,
N
Nikolai Kochetov 已提交
2464
                                                            analyzed_join.getColumnsAddedByJoin()));
2465 2466
}

2467

2468
void ExpressionAnalyzer::AnalyzedJoin::createJoinedBlockActions(const ASTSelectQuery * select_query_with_join,
A
Alexey Milovidov 已提交
2469
                                                                const Context & context)
2470
{
2471
    if (!select_query_with_join)
N
Nikolai Kochetov 已提交
2472 2473
        return;

2474
    const ASTTablesInSelectQueryElement * join = select_query_with_join->join();
N
Nikolai Kochetov 已提交
2475 2476 2477 2478 2479

    if (!join)
        return;

    const auto & join_params = static_cast<const ASTTableJoin &>(*join->table_join);
2480 2481 2482 2483 2484 2485 2486 2487 2488

    /// Create custom expression list with join keys from right table.
    auto expression_list = std::make_shared<ASTExpressionList>();
    ASTs & children = expression_list->children;

    if (join_params.on_expression)
        for (const auto & join_right_key : key_asts_right)
            children.emplace_back(join_right_key);

N
Nikolai Kochetov 已提交
2489 2490 2491 2492 2493 2494 2495 2496
    NameSet required_columns_set(key_names_right.begin(), key_names_right.end());
    for (const auto & joined_column : columns_added_by_join)
        required_columns_set.insert(joined_column.original_name);

    required_columns_set.insert(key_names_right.begin(), key_names_right.end());

    required_columns_from_joined_table.insert(required_columns_from_joined_table.end(),
                                              required_columns_set.begin(), required_columns_set.end());
2497

A
Alexey Milovidov 已提交
2498 2499
    const auto & source_columns_name = getColumnsFromJoinedTable(context, select_query_with_join);
    ExpressionAnalyzer analyzer(expression_list, context, nullptr, source_columns_name, required_columns_from_joined_table);
2500
    joined_block_actions = analyzer.getActions(false);
N
Nikolai Kochetov 已提交
2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514

    for (const auto & column_required_from_actions : joined_block_actions->getRequiredColumns())
        if (!required_columns_set.count(column_required_from_actions))
            required_columns_from_joined_table.push_back(column_required_from_actions);
}


NamesAndTypesList ExpressionAnalyzer::AnalyzedJoin::getColumnsAddedByJoin() const
{
    NamesAndTypesList result;
    for (const auto & joined_column : columns_added_by_join)
        result.push_back(joined_column.name_and_type);

    return result;
2515 2516
}

A
Alexey Milovidov 已提交
2517
NamesAndTypesList ExpressionAnalyzer::AnalyzedJoin::getColumnsFromJoinedTable(const Context & context, const ASTSelectQuery * select_query_with_join)
2518
{
2519
    if (select_query_with_join && !columns_from_joined_table.size())
2520
    {
2521
        if (const ASTTablesInSelectQueryElement * node = select_query_with_join->join())
2522 2523 2524 2525 2526 2527 2528
        {
            Block nested_result_sample;
            const auto & table_expression = static_cast<const ASTTableExpression &>(*node->table_expression);

            if (table_expression.subquery)
            {
                const auto & subquery = table_expression.subquery->children.at(0);
A
Alexey Milovidov 已提交
2529
                nested_result_sample = InterpreterSelectWithUnionQuery::getSampleBlock(subquery, context);
2530
            }
2531 2532 2533
            else if (table_expression.table_function)
            {
                const auto table_function = table_expression.table_function;
2534 2535
                auto query_context = const_cast<Context *>(&context.getQueryContext());
                const auto & join_storage = query_context->executeTableFunction(table_function);
2536 2537
                nested_result_sample = join_storage->getSampleBlockNonMaterialized();
            }
2538 2539 2540 2541
            else if (table_expression.database_and_table_name)
            {
                const auto & identifier = static_cast<const ASTIdentifier &>(*table_expression.database_and_table_name);
                auto database_table = getDatabaseAndTableNameFromIdentifier(identifier);
A
Alexey Milovidov 已提交
2542
                const auto & table = context.getTable(database_table.first, database_table.second);
2543 2544 2545 2546 2547 2548 2549 2550 2551 2552
                nested_result_sample = table->getSampleBlockNonMaterialized();
            }

            columns_from_joined_table = nested_result_sample.getNamesAndTypesList();
        }
    }

    return columns_from_joined_table;
}

N
Nikolai Kochetov 已提交
2553

2554 2555
bool ExpressionAnalyzer::appendJoin(ExpressionActionsChain & chain, bool only_types)
{
2556 2557 2558 2559 2560
    assertSelect();

    if (!select_query->join())
        return false;

2561
    initChain(chain, source_columns);
2562 2563
    ExpressionActionsChain::Step & step = chain.steps.back();

2564
    const auto & join_element = static_cast<const ASTTablesInSelectQueryElement &>(*select_query->join());
2565 2566
    auto & join_params = static_cast<ASTTableJoin &>(*join_element.table_join);

2567
    if (join_params.strictness == ASTTableJoin::Strictness::Unspecified && join_params.kind != ASTTableJoin::Kind::Cross)
2568 2569 2570 2571 2572 2573
    {
        if (settings.join_default_strictness.toString() == "ANY")
            join_params.strictness = ASTTableJoin::Strictness::Any;
        else if (settings.join_default_strictness.toString() == "ALL")
            join_params.strictness = ASTTableJoin::Strictness::All;
        else
2574
            throw Exception("Expected ANY or ALL in JOIN section, because setting (join_default_strictness) is empty", DB::ErrorCodes::EXPECTED_ALL_OR_ANY);
2575 2576
    }

2577
    const auto & table_to_join = static_cast<const ASTTableExpression &>(*join_element.table_expression);
2578

2579
    getActionsFromJoinKeys(join_params, only_types, false, step.actions);
2580

F
f1yegor 已提交
2581
    /// Two JOINs are not supported with the same subquery, but different USINGs.
A
Alexey Milovidov 已提交
2582
    auto join_hash = join_element.getTreeHash();
2583

A
Alexey Milovidov 已提交
2584
    SubqueryForSet & subquery_for_set = subqueries_for_sets[toString(join_hash.first) + "_" + toString(join_hash.second)];
2585

F
f1yegor 已提交
2586 2587
    /// Special case - if table name is specified on the right of JOIN, then the table has the type Join (the previously prepared mapping).
    /// TODO This syntax does not support specifying a database name.
2588 2589
    if (table_to_join.database_and_table_name)
    {
N
Nikolai Kochetov 已提交
2590 2591
        const auto & identifier = static_cast<const ASTIdentifier &>(*table_to_join.database_and_table_name);
        auto database_table = getDatabaseAndTableNameFromIdentifier(identifier);
2592
        StoragePtr table = context.tryGetTable(database_table.first, database_table.second);
2593 2594 2595

        if (table)
        {
A
Alexey Milovidov 已提交
2596
            StorageJoin * storage_join = dynamic_cast<StorageJoin *>(table.get());
2597 2598 2599 2600

            if (storage_join)
            {
                storage_join->assertCompatible(join_params.kind, join_params.strictness);
F
f1yegor 已提交
2601
                /// TODO Check the set of keys.
2602 2603 2604 2605 2606 2607 2608 2609 2610 2611

                JoinPtr & join = storage_join->getJoin();
                subquery_for_set.join = join;
            }
        }
    }

    if (!subquery_for_set.join)
    {
        JoinPtr join = std::make_shared<Join>(
2612
            analyzed_join.key_names_left, analyzed_join.key_names_right, analyzed_join.columns_added_by_join_from_right_keys,
2613
            settings.join_use_nulls, SizeLimits(settings.max_rows_in_join, settings.max_bytes_in_join, settings.join_overflow_mode),
2614 2615
            join_params.kind, join_params.strictness);

F
f1yegor 已提交
2616 2617 2618 2619
        /** For GLOBAL JOINs (in the case, for example, of the push method for executing GLOBAL subqueries), the following occurs
          * - in the addExternalStorage function, the JOIN (SELECT ...) subquery is replaced with JOIN _data1,
          *   in the subquery_for_set object this subquery is exposed as source and the temporary table _data1 as the `table`.
          * - this function shows the expression JOIN _data1.
2620 2621 2622 2623
          */
        if (!subquery_for_set.source)
        {
            ASTPtr table;
2624

2625
            if (table_to_join.subquery)
2626
                table = table_to_join.subquery;
2627 2628 2629 2630
            else if (table_to_join.table_function)
                table = table_to_join.table_function;
            else if (table_to_join.database_and_table_name)
                table = table_to_join.database_and_table_name;
2631

N
Nikolai Kochetov 已提交
2632
            auto interpreter = interpretSubquery(table, context, subquery_depth, analyzed_join.required_columns_from_joined_table);
2633 2634 2635
            subquery_for_set.source = std::make_shared<LazyBlockInputStream>(
                interpreter->getSampleBlock(),
                [interpreter]() mutable { return interpreter->execute().in; });
2636 2637
        }

N
Nikolai Kochetov 已提交
2638 2639 2640 2641 2642 2643 2644 2645
        /// Alias duplicating columns.
        for (const auto & joined_column : analyzed_join.columns_added_by_join)
        {
            const auto & qualified_name = joined_column.name_and_type.name;
            if (joined_column.original_name != qualified_name)
                subquery_for_set.joined_block_aliases.emplace_back(joined_column.original_name, qualified_name);
        }

2646 2647
        auto sample_block = subquery_for_set.source->getHeader();
        analyzed_join.joined_block_actions->execute(sample_block);
N
Nikolai Kochetov 已提交
2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659
        for (const auto & name_with_alias : subquery_for_set.joined_block_aliases)
        {
            if (sample_block.has(name_with_alias.first))
            {
                auto pos = sample_block.getPositionByName(name_with_alias.first);
                auto column = sample_block.getByPosition(pos);
                sample_block.erase(pos);
                column.name = name_with_alias.second;
                sample_block.insert(std::move(column));
            }
        }

F
f1yegor 已提交
2660
        /// TODO You do not need to set this up when JOIN is only needed on remote servers.
2661
        subquery_for_set.join = join;
2662 2663
        subquery_for_set.join->setSampleBlock(sample_block);
        subquery_for_set.joined_block_actions = analyzed_join.joined_block_actions;
2664 2665 2666 2667 2668
    }

    addJoinAction(step.actions, false);

    return true;
2669 2670
}

2671
bool ExpressionAnalyzer::appendPrewhere(ExpressionActionsChain & chain, bool only_types, const ASTPtr & sampling_expression)
2672 2673 2674 2675 2676 2677
{
    assertSelect();

    if (!select_query->prewhere_expression)
        return false;

2678 2679 2680 2681
    Names required_sample_columns;
    if (sampling_expression)
        required_sample_columns = ExpressionAnalyzer(sampling_expression, context, nullptr, source_columns).getRequiredSourceColumns();

2682
    initChain(chain, source_columns);
N
Nikolai Kochetov 已提交
2683
    auto & step = chain.getLastStep();
2684
    getRootActions(select_query->prewhere_expression, only_types, false, step.actions);
N
Nikolai Kochetov 已提交
2685 2686
    String prewhere_column_name = select_query->prewhere_expression->getColumnName();
    step.required_output.push_back(prewhere_column_name);
2687
    step.can_remove_required_output.push_back(true);
N
Nikolai Kochetov 已提交
2688

2689 2690 2691 2692 2693 2694 2695 2696 2697
    /// Add required columns for sample expression to required output in order not to remove them after
    /// prewhere execution because sampling is executed after prewhere.
    /// TODO: add sampling execution to common chain.
    for (const auto & column : required_sample_columns)
    {
        step.required_output.push_back(column);
        step.can_remove_required_output.push_back(true);
    }

N
Nikolai Kochetov 已提交
2698 2699
    {
        /// Remove unused source_columns from prewhere actions.
2700
        auto tmp_actions = std::make_shared<ExpressionActions>(source_columns, context);
N
Nikolai Kochetov 已提交
2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723
        getRootActions(select_query->prewhere_expression, only_types, false, tmp_actions);
        tmp_actions->finalize({prewhere_column_name});
        auto required_columns = tmp_actions->getRequiredColumns();
        NameSet required_source_columns(required_columns.begin(), required_columns.end());

        auto names = step.actions->getSampleBlock().getNames();
        NameSet name_set(names.begin(), names.end());

        for (const auto & column : source_columns)
            if (required_source_columns.count(column.name) == 0)
                name_set.erase(column.name);

        Names required_output(name_set.begin(), name_set.end());
        step.actions->finalize(required_output);
    }

    {
        /// Add empty action with input = {prewhere actions output} + {unused source columns}
        /// Reasons:
        /// 1. Remove remove source columns which are used only in prewhere actions during prewhere actions execution.
        ///    Example: select A prewhere B > 0. B can be removed at prewhere step.
        /// 2. Store side columns which were calculated during prewhere actions execution if they are used.
        ///    Example: select F(A) prewhere F(A) > 0. F(A) can be saved from prewhere step.
N
Nikolai Kochetov 已提交
2724
        /// 3. Check if we can remove filter column at prewhere step. If we can, action will store single REMOVE_COLUMN.
N
Nikolai Kochetov 已提交
2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738
        ColumnsWithTypeAndName columns = step.actions->getSampleBlock().getColumnsWithTypeAndName();
        auto required_columns = step.actions->getRequiredColumns();
        NameSet prewhere_input_names(required_columns.begin(), required_columns.end());
        NameSet unused_source_columns;

        for (const auto & column : source_columns)
        {
            if (prewhere_input_names.count(column.name) == 0)
            {
                columns.emplace_back(column.type, column.name);
                unused_source_columns.emplace(column.name);
            }
        }

2739
        chain.steps.emplace_back(std::make_shared<ExpressionActions>(std::move(columns), context));
N
Nikolai Kochetov 已提交
2740 2741
        chain.steps.back().additional_input = std::move(unused_source_columns);
    }
2742 2743 2744

    return true;
}
2745

2746
bool ExpressionAnalyzer::appendWhere(ExpressionActionsChain & chain, bool only_types)
2747
{
2748
    assertSelect();
2749

2750 2751
    if (!select_query->where_expression)
        return false;
2752

2753
    initChain(chain, source_columns);
2754
    ExpressionActionsChain::Step & step = chain.steps.back();
2755

2756
    step.required_output.push_back(select_query->where_expression->getColumnName());
2757
    step.can_remove_required_output = {true};
2758

2759
    getRootActions(select_query->where_expression, only_types, false, step.actions);
2760

2761
    return true;
2762 2763
}

2764
bool ExpressionAnalyzer::appendGroupBy(ExpressionActionsChain & chain, bool only_types)
2765
{
2766
    assertAggregation();
2767

2768 2769
    if (!select_query->group_expression_list)
        return false;
2770

2771
    initChain(chain, source_columns);
2772
    ExpressionActionsChain::Step & step = chain.steps.back();
2773

2774 2775 2776 2777 2778 2779
    ASTs asts = select_query->group_expression_list->children;
    for (size_t i = 0; i < asts.size(); ++i)
    {
        step.required_output.push_back(asts[i]->getColumnName());
        getRootActions(asts[i], only_types, false, step.actions);
    }
2780

2781
    return true;
2782 2783
}

2784
void ExpressionAnalyzer::appendAggregateFunctionsArguments(ExpressionActionsChain & chain, bool only_types)
2785
{
2786
    assertAggregation();
2787

2788
    initChain(chain, source_columns);
2789
    ExpressionActionsChain::Step & step = chain.steps.back();
2790

2791 2792 2793 2794 2795 2796 2797
    for (size_t i = 0; i < aggregate_descriptions.size(); ++i)
    {
        for (size_t j = 0; j < aggregate_descriptions[i].argument_names.size(); ++j)
        {
            step.required_output.push_back(aggregate_descriptions[i].argument_names[j]);
        }
    }
2798

2799
    getActionsBeforeAggregation(select_query->select_expression_list, step.actions, only_types);
2800

2801 2802
    if (select_query->having_expression)
        getActionsBeforeAggregation(select_query->having_expression, step.actions, only_types);
2803

2804 2805
    if (select_query->order_expression_list)
        getActionsBeforeAggregation(select_query->order_expression_list, step.actions, only_types);
2806 2807
}

2808
bool ExpressionAnalyzer::appendHaving(ExpressionActionsChain & chain, bool only_types)
2809
{
2810
    assertAggregation();
2811

2812 2813
    if (!select_query->having_expression)
        return false;
2814

2815 2816
    initChain(chain, aggregated_columns);
    ExpressionActionsChain::Step & step = chain.steps.back();
2817

2818 2819
    step.required_output.push_back(select_query->having_expression->getColumnName());
    getRootActions(select_query->having_expression, only_types, false, step.actions);
2820

2821
    return true;
2822 2823
}

2824
void ExpressionAnalyzer::appendSelect(ExpressionActionsChain & chain, bool only_types)
2825
{
2826
    assertSelect();
2827

2828 2829
    initChain(chain, aggregated_columns);
    ExpressionActionsChain::Step & step = chain.steps.back();
2830

2831
    getRootActions(select_query->select_expression_list, only_types, false, step.actions);
2832

2833
    for (const auto & child : select_query->select_expression_list->children)
2834
        step.required_output.push_back(child->getColumnName());
2835
}
2836

2837
bool ExpressionAnalyzer::appendOrderBy(ExpressionActionsChain & chain, bool only_types)
2838
{
2839
    assertSelect();
2840

2841 2842
    if (!select_query->order_expression_list)
        return false;
2843

2844 2845
    initChain(chain, aggregated_columns);
    ExpressionActionsChain::Step & step = chain.steps.back();
2846

2847
    getRootActions(select_query->order_expression_list, only_types, false, step.actions);
2848

2849 2850 2851 2852 2853 2854 2855 2856 2857
    ASTs asts = select_query->order_expression_list->children;
    for (size_t i = 0; i < asts.size(); ++i)
    {
        ASTOrderByElement * ast = typeid_cast<ASTOrderByElement *>(asts[i].get());
        if (!ast || ast->children.size() < 1)
            throw Exception("Bad order expression AST", ErrorCodes::UNKNOWN_TYPE_OF_AST_NODE);
        ASTPtr order_expression = ast->children.at(0);
        step.required_output.push_back(order_expression->getColumnName());
    }
2858

2859
    return true;
2860 2861
}

2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876 2877 2878 2879
bool ExpressionAnalyzer::appendLimitBy(ExpressionActionsChain & chain, bool only_types)
{
    assertSelect();

    if (!select_query->limit_by_expression_list)
        return false;

    initChain(chain, aggregated_columns);
    ExpressionActionsChain::Step & step = chain.steps.back();

    getRootActions(select_query->limit_by_expression_list, only_types, false, step.actions);

    for (const auto & child : select_query->limit_by_expression_list->children)
        step.required_output.push_back(child->getColumnName());

    return true;
}

A
Alexey Milovidov 已提交
2880
void ExpressionAnalyzer::appendProjectResult(ExpressionActionsChain & chain) const
2881
{
2882
    assertSelect();
2883

2884 2885
    initChain(chain, aggregated_columns);
    ExpressionActionsChain::Step & step = chain.steps.back();
2886

2887
    NamesWithAliases result_columns;
2888

2889 2890 2891
    ASTs asts = select_query->select_expression_list->children;
    for (size_t i = 0; i < asts.size(); ++i)
    {
2892
        String result_name = asts[i]->getAliasOrColumnName();
2893 2894
        if (required_result_columns.empty()
            || std::find(required_result_columns.begin(), required_result_columns.end(), result_name) !=  required_result_columns.end())
2895 2896 2897 2898
        {
            result_columns.emplace_back(asts[i]->getColumnName(), result_name);
            step.required_output.push_back(result_columns.back().second);
        }
2899
    }
2900

2901
    step.actions->add(ExpressionAction::project(result_columns));
2902 2903 2904
}


2905
void ExpressionAnalyzer::getActionsBeforeAggregation(const ASTPtr & ast, ExpressionActionsPtr & actions, bool no_subqueries)
2906
{
2907
    ASTFunction * node = typeid_cast<ASTFunction *>(ast.get());
2908

2909
    if (node && AggregateFunctionFactory::instance().isAggregateFunctionName(node->name))
2910 2911 2912 2913 2914
        for (auto & argument : node->arguments->children)
            getRootActions(argument, no_subqueries, false, actions);
    else
        for (auto & child : ast->children)
            getActionsBeforeAggregation(child, actions, no_subqueries);
2915 2916 2917
}


2918
ExpressionActionsPtr ExpressionAnalyzer::getActions(bool add_aliases, bool project_result)
2919
{
2920
    ExpressionActionsPtr actions = std::make_shared<ExpressionActions>(source_columns, context);
2921 2922 2923 2924 2925
    NamesWithAliases result_columns;
    Names result_names;

    ASTs asts;

2926
    if (auto node = typeid_cast<const ASTExpressionList *>(query.get()))
2927 2928
        asts = node->children;
    else
2929
        asts = ASTs(1, query);
2930 2931 2932 2933 2934

    for (size_t i = 0; i < asts.size(); ++i)
    {
        std::string name = asts[i]->getColumnName();
        std::string alias;
2935
        if (add_aliases)
2936 2937 2938 2939 2940 2941 2942 2943
            alias = asts[i]->getAliasOrColumnName();
        else
            alias = name;
        result_columns.emplace_back(name, alias);
        result_names.push_back(alias);
        getRootActions(asts[i], false, false, actions);
    }

2944
    if (add_aliases)
2945
    {
2946 2947 2948 2949
        if (project_result)
            actions->add(ExpressionAction::project(result_columns));
        else
            actions->add(ExpressionAction::addAliases(result_columns));
2950
    }
N
Nikolai Kochetov 已提交
2951 2952

    if (!(add_aliases && project_result))
2953
    {
F
f1yegor 已提交
2954
        /// We will not delete the original columns.
2955
        for (const auto & column_name_type : source_columns)
2956 2957 2958 2959 2960 2961
            result_names.push_back(column_name_type.name);
    }

    actions->finalize(result_names);

    return actions;
2962 2963 2964 2965 2966
}


ExpressionActionsPtr ExpressionAnalyzer::getConstActions()
{
2967
    ExpressionActionsPtr actions = std::make_shared<ExpressionActions>(NamesAndTypesList(), context);
2968

2969
    getRootActions(query, true, true, actions);
2970

2971
    return actions;
2972 2973
}

2974
void ExpressionAnalyzer::getAggregateInfo(Names & key_names, AggregateDescriptions & aggregates) const
2975
{
2976 2977
    for (const auto & name_and_type : aggregation_keys)
        key_names.emplace_back(name_and_type.name);
2978

2979
    aggregates = aggregate_descriptions;
2980 2981
}

2982
void ExpressionAnalyzer::collectUsedColumns()
2983
{
F
f1yegor 已提交
2984 2985 2986
    /** Calculate which columns are required to execute the expression.
      * Then, delete all other columns from the list of available columns.
      * After execution, columns will only contain the list of columns needed to read from the table.
2987 2988 2989 2990 2991
      */

    NameSet required;
    NameSet ignored;

2992
    NameSet available_columns;
2993
    for (const auto & column : source_columns)
2994 2995
        available_columns.insert(column.name);

2996 2997 2998 2999 3000
    if (select_query && select_query->array_join_expression_list())
    {
        ASTs & expressions = select_query->array_join_expression_list()->children;
        for (size_t i = 0; i < expressions.size(); ++i)
        {
F
f1yegor 已提交
3001 3002
            /// Ignore the top-level identifiers from the ARRAY JOIN section.
            /// Then add them separately.
3003 3004 3005 3006 3007 3008
            if (typeid_cast<ASTIdentifier *>(expressions[i].get()))
            {
                ignored.insert(expressions[i]->getColumnName());
            }
            else
            {
F
f1yegor 已提交
3009
                /// Nothing needs to be ignored for expressions in ARRAY JOIN.
3010
                NameSet empty;
3011
                getRequiredSourceColumnsImpl(expressions[i], available_columns, required, empty, empty, empty);
3012 3013 3014 3015 3016 3017
            }

            ignored.insert(expressions[i]->getAliasOrColumnName());
        }
    }

F
f1yegor 已提交
3018 3019
    /** You also need to ignore the identifiers of the columns that are obtained by JOIN.
      * (Do not assume that they are required for reading from the "left" table).
3020 3021
      */
    NameSet available_joined_columns;
3022
    collectJoinedColumns(available_joined_columns);
3023 3024

    NameSet required_joined_columns;
3025

3026
    for (const auto & left_key_ast : analyzed_join.key_asts_left)
3027 3028
        getRequiredSourceColumnsImpl(left_key_ast, available_columns, required, ignored, {}, required_joined_columns);

3029
    getRequiredSourceColumnsImpl(query, available_columns, required, ignored, available_joined_columns, required_joined_columns);
3030

3031
    for (auto it = analyzed_join.columns_added_by_join.begin(); it != analyzed_join.columns_added_by_join.end();)
3032
    {
N
Nikolai Kochetov 已提交
3033
        if (required_joined_columns.count(it->name_and_type.name))
3034 3035
            ++it;
        else
3036
            analyzed_join.columns_added_by_join.erase(it++);
3037
    }
3038

N
Nikolai Kochetov 已提交
3039 3040
    analyzed_join.createJoinedBlockActions(select_query, context);

3041 3042
    /// Some columns from right join key may be used in query. This columns will be appended to block during join.
    for (const auto & right_key_name : analyzed_join.key_names_right)
N
Nikolai Kochetov 已提交
3043
        if (required_joined_columns.count(right_key_name))
3044
            analyzed_join.columns_added_by_join_from_right_keys.insert(right_key_name);
N
Nikolai Kochetov 已提交
3045

F
f1yegor 已提交
3046
    /// Insert the columns required for the ARRAY JOIN calculation into the required columns list.
3047 3048 3049 3050
    NameSet array_join_sources;
    for (const auto & result_source : array_join_result_to_source)
        array_join_sources.insert(result_source.second);

3051
    for (const auto & column_name_type : source_columns)
3052 3053 3054
        if (array_join_sources.count(column_name_type.name))
            required.insert(column_name_type.name);

F
f1yegor 已提交
3055
    /// You need to read at least one column to find the number of rows.
Z
zhang2014 已提交
3056
    if (select_query && required.empty())
3057
        required.insert(ExpressionActions::getSmallestColumn(source_columns));
3058

3059
    NameSet unknown_required_source_columns = required;
3060

3061
    for (NamesAndTypesList::iterator it = source_columns.begin(); it != source_columns.end();)
3062
    {
3063
        unknown_required_source_columns.erase(it->name);
3064 3065

        if (!required.count(it->name))
3066
            source_columns.erase(it++);
3067 3068
        else
            ++it;
3069 3070
    }

3071 3072
    /// If there are virtual columns among the unknown columns. Remove them from the list of unknown and add
    /// in columns list, so that when further processing they are also considered.
3073 3074
    if (storage)
    {
3075
        for (auto it = unknown_required_source_columns.begin(); it != unknown_required_source_columns.end();)
3076 3077 3078
        {
            if (storage->hasColumn(*it))
            {
3079 3080
                source_columns.push_back(storage->getColumn(*it));
                unknown_required_source_columns.erase(it++);
3081 3082 3083 3084 3085
            }
            else
                ++it;
        }
    }
3086 3087 3088

    if (!unknown_required_source_columns.empty())
        throw Exception("Unknown identifier: " + *unknown_required_source_columns.begin(), ErrorCodes::UNKNOWN_IDENTIFIER);
3089 3090
}

3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129

void ExpressionAnalyzer::collectJoinedColumnsFromJoinOnExpr()
{
    const auto & tables = static_cast<const ASTTablesInSelectQuery &>(*select_query->tables);
    const auto * left_tables_element = static_cast<const ASTTablesInSelectQueryElement *>(tables.children.at(0).get());
    const auto * right_tables_element = select_query->join();

    if (!left_tables_element || !right_tables_element)
        return;

    const auto & table_join = static_cast<const ASTTableJoin &>(*right_tables_element->table_join);
    if (!table_join.on_expression)
        return;

    const auto & left_table_expression = static_cast<const ASTTableExpression &>(*left_tables_element->table_expression);
    const auto & right_table_expression = static_cast<const ASTTableExpression &>(*right_tables_element->table_expression);

    auto left_source_names = getTableNameWithAliasFromTableExpression(left_table_expression, context);
    auto right_source_names = getTableNameWithAliasFromTableExpression(right_table_expression, context);

    /// Stores examples of columns which are only from one table.
    struct TableBelonging
    {
        const ASTIdentifier * example_only_from_left = nullptr;
        const ASTIdentifier * example_only_from_right = nullptr;
    };

    /// Check all identifiers in ast and decide their possible table belonging.
    /// Throws if there are two identifiers definitely from different tables.
    std::function<TableBelonging(const ASTPtr &)> get_table_belonging;
    get_table_belonging = [&](const ASTPtr & ast) -> TableBelonging
    {
        auto * identifier = typeid_cast<const ASTIdentifier *>(ast.get());
        if (identifier)
        {
            if (identifier->kind == ASTIdentifier::Column)
            {
                auto left_num_components = getNumComponentsToStripInOrderToTranslateQualifiedName(*identifier, left_source_names);
                auto right_num_components = getNumComponentsToStripInOrderToTranslateQualifiedName(*identifier, right_source_names);
N
Nikolai Kochetov 已提交
3130 3131

                /// Assume that component from definite table if num_components is greater than for the other table.
3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206
                if (left_num_components > right_num_components)
                    return {identifier, nullptr};
                if (left_num_components < right_num_components)
                    return {nullptr, identifier};
            }
            return {};
        }

        TableBelonging table_belonging;
        for (const auto & child : ast->children)
        {
            auto children_belonging = get_table_belonging(child);
            if (!table_belonging.example_only_from_left)
                table_belonging.example_only_from_left = children_belonging.example_only_from_left;
            if (!table_belonging.example_only_from_right)
                table_belonging.example_only_from_right = children_belonging.example_only_from_right;
        }

        if (table_belonging.example_only_from_left && table_belonging.example_only_from_right)
            throw Exception("Invalid columns in JOIN ON section. Columns "
                            + table_belonging.example_only_from_left->getAliasOrColumnName() + " and "
                            + table_belonging.example_only_from_right->getAliasOrColumnName()
                            + " are from different tables.", ErrorCodes::INVALID_JOIN_ON_EXPRESSION);

        return table_belonging;
    };

    std::function<void(ASTPtr &, const DatabaseAndTableWithAlias &)> translate_qualified_names;
    translate_qualified_names = [&](ASTPtr & ast, const DatabaseAndTableWithAlias & source_names)
    {
        auto * identifier = typeid_cast<const ASTIdentifier *>(ast.get());
        if (identifier)
        {
            if (identifier->kind == ASTIdentifier::Column)
            {
                auto num_components = getNumComponentsToStripInOrderToTranslateQualifiedName(*identifier, source_names);
                stripIdentifier(ast, num_components);
            }
            return;
        }

        for (auto & child : ast->children)
            translate_qualified_names(child, source_names);
    };

    const auto supported_syntax = " Supported syntax: JOIN ON Expr([table.]column, ...) = Expr([table.]column, ...) "
                                  "[AND Expr([table.]column, ...) = Expr([table.]column, ...) ...]";
    auto throwSyntaxException = [&](const String & msg)
    {
        throw Exception("Invalid expression for JOIN ON. " + msg + supported_syntax, ErrorCodes::INVALID_JOIN_ON_EXPRESSION);
    };

    /// For equal expression find out corresponding table for each part, translate qualified names and add asts to join keys.
    auto add_columns_from_equals_expr = [&](const ASTPtr & expr)
    {
        auto * func_equals = typeid_cast<const ASTFunction *>(expr.get());
        if (!func_equals || func_equals->name != "equals")
            throwSyntaxException("Expected equals expression, got " + queryToString(expr) + ".");

        ASTPtr left_ast = func_equals->arguments->children.at(0)->clone();
        ASTPtr right_ast = func_equals->arguments->children.at(1)->clone();

        auto left_table_belonging = get_table_belonging(left_ast);
        auto right_table_belonging = get_table_belonging(right_ast);

        bool can_be_left_part_from_left_table = left_table_belonging.example_only_from_right == nullptr;
        bool can_be_left_part_from_right_table = left_table_belonging.example_only_from_left == nullptr;
        bool can_be_right_part_from_left_table = right_table_belonging.example_only_from_right == nullptr;
        bool can_be_right_part_from_right_table = right_table_belonging.example_only_from_left == nullptr;

        auto add_join_keys = [&](ASTPtr & ast_to_left_table, ASTPtr & ast_to_right_table)
        {
            translate_qualified_names(ast_to_left_table, left_source_names);
            translate_qualified_names(ast_to_right_table, right_source_names);

3207 3208 3209 3210
            analyzed_join.key_asts_left.push_back(ast_to_left_table);
            analyzed_join.key_names_left.push_back(ast_to_left_table->getColumnName());
            analyzed_join.key_asts_right.push_back(ast_to_right_table);
            analyzed_join.key_names_right.push_back(ast_to_right_table->getAliasOrColumnName());
3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246
        };

        /// Default variant when all identifiers may be from any table.
        if (can_be_left_part_from_left_table && can_be_right_part_from_right_table)
            add_join_keys(left_ast, right_ast);
        else if (can_be_left_part_from_right_table && can_be_right_part_from_left_table)
            add_join_keys(right_ast, left_ast);
        else
        {
            auto * left_example = left_table_belonging.example_only_from_left ?
                                  left_table_belonging.example_only_from_left :
                                  left_table_belonging.example_only_from_right;

            auto * right_example = right_table_belonging.example_only_from_left ?
                                   right_table_belonging.example_only_from_left :
                                   right_table_belonging.example_only_from_right;

            auto left_name = queryToString(*left_example);
            auto right_name = queryToString(*right_example);
            auto expr_name = queryToString(expr);

            throwSyntaxException("In expression " + expr_name + " columns " + left_name + " and " + right_name
                                 + " are from the same table but from different arguments of equal function.");
        }
    };

    auto * func = typeid_cast<const ASTFunction *>(table_join.on_expression.get());
    if (func && func->name == "and")
    {
        for (const auto & expr : func->arguments->children)
            add_columns_from_equals_expr(expr);
    }
    else
        add_columns_from_equals_expr(table_join.on_expression);
}

3247
void ExpressionAnalyzer::collectJoinedColumns(NameSet & joined_columns)
3248
{
3249 3250 3251 3252 3253 3254 3255 3256
    if (!select_query)
        return;

    const ASTTablesInSelectQueryElement * node = select_query->join();

    if (!node)
        return;

3257 3258 3259
    const auto & table_join = static_cast<const ASTTableJoin &>(*node->table_join);
    const auto & table_expression = static_cast<const ASTTableExpression &>(*node->table_expression);
    auto joined_table_name = getTableNameWithAliasFromTableExpression(table_expression, context);
3260

3261
    auto add_name_to_join_keys = [](Names & join_keys, ASTs & join_asts, const String & name, const ASTPtr & ast)
3262
    {
3263 3264
        join_keys.push_back(name);
        join_asts.push_back(ast);
3265 3266
    };

3267 3268 3269 3270 3271
    if (table_join.using_expression_list)
    {
        auto & keys = typeid_cast<ASTExpressionList &>(*table_join.using_expression_list);
        for (const auto & key : keys.children)
        {
3272 3273
            add_name_to_join_keys(analyzed_join.key_names_left, analyzed_join.key_asts_left, key->getColumnName(), key);
            add_name_to_join_keys(analyzed_join.key_names_right, analyzed_join.key_asts_right, key->getAliasOrColumnName(), key);
3274 3275 3276
        }
    }
    else if (table_join.on_expression)
3277
        collectJoinedColumnsFromJoinOnExpr();
3278

N
Nikolai Kochetov 已提交
3279 3280 3281 3282 3283
    /// When we use JOIN ON syntax, non_joined_columns are columns from join_key_names_left,
    ///     because even if a column from join_key_names_right, we may need to join it if it has different name.
    /// If we use USING syntax, join_key_names_left and join_key_names_right are almost the same, but we need to use
    ///     join_key_names_right in order to support aliases in USING list. Example:
    ///     SELECT x FROM tab1 ANY LEFT JOIN tab2 USING (x as y) - will join column x from tab1 with column y from tab2.
3284
    auto & not_joined_columns = table_join.using_expression_list ? analyzed_join.key_names_right : analyzed_join.key_names_left;
3285
    auto columns_from_joined_table = analyzed_join.getColumnsFromJoinedTable(context, select_query);
3286

3287
    for (auto & column_name_and_type : columns_from_joined_table)
3288
    {
3289 3290 3291
        auto & column_name = column_name_and_type.name;
        auto & column_type = column_name_and_type.type;
        if (not_joined_columns.end() == std::find(not_joined_columns.begin(), not_joined_columns.end(), column_name))
3292
        {
3293
            auto qualified_name = column_name;
N
Nikolai Kochetov 已提交
3294
            /// Change name for duplicate column form joined table.
3295 3296
            if (source_columns.contains(qualified_name))
                qualified_name = joined_table_name.getQualifiedNamePrefix() + qualified_name;
N
Nikolai Kochetov 已提交
3297

3298
            if (joined_columns.count(qualified_name)) /// Duplicate columns in the subquery for JOIN do not make sense.
3299
                continue;
3300

3301
            joined_columns.insert(qualified_name);
3302

3303 3304
            bool make_nullable = settings.join_use_nulls && (table_join.kind == ASTTableJoin::Kind::Left ||
                                                             table_join.kind == ASTTableJoin::Kind::Full);
3305 3306
            auto type = make_nullable ? makeNullable(column_type) : column_type;
            analyzed_join.columns_added_by_join.emplace_back(NameAndTypePair(qualified_name, std::move(type)), column_name);
3307 3308
        }
    }
3309 3310
}

3311

3312
Names ExpressionAnalyzer::getRequiredSourceColumns() const
3313
{
3314
    return source_columns.getNames();
3315 3316
}

3317

3318 3319
void ExpressionAnalyzer::getRequiredSourceColumnsImpl(const ASTPtr & ast,
    const NameSet & available_columns, NameSet & required_source_columns, NameSet & ignored_names,
3320 3321
    const NameSet & available_joined_columns, NameSet & required_joined_columns)
{
F
f1yegor 已提交
3322
    /** Find all the identifiers in the query.
3323
      * We will use depth first search in AST.
F
f1yegor 已提交
3324 3325
      * In this case
      * - for lambda functions we will not take formal parameters;
3326 3327 3328
      * - do not go into subqueries (they have their own identifiers);
      * - there is some exception for the ARRAY JOIN clause (it has a slightly different identifiers);
      * - we put identifiers available from JOIN in required_joined_columns.
3329 3330 3331 3332 3333 3334
      */

    if (ASTIdentifier * node = typeid_cast<ASTIdentifier *>(ast.get()))
    {
        if (node->kind == ASTIdentifier::Column
            && !ignored_names.count(node->name)
3335
            && !ignored_names.count(Nested::extractTableName(node->name)))
3336
        {
3337 3338
            if (!available_joined_columns.count(node->name)
                || available_columns.count(node->name)) /// Read column from left table if has.
3339
                required_source_columns.insert(node->name);
3340 3341 3342 3343 3344 3345 3346 3347 3348
            else
                required_joined_columns.insert(node->name);
        }

        return;
    }

    if (ASTFunction * node = typeid_cast<ASTFunction *>(ast.get()))
    {
3349
        if (node->name == "lambda")
3350 3351 3352 3353 3354 3355 3356 3357 3358
        {
            if (node->arguments->children.size() != 2)
                throw Exception("lambda requires two arguments", ErrorCodes::NUMBER_OF_ARGUMENTS_DOESNT_MATCH);

            ASTFunction * lambda_args_tuple = typeid_cast<ASTFunction *>(node->arguments->children.at(0).get());

            if (!lambda_args_tuple || lambda_args_tuple->name != "tuple")
                throw Exception("First argument of lambda must be a tuple", ErrorCodes::TYPE_MISMATCH);

3359
            /// You do not need to add formal parameters of the lambda expression in required_source_columns.
3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374
            Names added_ignored;
            for (auto & child : lambda_args_tuple->arguments->children)
            {
                ASTIdentifier * identifier = typeid_cast<ASTIdentifier *>(child.get());
                if (!identifier)
                    throw Exception("lambda argument declarations must be identifiers", ErrorCodes::TYPE_MISMATCH);

                String & name = identifier->name;
                if (!ignored_names.count(name))
                {
                    ignored_names.insert(name);
                    added_ignored.push_back(name);
                }
            }

3375 3376
            getRequiredSourceColumnsImpl(node->arguments->children.at(1),
                available_columns, required_source_columns, ignored_names,
3377 3378 3379 3380 3381 3382 3383 3384
                available_joined_columns, required_joined_columns);

            for (size_t i = 0; i < added_ignored.size(); ++i)
                ignored_names.erase(added_ignored[i]);

            return;
        }

F
f1yegor 已提交
3385
        /// A special function `indexHint`. Everything that is inside it is not calculated
3386
        /// (and is used only for index analysis, see KeyCondition).
3387 3388 3389 3390
        if (node->name == "indexHint")
            return;
    }

F
f1yegor 已提交
3391
    /// Recursively traverses an expression.
3392 3393
    for (auto & child : ast->children)
    {
F
f1yegor 已提交
3394 3395
        /** We will not go to the ARRAY JOIN section, because we need to look at the names of non-ARRAY-JOIN columns.
          * There, `collectUsedColumns` will send us separately.
3396
          */
A
Alexey Milovidov 已提交
3397 3398
        if (!typeid_cast<const ASTSelectQuery *>(child.get())
            && !typeid_cast<const ASTArrayJoin *>(child.get())
3399 3400
            && !typeid_cast<const ASTTableExpression *>(child.get())
            && !typeid_cast<const ASTTableJoin *>(child.get()))
3401 3402
            getRequiredSourceColumnsImpl(child, available_columns, required_source_columns,
                ignored_names, available_joined_columns, required_joined_columns);
3403
    }
3404 3405
}

3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420

static bool hasArrayJoin(const ASTPtr & ast)
{
    if (const ASTFunction * function = typeid_cast<const ASTFunction *>(&*ast))
        if (function->name == "arrayJoin")
            return true;

    for (const auto & child : ast->children)
        if (!typeid_cast<ASTSelectQuery *>(child.get()) && hasArrayJoin(child))
            return true;

    return false;
}


3421
void ExpressionAnalyzer::removeUnneededColumnsFromSelectClause()
3422 3423 3424 3425
{
    if (!select_query)
        return;

3426
    if (required_result_columns.empty())
3427 3428 3429 3430
        return;

    ASTs & elements = select_query->select_expression_list->children;

3431 3432 3433 3434 3435 3436 3437 3438 3439 3440
    ASTs new_elements;
    new_elements.reserve(elements.size());

    /// Some columns may be queried multiple times, like SELECT x, y, y FROM table.
    /// In that case we keep them exactly same number of times.
    std::map<String, size_t> required_columns_with_duplicate_count;
    for (const auto & name : required_result_columns)
        ++required_columns_with_duplicate_count[name];

    for (const auto & elem : elements)
3441
    {
3442 3443 3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455 3456
        String name = elem->getAliasOrColumnName();

        auto it = required_columns_with_duplicate_count.find(name);
        if (required_columns_with_duplicate_count.end() != it && it->second)
        {
            new_elements.push_back(elem);
            --it->second;
        }
        else if (select_query->distinct || hasArrayJoin(elem))
        {
            new_elements.push_back(elem);
        }
    }

    elements = std::move(new_elements);
3457 3458
}

3459
}