ClickHouse/src/Interpreters/JoinToSubqueryTransformVisitor.cpp

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

781 lines
29 KiB
C++
Raw Normal View History

#include <Common/typeid_cast.h>
#include <Core/NamesAndTypes.h>
#include <Interpreters/JoinToSubqueryTransformVisitor.h>
#include <Interpreters/IdentifierSemantic.h>
#include <Interpreters/DatabaseAndTableWithAlias.h>
#include <Interpreters/RequiredSourceColumnsVisitor.h>
#include <Parsers/ASTSelectQuery.h>
#include <Parsers/ASTSubquery.h>
#include <Parsers/ASTTablesInSelectQuery.h>
#include <Parsers/ASTIdentifier.h>
#include <Parsers/ASTExpressionList.h>
#include <Parsers/ASTFunction.h>
#include <Parsers/ASTAsterisk.h>
#include <Parsers/ASTColumnsMatcher.h>
#include <Parsers/ASTColumnsTransformers.h>
#include <Parsers/ASTQualifiedAsterisk.h>
#include <Parsers/ParserTablesInSelectQuery.h>
#include <Parsers/ExpressionListParsers.h>
#include <Parsers/parseQuery.h>
#include <IO/WriteHelpers.h>
#include <Core/Defines.h>
#include <Common/StringUtils/StringUtils.h>
namespace DB
{
namespace ErrorCodes
{
extern const int LOGICAL_ERROR;
extern const int AMBIGUOUS_COLUMN_NAME;
extern const int NOT_IMPLEMENTED;
extern const int UNKNOWN_IDENTIFIER;
}
namespace
{
2020-03-20 11:31:16 +00:00
/// @note we use `--` prefix for unique short names and `--.` for subqueries.
/// It expects that user do not use names starting with `--` and column names starting with dot.
ASTPtr makeSubqueryTemplate()
{
ParserTablesInSelectQueryElement parser(true);
ASTPtr subquery_template = parseQuery(parser, "(select * from _t) as `--.s`", 0, DBMS_DEFAULT_MAX_PARSER_DEPTH);
if (!subquery_template)
throw Exception("Cannot parse subquery template", ErrorCodes::LOGICAL_ERROR);
return subquery_template;
}
ASTPtr makeSubqueryQualifiedAsterisk()
{
auto asterisk = std::make_shared<ASTQualifiedAsterisk>();
2020-11-18 16:55:55 +00:00
asterisk->children.emplace_back(std::make_shared<ASTTableIdentifier>("--.s"));
return asterisk;
}
/// Replace asterisks in select_expression_list with column identifiers
class ExtractAsterisksMatcher
{
public:
struct Data
{
std::unordered_map<String, NamesAndTypesList> table_columns;
std::vector<String> tables_order;
std::shared_ptr<ASTExpressionList> new_select_expression_list;
2020-03-20 17:16:36 +00:00
explicit Data(const std::vector<TableWithColumnNamesAndTypes> & tables)
{
tables_order.reserve(tables.size());
for (const auto & table : tables)
{
String table_name = table.table.getQualifiedNamePrefix(false);
NamesAndTypesList columns = table.columns;
tables_order.push_back(table_name);
table_columns.emplace(std::move(table_name), std::move(columns));
}
}
2021-04-22 13:23:42 +00:00
using ShouldAddColumnPredicate = std::function<bool (const String&)>;
2021-04-22 13:23:42 +00:00
/// Add columns from table with table_name into select expression list
/// Use should_add_column_predicate for check if column name should be added
2021-04-22 14:19:47 +00:00
/// By default should_add_column_predicate returns true for any column name
2021-04-22 13:23:42 +00:00
void addTableColumns(
const String & table_name,
ASTs & columns,
2021-04-22 14:19:47 +00:00
ShouldAddColumnPredicate should_add_column_predicate = [](const String &) { return true; })
{
auto it = table_columns.find(table_name);
if (it == table_columns.end())
throw Exception("Unknown qualified identifier: " + table_name, ErrorCodes::UNKNOWN_IDENTIFIER);
for (const auto & column : it->second)
{
2021-04-22 13:23:42 +00:00
if (should_add_column_predicate(column.name))
{
ASTPtr identifier;
if (it->first.empty())
/// We want tables from JOIN to have aliases.
/// But it is possible to set joined_subquery_requires_alias = 0,
/// and write a query like `select * FROM (SELECT 1), (SELECT 1), (SELECT 1)`.
/// If so, table name will be empty here.
///
/// We cannot create compound identifier with empty part (there is an assert).
/// So, try our luck and use only column name.
/// (Rewriting AST for JOIN is not an efficient design).
identifier = std::make_shared<ASTIdentifier>(column.name);
else
identifier = std::make_shared<ASTIdentifier>(std::vector<String>{it->first, column.name});
columns.emplace_back(std::move(identifier));
}
}
}
};
2019-10-21 16:22:54 +00:00
static bool needChildVisit(const ASTPtr &, const ASTPtr &) { return false; }
2019-10-21 16:22:54 +00:00
static void visit(const ASTPtr & ast, Data & data)
{
if (auto * t = ast->as<ASTExpressionList>())
visit(*t, ast, data);
}
private:
2019-10-21 16:22:54 +00:00
static void visit(const ASTExpressionList & node, const ASTPtr &, Data & data)
{
bool has_asterisks = false;
data.new_select_expression_list = std::make_shared<ASTExpressionList>();
data.new_select_expression_list->children.reserve(node.children.size());
2020-04-22 06:01:33 +00:00
for (const auto & child : node.children)
{
ASTs columns;
if (const auto * asterisk = child->as<ASTAsterisk>())
{
has_asterisks = true;
for (auto & table_name : data.tables_order)
data.addTableColumns(table_name, columns);
for (const auto & transformer : asterisk->children)
IASTColumnsTransformer::transform(transformer, columns);
}
else if (const auto * qualified_asterisk = child->as<ASTQualifiedAsterisk>())
{
has_asterisks = true;
if (child->children.size() != 1)
throw Exception("Logical error: qualified asterisk must have exactly one child", ErrorCodes::LOGICAL_ERROR);
2020-11-18 16:55:55 +00:00
auto & identifier = child->children[0]->as<ASTTableIdentifier &>();
data.addTableColumns(identifier.name(), columns);
// QualifiedAsterisk's transformers start to appear at child 1
for (auto it = qualified_asterisk->children.begin() + 1; it != qualified_asterisk->children.end(); ++it)
{
IASTColumnsTransformer::transform(*it, columns);
}
}
else if (const auto * columns_list_matcher = child->as<ASTColumnsListMatcher>())
{
has_asterisks = true;
for (const auto & ident : columns_list_matcher->column_list->children)
columns.emplace_back(ident->clone());
for (const auto & transformer : columns_list_matcher->children)
IASTColumnsTransformer::transform(transformer, columns);
}
else if (const auto * columns_regexp_matcher = child->as<ASTColumnsRegexpMatcher>())
{
has_asterisks = true;
for (auto & table_name : data.tables_order)
data.addTableColumns(
table_name,
columns,
[&](const String & column_name) { return columns_regexp_matcher->isColumnMatching(column_name); });
for (const auto & transformer : columns_regexp_matcher->children)
IASTColumnsTransformer::transform(transformer, columns);
}
else
data.new_select_expression_list->children.push_back(child);
data.new_select_expression_list->children.insert(
data.new_select_expression_list->children.end(),
std::make_move_iterator(columns.begin()),
std::make_move_iterator(columns.end()));
}
if (!has_asterisks)
data.new_select_expression_list.reset();
}
};
/// Replaces table elements with pair.
struct RewriteTablesVisitorData
{
using TypeToVisit = ASTTablesInSelectQuery;
ASTPtr left;
ASTPtr right;
bool done = false;
/// @note Do not change ASTTablesInSelectQuery itself. No need to change select.tables.
void visit(ASTTablesInSelectQuery &, ASTPtr & ast)
{
if (done)
return;
std::vector<ASTPtr> new_tables{left, right};
ast->children.swap(new_tables);
done = true;
}
};
bool needRewrite(ASTSelectQuery & select, std::vector<const ASTTableExpression *> & table_expressions)
2018-12-18 18:28:02 +00:00
{
if (!select.tables())
return false;
const auto * tables = select.tables()->as<ASTTablesInSelectQuery>();
2018-12-18 18:28:02 +00:00
if (!tables)
return false;
size_t num_tables = tables->children.size();
if (num_tables <= 2)
return false;
size_t num_array_join = 0;
table_expressions.reserve(num_tables);
for (size_t i = 0; i < num_tables; ++i)
{
2019-03-11 13:22:51 +00:00
const auto * table = tables->children[i]->as<ASTTablesInSelectQueryElement>();
if (!table)
throw Exception("Table expected", ErrorCodes::LOGICAL_ERROR);
if (table->table_expression)
if (const auto * expression = table->table_expression->as<ASTTableExpression>())
table_expressions.push_back(expression);
if (!i)
continue;
if (!table->table_join && !table->array_join)
throw Exception("Joined table expected", ErrorCodes::LOGICAL_ERROR);
if (table->array_join)
{
++num_array_join;
continue;
}
const auto & join = table->table_join->as<ASTTableJoin &>();
2022-07-29 16:30:50 +00:00
if (join.kind == JoinKind::Comma)
2019-03-12 11:06:54 +00:00
throw Exception("COMMA to CROSS JOIN rewriter is not enabled or cannot rewrite query", ErrorCodes::NOT_IMPLEMENTED);
}
if (num_tables - num_array_join <= 2)
return false;
/// it's not trivial to support mix of JOIN ON & JOIN USING cause of short names
if (num_array_join)
throw Exception("Multiple JOIN does not support mix with ARRAY JOINs", ErrorCodes::NOT_IMPLEMENTED);
2018-12-18 18:28:02 +00:00
return true;
}
using RewriteMatcher = OneTypeMatcher<RewriteTablesVisitorData>;
using RewriteVisitor = InDepthNodeVisitor<RewriteMatcher, true>;
2019-10-21 16:22:54 +00:00
using ExtractAsterisksVisitor = ConstInDepthNodeVisitor<ExtractAsterisksMatcher, true>;
/// V2 specific visitors
struct CollectColumnIdentifiersMatcher
{
using Visitor = ConstInDepthNodeVisitor<CollectColumnIdentifiersMatcher, true>;
struct Data
{
std::vector<ASTIdentifier *> & identifiers;
std::vector<std::unordered_set<String>> ignored;
explicit Data(std::vector<ASTIdentifier *> & identifiers_)
: identifiers(identifiers_)
{}
void addIdentifier(const ASTIdentifier & ident)
{
for (const auto & aliases : ignored)
if (aliases.contains(ident.name()))
return;
identifiers.push_back(const_cast<ASTIdentifier *>(&ident));
}
void pushIgnored(const Names & names)
{
ignored.emplace_back(std::unordered_set<String>(names.begin(), names.end()));
}
void popIgnored()
{
ignored.pop_back();
}
};
static bool needChildVisit(const ASTPtr & node, const ASTPtr &)
{
/// "lambda" visit children itself.
if (const auto * f = node->as<ASTFunction>())
if (f->name == "lambda")
return false;
/// Do not go into subqueries. Do not collect table identifiers. Do not get identifier from 't.*'.
return !node->as<ASTSubquery>() &&
!node->as<ASTTablesInSelectQuery>() &&
!node->as<ASTQualifiedAsterisk>();
}
static void visit(const ASTPtr & ast, Data & data)
{
if (auto * t = ast->as<ASTIdentifier>())
visit(*t, ast, data);
else if (auto * f = ast->as<ASTFunction>())
visit(*f, ast, data);
}
static void visit(const ASTIdentifier & ident, const ASTPtr &, Data & data)
{
data.addIdentifier(ident);
}
static void visit(const ASTFunction & func, const ASTPtr &, Data & data)
{
if (func.name == "lambda")
{
data.pushIgnored(RequiredSourceColumnsMatcher::extractNamesFromLambda(func));
Visitor(data).visit(func.arguments->children[1]);
data.popIgnored();
}
}
};
using CollectColumnIdentifiersVisitor = CollectColumnIdentifiersMatcher::Visitor;
struct CheckAliasDependencyVisitorData
{
using TypeToVisit = ASTIdentifier;
const Aliases & aliases;
const ASTIdentifier * dependency = nullptr;
void visit(ASTIdentifier & ident, ASTPtr &)
{
if (!dependency && aliases.contains(ident.name()))
dependency = &ident;
}
};
using CheckAliasDependencyMatcher = OneTypeMatcher<CheckAliasDependencyVisitorData>;
using CheckAliasDependencyVisitor = InDepthNodeVisitor<CheckAliasDependencyMatcher, true>;
struct RewriteWithAliasMatcher
{
using Data = std::unordered_map<String, ASTPtr>;
static bool needChildVisit(const ASTPtr & node, const ASTPtr &)
{
return !node->as<ASTSubquery>();
}
static void visit(ASTPtr & ast, Data & data)
{
String alias = ast->tryGetAlias();
if (!alias.empty())
{
auto it = data.find(alias);
if (it != data.end() && it->second.get() == ast.get())
ast = std::make_shared<ASTIdentifier>(alias);
}
}
};
using RewriteWithAliasVisitor = InDepthNodeVisitor<RewriteWithAliasMatcher, true>;
class SubqueryExpressionsRewriteMatcher
{
public:
struct Data
{
ASTPtr expression_list;
bool done = false;
};
static bool needChildVisit(ASTPtr & node, ASTPtr &)
{
return !node->as<ASTSelectQuery>();
}
static void visit(ASTPtr & ast, Data & data)
{
if (auto * t = ast->as<ASTSelectQuery>())
visit(*t, ast, data);
}
private:
static void visit(ASTSelectQuery & select, ASTPtr &, Data & data)
{
if (!data.done)
{
if (data.expression_list->children.empty())
data.expression_list->children.emplace_back(std::make_shared<ASTAsterisk>());
select.setExpression(ASTSelectQuery::Expression::SELECT, std::move(data.expression_list));
}
data.done = true;
}
};
using SubqueryExpressionsRewriteVisitor = InDepthNodeVisitor<SubqueryExpressionsRewriteMatcher, true>;
struct TableNeededColumns
{
const DatabaseAndTableWithAlias & table;
NameSet no_clashes = {};
NameSet alias_clashes = {};
std::unordered_map<String, String> column_clashes = {};
void fillExpressionList(ASTExpressionList & expression_list) const
{
size_t columns_count = no_clashes.size() + column_clashes.size() + alias_clashes.size();
expression_list.children.reserve(expression_list.children.size() + columns_count);
String table_name = table.getQualifiedNamePrefix(false);
2020-04-22 06:01:33 +00:00
for (const auto & column : no_clashes)
addShortName(column, expression_list);
2020-04-22 06:01:33 +00:00
for (const auto & column : alias_clashes)
addShortName(column, expression_list);
2020-04-22 06:01:33 +00:00
for (const auto & [column, alias] : column_clashes)
addAliasedName(table_name, column, alias, expression_list);
}
static void addShortName(const String & column, ASTExpressionList & expression_list)
{
auto ident = std::make_shared<ASTIdentifier>(column);
expression_list.children.emplace_back(std::move(ident));
}
/// t.x as `some`
static void addAliasedName(const String & table, const String & column, const String & alias, ASTExpressionList & expression_list)
{
auto ident = std::make_shared<ASTIdentifier>(std::vector<String>{table, column});
ident->setAlias(alias);
expression_list.children.emplace_back(std::move(ident));
}
};
class UniqueShortNames
{
public:
2020-03-20 11:31:16 +00:00
/// We know that long names are unique (do not clashes with others).
/// So we could make unique names base on this knolage by adding some unused prefix.
static constexpr const char * pattern = "--";
String longToShort(const String & long_name)
{
2020-03-20 11:31:16 +00:00
auto it = long_to_short.find(long_name);
if (it != long_to_short.end())
return it->second;
2020-03-20 11:31:16 +00:00
String short_name = generateUniqueName(long_name);
long_to_short.emplace(long_name, short_name);
return short_name;
}
private:
2020-03-20 11:31:16 +00:00
std::unordered_map<String, String> long_to_short;
static String generateUniqueName(const String & long_name)
{
2020-03-20 11:31:16 +00:00
return String(pattern) + long_name;
}
};
2020-03-20 12:09:53 +00:00
size_t countTablesWithColumn(const std::vector<TableWithColumnNamesAndTypes> & tables, const String & short_name)
{
size_t count = 0;
2020-04-22 06:01:33 +00:00
for (const auto & table : tables)
if (table.hasColumn(short_name))
++count;
return count;
}
2020-03-20 11:31:16 +00:00
/// 'select `--t.x`, `--t.x`, ...' -> 'select `--t.x` as `t.x`, `t.x`, ...'
void restoreName(ASTIdentifier & ident, const String & original_name, NameSet & restored_names)
{
if (!ident.tryGetAlias().empty())
return;
2020-03-20 11:31:16 +00:00
if (original_name.empty())
return;
if (!restored_names.contains(original_name))
2020-03-20 11:31:16 +00:00
{
ident.setAlias(original_name);
restored_names.emplace(original_name);
}
else
{
2020-03-20 11:31:16 +00:00
ident.setShortName(original_name);
}
2020-03-20 11:31:16 +00:00
}
/// Find clashes and normalize names
/// 1. If column name has no clashes make all its occurrences short: 'table.column' -> 'column', 'table_alias.column' -> 'column'.
/// 2. If column name can't be short cause of alias with same name generate and use unique name for it.
/// 3. If column clashes with another column generate and use unique names for them.
/// 4. If column clashes with another column and it's short - it's 'ambiguous column' error.
/// 5. If column clashes with alias add short column name to select list. It would be removed later if not needed.
std::vector<TableNeededColumns> normalizeColumnNamesExtractNeeded(
const std::vector<TableWithColumnNamesAndTypes> & tables,
const Aliases & aliases,
2020-03-20 11:31:16 +00:00
const std::vector<ASTIdentifier *> & identifiers,
const std::unordered_set<ASTIdentifier *> & public_identifiers,
UniqueShortNames & unique_names)
{
size_t last_table_pos = tables.size() - 1;
std::vector<TableNeededColumns> needed_columns;
needed_columns.reserve(tables.size());
2020-04-22 06:01:33 +00:00
for (const auto & table : tables)
needed_columns.push_back(TableNeededColumns{table.table});
NameSet restored_names;
for (ASTIdentifier * ident : identifiers)
{
bool got_alias = aliases.contains(ident->name());
bool allow_ambiguous = got_alias; /// allow ambiguous column overridden by an alias
if (auto table_pos = IdentifierSemantic::chooseTableColumnMatch(*ident, tables, allow_ambiguous))
{
if (!ident->isShort())
{
if (got_alias)
{
auto alias = aliases.find(ident->name())->second;
2021-05-31 15:00:04 +00:00
auto alias_ident = alias->clone();
alias_ident->as<ASTIdentifier>()->restoreTable();
bool alias_equals_column_name = alias_ident->getColumnNameWithoutAlias() == ident->getColumnNameWithoutAlias();
if (!alias_equals_column_name)
throw Exception("Alias clashes with qualified column '" + ident->name() + "'", ErrorCodes::AMBIGUOUS_COLUMN_NAME);
}
String short_name = ident->shortName();
2020-03-20 11:31:16 +00:00
String original_long_name;
if (public_identifiers.contains(ident))
original_long_name = ident->name();
2020-03-20 11:31:16 +00:00
2020-03-20 12:09:53 +00:00
size_t count = countTablesWithColumn(tables, short_name);
/// isValidIdentifierBegin retuired to be consistent with TableJoin::deduplicateAndQualifyColumnNames
if (count > 1 || aliases.contains(short_name) || !isValidIdentifierBegin(short_name.at(0)))
{
2020-04-22 06:01:33 +00:00
const auto & table = tables[*table_pos];
IdentifierSemantic::setColumnLongName(*ident, table.table); /// table.column -> table_alias.column
const auto & unique_long_name = ident->name();
/// For tables moved into subselects we need unique short names for clashed names
if (*table_pos != last_table_pos)
{
2020-03-20 11:31:16 +00:00
String unique_short_name = unique_names.longToShort(unique_long_name);
ident->setShortName(unique_short_name);
needed_columns[*table_pos].column_clashes.emplace(short_name, unique_short_name);
}
}
else
{
ident->setShortName(short_name); /// table.column -> column
2020-03-20 11:31:16 +00:00
needed_columns[*table_pos].no_clashes.emplace(short_name);
}
2020-03-20 11:31:16 +00:00
restoreName(*ident, original_long_name, restored_names);
}
else if (got_alias)
needed_columns[*table_pos].alias_clashes.emplace(ident->shortName());
else
needed_columns[*table_pos].no_clashes.emplace(ident->shortName());
}
}
return needed_columns;
}
/// Make expression list for current subselect
std::shared_ptr<ASTExpressionList> subqueryExpressionList(
size_t table_pos,
const std::vector<TableNeededColumns> & needed_columns,
const std::vector<std::vector<ASTPtr>> & alias_pushdown)
{
auto expression_list = std::make_shared<ASTExpressionList>();
/// First time extract needed left table columns manually.
/// Next times extract left table columns via QualifiedAsterisk: `--s`.*
if (table_pos == 1)
needed_columns[0].fillExpressionList(*expression_list);
else
expression_list->children.emplace_back(makeSubqueryQualifiedAsterisk());
/// Add needed right table columns
needed_columns[table_pos].fillExpressionList(*expression_list);
2020-04-22 06:01:33 +00:00
for (const auto & expr : alias_pushdown[table_pos])
expression_list->children.emplace_back(expr);
return expression_list;
}
} /// namelesspace
bool JoinToSubqueryTransformMatcher::needChildVisit(ASTPtr & node, const ASTPtr &)
{
return !node->as<ASTSubquery>();
}
2019-02-22 13:33:56 +00:00
void JoinToSubqueryTransformMatcher::visit(ASTPtr & ast, Data & data)
{
2019-03-11 13:22:51 +00:00
if (auto * t = ast->as<ASTSelectQuery>())
visit(*t, ast, data);
}
/// The reason for V2: not to alias columns without clashes.
/// It allows USING and 'select *' for queries with subselects. It doesn't need AsterisksSemantic and related stuff.
/// 1. Expand asterisks in select expression list.
/// 2. Normalize column names and find name clashes
/// 3. Rewrite multiple JOINs with subqueries:
2020-03-20 12:21:02 +00:00
/// SELECT ... FROM (SELECT `--.s`.*, ... FROM (...) AS `--.s` JOIN tableY ON ...) AS `--.s` JOIN tableZ ON ...'
/// 4. Push down expressions of aliases used in ON section into expression list of first reletad subquery
void JoinToSubqueryTransformMatcher::visit(ASTSelectQuery & select, ASTPtr & ast, Data & data)
{
std::vector<const ASTTableExpression *> table_expressions;
if (!needRewrite(select, table_expressions))
return;
auto & src_tables = select.tables()->children;
size_t tables_count = src_tables.size();
if (table_expressions.size() != data.tables.size() ||
tables_count != data.tables.size())
throw Exception("Inconsistent tables count in JOIN rewriter", ErrorCodes::LOGICAL_ERROR);
/// Replace * and t.* with columns in select expression list.
{
ExtractAsterisksVisitor::Data asterisks_data(data.tables);
ExtractAsterisksVisitor(asterisks_data).visit(select.select());
if (asterisks_data.new_select_expression_list)
select.setExpression(ASTSelectQuery::Expression::SELECT, std::move(asterisks_data.new_select_expression_list));
}
/// Collect column identifiers
std::vector<ASTIdentifier *> identifiers;
CollectColumnIdentifiersVisitor::Data data_identifiers(identifiers);
CollectColumnIdentifiersVisitor(data_identifiers).visit(ast);
std::vector<ASTIdentifier *> using_identifiers;
std::vector<std::vector<ASTPtr>> alias_pushdown(tables_count);
std::unordered_map<String, ASTPtr> on_aliases;
/// Collect columns from JOIN sections. Detect if we have aliases there (they need pushdown).
for (size_t table_pos = 0; table_pos < tables_count; ++table_pos)
{
auto * table = src_tables[table_pos]->as<ASTTablesInSelectQueryElement>();
if (table->table_join)
{
auto & join = table->table_join->as<ASTTableJoin &>();
if (join.on_expression)
{
std::vector<ASTIdentifier *> on_identifiers;
CollectColumnIdentifiersVisitor::Data data_on_identifiers(on_identifiers);
CollectColumnIdentifiersVisitor(data_on_identifiers).visit(join.on_expression);
identifiers.insert(identifiers.end(), on_identifiers.begin(), on_identifiers.end());
/// Extract aliases used in ON section for pushdown. Exclude the last table.
if (table_pos < tables_count - 1)
{
for (auto * ident : on_identifiers)
{
auto it = data.aliases.find(ident->name());
if (!on_aliases.contains(ident->name()) && it != data.aliases.end())
{
auto alias_expression = it->second;
alias_pushdown[table_pos].push_back(alias_expression);
on_aliases[ident->name()] = alias_expression;
}
}
}
}
else if (join.using_expression_list)
{
CollectColumnIdentifiersVisitor::Data data_using_identifiers(using_identifiers);
CollectColumnIdentifiersVisitor(data_using_identifiers).visit(join.using_expression_list);
}
}
}
/// Check if alias expression is too complex to push it down.
for (auto & expr : on_aliases)
{
CheckAliasDependencyVisitor::Data check{data.aliases};
CheckAliasDependencyVisitor(check).visit(expr.second);
if (check.dependency)
throw Exception("Cannot rewrite JOINs. Alias '" + expr.first +
"' used in ON section depends on another alias '" + check.dependency->name() + "'",
ErrorCodes::NOT_IMPLEMENTED);
}
/// Check same name in aliases, USING and ON sections. Cannot push down alias to ON through USING cause of name masquerading.
for (auto * ident : using_identifiers)
if (on_aliases.contains(ident->name()))
throw Exception("Cannot rewrite JOINs. Alias '" + ident->name() + "' appears both in ON and USING", ErrorCodes::NOT_IMPLEMENTED);
using_identifiers.clear();
/// Replace pushdowned expressions with aliases names in original expression lists.
RewriteWithAliasVisitor(on_aliases).visit(ast);
on_aliases.clear();
2020-03-20 11:31:16 +00:00
/// We need to know if identifier is public. If so we have too keep its output name.
std::unordered_set<ASTIdentifier *> public_identifiers;
for (auto & top_level_child : select.select()->children)
if (auto * ident = top_level_child->as<ASTIdentifier>())
{
if (!data.try_to_keep_original_names || startsWith(ident->name(), UniqueShortNames::pattern))
public_identifiers.insert(ident);
}
2020-03-20 11:31:16 +00:00
UniqueShortNames unique_names;
std::vector<TableNeededColumns> needed_columns =
2020-03-20 11:31:16 +00:00
normalizeColumnNamesExtractNeeded(data.tables, data.aliases, identifiers, public_identifiers, unique_names);
/// Rewrite JOINs with subselects
ASTPtr left_table = src_tables[0];
static ASTPtr subquery_template = makeSubqueryTemplate();
for (size_t i = 1; i < src_tables.size() - 1; ++i)
{
auto expression_list = subqueryExpressionList(i, needed_columns, alias_pushdown);
ASTPtr subquery = subquery_template->clone();
SubqueryExpressionsRewriteVisitor::Data expr_rewrite_data{std::move(expression_list)};
SubqueryExpressionsRewriteVisitor(expr_rewrite_data).visit(subquery);
left_table = replaceJoin(left_table, src_tables[i], subquery);
}
RewriteVisitor::Data visitor_data{left_table, src_tables.back()};
RewriteVisitor(visitor_data).visit(select.refTables());
data.done = true;
}
ASTPtr JoinToSubqueryTransformMatcher::replaceJoin(ASTPtr ast_left, ASTPtr ast_right, ASTPtr subquery_template)
{
2019-03-11 13:22:51 +00:00
const auto * left = ast_left->as<ASTTablesInSelectQueryElement>();
const auto * right = ast_right->as<ASTTablesInSelectQueryElement>();
if (!left || !right)
throw Exception("Two TablesInSelectQueryElements expected", ErrorCodes::LOGICAL_ERROR);
if (!right->table_join)
throw Exception("Table join expected", ErrorCodes::LOGICAL_ERROR);
/// replace '_t' with pair of joined tables
2019-01-17 17:01:48 +00:00
RewriteVisitor::Data visitor_data{ast_left, ast_right};
RewriteVisitor(visitor_data).visit(subquery_template);
return subquery_template;
}
}