1#ifndef ITEM_SUBSELECT_INCLUDED
2#define ITEM_SUBSELECT_INCLUDED
237 pointer_cast<Check_function_as_value_generator_parameters *>(args);
245 std::vector<Item_subselect *>
list;
249 for (
auto sq :
list) {
250 if (sq->unit == candidate)
return true;
290 void reset()
override;
320 return reinterpret_cast<Item *
>(
row[i]);
376 bool max,
bool ignore_nulls);
900 in_predicate,
nullptr,
nullptr),
Abstract factory interface for creating comparison predicates.
Definition: item_cmpfunc.h:522
ALL/ANY/SOME subselect.
Definition: item_subselect.h:714
Item_allany_subselect(Item *left_expr, chooser_compare_func_creator fc, Query_block *select, bool all)
Definition: item_subselect.cc:1487
Comp_creator * func
Definition: item_subselect.h:717
bool select_transformer(THD *thd, Query_block *select) override
Definition: item_subselect.cc:2712
void print(const THD *thd, String *str, enum_query_type query_type) const override
This method is used for to:
Definition: item_subselect.cc:2720
chooser_compare_func_creator func_creator
Definition: item_subselect.h:716
bool all
Definition: item_subselect.h:718
subs_type substype() const override
Definition: item_subselect.h:724
Definition: item_subselect.h:416
enum_condition_context outer_condition_context
Used by the transformation to derived table.
Definition: item_subselect.h:429
void apply_is_true() override
Apply the IS TRUE truth property, meaning that an UNKNOWN result and a FALSE result are treated the s...
Definition: item_subselect.h:485
bool resolve_type(THD *thd) override
Resolve type-related information for this item, such as result field type, maximum size,...
Definition: item_subselect.cc:1501
bool get_date(MYSQL_TIME *ltime, my_time_flags_t fuzzydate) override
Definition: item_subselect.h:499
String * val_str(String *) override
Return the result of EXISTS as a string value.
Definition: item_subselect.cc:1580
Item_exists_subselect()
Definition: item_subselect.h:450
double val_real() override
Definition: item_subselect.cc:1566
bool get_time(MYSQL_TIME *ltime) override
Definition: item_subselect.h:502
bool implicit_is_op
True if the IS TRUE/FALSE wasn't explicit in the query.
Definition: item_subselect.h:482
Item * truth_transformer(THD *, enum Bool_test test) override
Informs an item that it is wrapped in a truth test, in case it wants to transforms itself to implemen...
Definition: item_subselect.cc:1397
longlong val_int() override
Definition: item_subselect.cc:1568
Subquery_strategy strategy
Execution strategy chosen for this Item.
Definition: item_subselect.h:427
bool val_bool() override
Definition: item_subselect.cc:1604
int sj_convert_priority
Priority of this predicate in the convert-to-semi-join-nest process.
Definition: item_subselect.h:425
void reset() override
Definition: item_subselect.h:462
bool value
value of this item (boolean: exists/not-exists)
Definition: item_subselect.h:421
void print(const THD *thd, String *str, enum_query_type query_type) const override
This method is used for to:
Definition: item_subselect.cc:1339
bool can_do_aj
True if the Item has decided that it can do antijoin.
Definition: item_subselect.h:492
bool with_is_op() const
Definition: item_subselect.h:470
enum Bool_test value_transform
Definition: item_subselect.h:469
void notify_removal() override
Called when an item has been removed, can be used to notify external objects about the removal,...
Definition: item_subselect.h:454
subs_type substype() const override
Definition: item_subselect.h:460
Item_subselect super
Definition: item_subselect.h:417
bool translate(bool &null_v, bool v)
Translates the value of the naked EXISTS to a value taking into account the optional NULL and IS [NOT...
Definition: item_subselect.cc:1360
bool is_bool_func() const override
Definition: item_subselect.h:461
Table_ref * embedding_join_nest
Used by subquery optimizations to keep track about where this subquery predicate is located,...
Definition: item_subselect.h:446
bool choose_semijoin_or_antijoin()
Helper for resolve_subquery().
Definition: item_subselect.cc:1529
Item_exists_subselect(const POS &pos)
Definition: item_subselect.h:452
bool select_transformer(THD *, Query_block *) override
Definition: item_subselect.h:456
my_decimal * val_decimal(my_decimal *) override
Return the result of EXISTS as a decimal value.
Definition: item_subselect.cc:1597
enum Item_result result_type() const override
Definition: item_subselect.h:464
int fix_outer_field(THD *thd, Field **field, Item **reference)
Resolve the name of an outer select column reference.
Definition: item.cc:5239
bool fix_fields(THD *, Item **) override
Resolve the name of a column reference.
Definition: item.cc:5680
Definition: item_cmpfunc.h:909
void fix_after_pullout(Query_block *parent_query_block, Query_block *removed_query_block) override
Fix after tables have been moved from one query_block level to the parent level, e....
Definition: item.cc:3148
Definition: item_cmpfunc.h:489
Representation of IN subquery predicates of the form "left_expr IN (SELECT ...)".
Definition: item_subselect.h:525
bool fix_fields(THD *thd, Item **ref) override
An object of class Item_in_subselect is always substituted with another object of class Item_in_optim...
Definition: item_subselect.cc:2509
Item * left_expr
Definition: item_subselect.h:529
void fix_after_pullout(Query_block *parent_query_block, Query_block *removed_query_block) override
Definition: item_subselect.cc:2530
my_decimal * val_decimal(my_decimal *) override
Return the result of EXISTS as a decimal value.
Definition: item_subselect.cc:1658
bool row_value_transformer(THD *thd, Query_block *select)
Definition: item_subselect.cc:2122
struct Item_in_subselect::In2exists_info * in2exists_info
Item_in_optimizer * optimizer
Pointer to the created Item_in_optimizer; it is stored for the same reasons as 'm_injected_left_expr'...
Definition: item_subselect.h:567
Item * compile(Item_analyzer analyzer, uchar **arg_p, Item_transformer transformer, uchar *arg_t) override
Perform a generic "compilation" of the Item tree, ie transform the Item tree by adding zero or more I...
Definition: item_subselect.cc:733
bool row_value_in_to_exists_transformer(THD *thd, Query_block *select)
Transform a (possibly non-correlated) IN subquery into a correlated EXISTS.
Definition: item_subselect.cc:2186
double val_real() override
Definition: item_subselect.cc:1615
bool select_transformer(THD *thd, Query_block *select) override
Definition: item_subselect.cc:2380
std::optional< ContainedSubquery > get_contained_subquery(const Query_block *outer_query_block) override
If this item represents a IN/ALL/ANY/comparison_operator subquery, return that (along with data on ho...
Definition: item_subselect.cc:2585
bool need_expr_cache
The need for expr cache may be optimized away,.
Definition: item_subselect.h:540
void set_cond_guard_var(int i, bool v)
Definition: item_subselect.h:626
Item_func_not_all * upper_item
Definition: item_subselect.h:608
bool finalize_materialization_transform(THD *thd, JOIN *join)
Once the decision to use materialization has been taken, performs some last steps of this transformat...
Definition: item_subselect.cc:421
bool itemize(Parse_context *pc, Item **res) override
The same as contextualize() but with additional parameter.
Definition: item_subselect.cc:1476
void print(const THD *thd, String *str, enum_query_type query_type) const override
This method is used for to:
Definition: item_subselect.cc:2467
bool abort_on_null
True if naked IN is allowed to exchange FALSE for UNKNOWN.
Definition: item_subselect.h:576
void reset() override
Definition: item_subselect.h:653
bool mark_as_outer(Item *left_row, size_t col)
Decide whether to mark the injected left expression "outer" relative to the subquery.
Definition: item_subselect.cc:375
Item * transform(Item_transformer transformer, uchar *arg) override
Perform a generic transformation of the Item tree, by adding zero or more additional Item objects to ...
Definition: item_subselect.cc:726
bool dependent_before_in2exists() const
Is reliable only if IN->EXISTS has been done.
Definition: item_subselect.h:619
bool * pushed_cond_guards
Definition: item_subselect.h:606
AccessPath * root_access_path() const override
Definition: item_subselect.cc:511
bool select_in_like_transformer(THD *thd, Query_block *select, Comp_creator *func)
Prepare IN/ALL/ANY/SOME subquery transformation and call appropriate transformation function.
Definition: item_subselect.cc:2400
PT_subquery * pt_subselect
Definition: item_subselect.h:611
longlong val_int() override
Definition: item_subselect.cc:1622
bool finalize_exists_transform(THD *thd, Query_block *select)
Once the decision to use IN->EXISTS has been taken, performs some last steps of this transformation.
Definition: item_subselect.cc:382
bool val_bool() override
Definition: item_subselect.cc:1636
bool single_value_transformer(THD *thd, Query_block *select, Comp_creator *func)
Rewrite a single-column IN/ALL/ANY subselect.
Definition: item_subselect.cc:1694
List< Cached_item > * left_expr_cache
Cache of the left operand of the subquery predicate.
Definition: item_subselect.h:536
bool was_null
Definition: item_subselect.h:568
bool init_left_expr_cache(THD *thd)
Initialize the cache of the left operand of the IN predicate.
Definition: item_subselect.cc:2554
void cleanup() override
Called for every Item after use (preparation and execution).
Definition: item_subselect.cc:479
String * val_str(String *) override
Return the result of EXISTS as a string value.
Definition: item_subselect.cc:1629
void update_used_tables() override
Updates used tables, not null tables information and accumulates properties up the item tree,...
Definition: item_subselect.cc:2537
bool in2exists_added_to_where() const
Definition: item_subselect.h:614
bool * get_cond_guard(int i)
Definition: item_subselect.h:623
bool walk(Item_processor processor, enum_walk walk, uchar *arg) override
Traverses a tree of Items in prefix and/or postfix order.
Definition: item_subselect.cc:720
subs_type substype() const override
Definition: item_subselect.h:651
Item_exists_subselect super
Definition: item_subselect.h:526
bool single_value_in_to_exists_transformer(THD *thd, Query_block *select, Comp_creator *func)
Transform an IN predicate into EXISTS via predicate injection.
Definition: item_subselect.cc:1903
bool test_limit()
Definition: item_subselect.cc:1427
Item_in_subselect()
Definition: item_subselect.h:634
bool val_bool_naked()
Definition: item_subselect.cc:1643
Item_ref * m_injected_left_expr
In the case of.
Definition: item_subselect.h:561
bool exec(THD *thd) override
Definition: item_subselect.cc:749
bool left_expr_cache_filled
Whether left_expr_cache holds a value.
Definition: item_subselect.h:537
Definition: item_cmpfunc.h:2287
Definition: item_subselect.h:370
void print(const THD *thd, String *str, enum_query_type query_type) const override
This method is used for to:
Definition: item_subselect.cc:1091
bool max
Definition: item_subselect.h:372
Item_maxmin_subselect(Item_subselect *parent, Query_block *query_block, bool max, bool ignore_nulls)
Definition: item_subselect.cc:1065
bool any_value()
Definition: item_subselect.h:380
bool is_maxmin() const override
Definition: item_subselect.h:383
void cleanup() override
Called for every Item after use (preparation and execution).
Definition: item_subselect.cc:1084
void reset_value_registration() override
Definition: item_subselect.h:382
void register_value()
Definition: item_subselect.h:381
bool was_values
Definition: item_subselect.h:373
bool fix_fields(THD *, Item **) override
Resolve the name of a reference to a column reference.
Definition: item.cc:8004
Item with result field.
Definition: item.h:5590
Definition: item_subselect.h:278
Item * replace_scalar_subquery(uchar *arge) override
When walking the item tree seeing an Item_singlerow_subselect matching a target, replace it with a su...
Definition: item_subselect.cc:2808
enum Item_result result_type() const override
Definition: item_subselect.cc:1165
void store(uint i, Item *item)
Definition: item_subselect.cc:1160
void cleanup() override
Called for every Item after use (preparation and execution).
Definition: item_subselect.cc:341
bool null_inside() override
Definition: item_subselect.cc:1209
Item ** addr(uint i) override
Definition: item_subselect.h:322
double val_real() override
Definition: item_subselect.cc:1223
bool resolve_type(THD *) override
Resolve type-related information for this item, such as result field type, maximum size,...
Definition: item_subselect.cc:1169
void no_rows_in_result() override
Definition: item_subselect.cc:1192
bool val_json(Json_wrapper *result) override
Get a JSON value from an Item.
Definition: item_subselect.cc:1266
void reset() override
Definition: item_subselect.cc:1097
bool get_date(MYSQL_TIME *ltime, my_time_flags_t fuzzydate) override
Definition: item_subselect.cc:1276
std::optional< ContainedSubquery > get_contained_subquery(const Query_block *outer_query_block) override
If this item represents a IN/ALL/ANY/comparison_operator subquery, return that (along with data on ho...
Definition: item_subselect.cc:2847
longlong val_int() override
Definition: item_subselect.cc:1234
uint cols() const override
Definition: item_subselect.h:311
virtual bool is_maxmin() const
Definition: item_subselect.h:328
Item * element_index(uint i) override
Definition: item_subselect.h:319
Item_cache ** row
Definition: item_subselect.h:280
Item_singlerow_subselect()
Definition: item_subselect.h:284
Query_block * invalidate_and_restore_query_block()
This method is used to implement a special case of semantic tree rewriting, mandated by a SQL:2003 ex...
Definition: item_subselect.cc:881
bool collect_scalar_subqueries(uchar *) override
Definition: item_subselect.cc:2734
bool select_transformer(THD *thd, Query_block *select) override
Definition: item_subselect.cc:1112
bool get_time(MYSQL_TIME *ltime) override
Definition: item_subselect.cc:1287
String * val_str(String *) override
Definition: item_subselect.cc:1245
bool val_bool() override
Definition: item_subselect.cc:1297
bool no_rows
no_rows_in_result
Definition: item_subselect.h:281
subs_type substype() const override
Definition: item_subselect.h:288
void bring_value() override
Definition: item_subselect.cc:1216
bool check_cols(uint c) override
Definition: item_subselect.cc:1201
Item_cache * value
Definition: item_subselect.h:280
my_decimal * val_decimal(my_decimal *) override
Definition: item_subselect.cc:1255
Definition: item_subselect.h:79
subselect_indexsubquery_engine * indexsubquery_engine
Only relevant for Item_in_subselect; optimized structure used for execution in place of running the e...
Definition: item_subselect.h:140
enum_parsing_context parsing_place
where subquery is placed
Definition: item_subselect.h:147
Item * replace_item_view_ref(uchar *arg) override
Transform processor.
Definition: item_subselect.cc:2936
bool clean_up_after_removal(uchar *arg) override
Clean up after removing the subquery from the item tree.
Definition: item_subselect.cc:2678
bool is_evaluated() const
Definition: item_subselect.cc:2718
bool collect_subqueries(uchar *) override
Definition: item_subselect.cc:2705
table_map used_tables() const override
Definition: item_subselect.h:201
subs_type
Definition: item_subselect.h:157
@ UNKNOWN_SUBS
Definition: item_subselect.h:158
@ EXISTS_SUBS
Definition: item_subselect.h:160
@ SINGLEROW_SUBS
Definition: item_subselect.h:159
@ ALL_SUBS
Definition: item_subselect.h:162
@ ANY_SUBS
Definition: item_subselect.h:163
@ IN_SUBS
Definition: item_subselect.h:161
void accumulate_expression(Item *item)
Accumulate properties from a selected expression within a query block.
Definition: item_subselect.cc:276
void accumulate_used_tables(table_map add_tables)
Accumulate used tables.
Definition: item_subselect.h:182
bool check_function_as_value_generator(uchar *args) override
Check if this item is allowed for a virtual column or inside a default expression.
Definition: item_subselect.h:235
bool is_uncacheable() const
Definition: item_subselect.cc:3138
void accumulate_properties()
Accumulate properties from underlying query expression.
Definition: item_subselect.cc:212
virtual bool exec(THD *thd)
Definition: item_subselect.cc:630
enum_engine_type
Definition: item_subselect.h:116
@ INDEXSUBQUERY_ENGINE
Definition: item_subselect.h:116
@ HASH_SJ_ENGINE
Definition: item_subselect.h:116
@ OTHER_ENGINE
Definition: item_subselect.h:116
void print(const THD *thd, String *str, enum_query_type query_type) const override
This method is used for to:
Definition: item_subselect.cc:829
Query_expression * unit
Definition: item_subselect.h:108
virtual void reset_value_registration()
Definition: item_subselect.h:223
bool explain_subquery_checker(uchar **arg) override
Register subquery to the table where it is used within a condition.
Definition: item_subselect.cc:623
bool traced_before
Whether or not execution of this subselect has been traced by optimizer tracing already.
Definition: item_subselect.h:90
virtual bool select_transformer(THD *thd, Query_block *select)=0
Item * substitution
Definition: item_subselect.h:105
Item * get_tmp_table_item(THD *thd) override
If an Item is materialized in a temporary table, a different Item may have to be used in the part of ...
Definition: item_subselect.cc:808
enum_parsing_context place()
Definition: item_subselect.h:224
virtual void reset()
Definition: item_subselect.h:190
Item * replace_item_field(uchar *arg) override
Transform processor.
Definition: item_subselect.cc:2928
uint max_columns
allowed number of columns (1 for scalar subqueries)
Definition: item_subselect.h:145
join_type get_join_type() const
Definition: item_subselect.cc:322
bool assigned() const
Definition: item_subselect.h:192
int in_cond_of_tab
If !=NO_PLAN_IDX: this Item is in the condition attached to the JOIN_TAB having this index in the par...
Definition: item_subselect.h:113
void accumulate_condition(Item *item)
Accumulate properties from a condition or GROUP/ORDER within a query block.
Definition: item_subselect.cc:287
virtual AccessPath * root_access_path() const
Definition: item_subselect.h:125
void create_iterators(THD *thd)
Definition: item_subselect.cc:292
void cleanup() override
Called for every Item after use (preparation and execution).
Definition: item_subselect.cc:327
Item * replace_item(Item_transformer t, uchar *arg)
Definition: item_subselect.cc:2871
table_map m_subquery_used_tables
cache of used tables, used to identify tables added for IN subquery
Definition: item_subselect.h:153
const TABLE * get_table() const
Definition: item_subselect.cc:312
enum Type type() const override
Definition: item_subselect.cc:801
bool fix_fields(THD *thd, Item **ref) override
Definition: item_subselect.cc:532
bool resolve_type(THD *) override
Resolve type-related information for this item, such as result field type, maximum size,...
Definition: item_subselect.cc:803
void set_indexsubquery_engine(subselect_indexsubquery_engine *eng)
Definition: item_subselect.h:208
void assigned(bool a)
Definition: item_subselect.h:193
const char * func_name() const override
Definition: item_subselect.h:230
bool have_to_be_excluded
work with 'substitution'
Definition: item_subselect.h:149
table_map not_null_tables() const override
Return table map of tables that can't be NULL tables (tables that are used in a context where if they...
Definition: item_subselect.h:202
table_map used_tables_cache
cache of used tables
Definition: item_subselect.h:143
void update_used_tables() override
Updates used tables, not null tables information and accumulates properties up the item tree,...
Definition: item_subselect.cc:820
bool walk(Item_processor processor, enum_walk walk, uchar *arg) override
Traverses a tree of Items in prefix and/or postfix order.
Definition: item_subselect.cc:602
bool changed
subquery is transformed
Definition: item_subselect.h:155
Item_subselect()
Definition: item_subselect.cc:101
bool is_null() override
The method allows to determine nullness of a complex expression without fully evaluating it,...
Definition: item_subselect.h:195
void init(Query_block *select, Query_result_subquery *result)
We need this method, because some compilers do not allow 'this' pointer in constructor initialization...
Definition: item_subselect.cc:137
const Index_lookup & index_lookup() const
Definition: item_subselect.cc:317
enum_engine_type engine_type() const
Definition: item_subselect.cc:298
virtual subs_type substype() const
Definition: item_subselect.h:187
unique_ptr_destroy_only< SubqueryWithResult > subquery
The inner part of the subquery.
Definition: item_subselect.h:136
Item_result_field super
Definition: item_subselect.h:80
bool inform_item_in_cond_of_tab(uchar *arg) override
Tells an Item that it is in the condition of a JOIN_TAB of a query block.
Definition: item_subselect.cc:2650
bool value_assigned
Definition: item_subselect.h:83
bool subq_opt_away_processor(uchar *arg) override
Mark the subquery as optimized away, for EXPLAIN.
Definition: item_subselect.cc:2662
uint unit_cols() const
Definition: item_subselect.cc:3133
void fix_after_pullout(Query_block *parent_query_block, Query_block *removed_query_block) override
Definition: item_subselect.cc:700
Base class that is used to represent any kind of expression in a relational query.
Definition: item.h:850
bool null_value
True if item is null.
Definition: item.h:3449
Type
Definition: item.h:886
Bool_test
< Modifier for result transformation
Definition: item.h:934
@ BOOL_NOT_FALSE
Definition: item.h:938
@ BOOL_NOT_TRUE
Definition: item.h:937
@ BOOL_IS_TRUE
Definition: item.h:934
@ BOOL_IS_FALSE
Definition: item.h:935
@ BOOL_IDENTITY
Definition: item.h:940
bool get_date_from_int(MYSQL_TIME *ltime, my_time_flags_t flags)
Convert val_int() to date in MYSQL_TIME.
Definition: item.cc:1478
bool update_null_value()
Make sure the null_value member has a correct value.
Definition: item.cc:7357
bool get_time_from_int(MYSQL_TIME *ltime)
Convert val_int() to time in MYSQL_TIME.
Definition: item.cc:1565
Definition: sql_optimizer.h:132
Abstraction for accessing JSON values irrespective of whether they are (started out as) binary JSON v...
Definition: json_dom.h:1160
Definition: sql_list.h:433
Definition: parse_tree_nodes.h:1605
Base class for parse tree nodes (excluding the Parse_tree_root hierarchy)
Definition: parse_tree_node_base.h:138
This class represents a query block, aka a query specification, which is a query consisting of a SELE...
Definition: sql_lex.h:1155
This class represents a query expression (one query block or several query blocks combined with UNION...
Definition: sql_lex.h:622
Definition: item_subselect.cc:1308
Definition: query_result.h:173
Definition: item_subselect.cc:848
Base class for result from a subquery.
Definition: query_result.h:295
Definition: sql_union.h:39
Using this class is fraught with peril, and you need to be very careful when doing so.
Definition: sql_string.h:166
Definition: item_subselect.h:730
enum Item_result type() const
Definition: item_subselect.h:760
Item_subselect * item
Definition: item_subselect.h:774
bool maybe_null
True if at least one of the columns returned by the subquery may be null, or if a single-row subquery...
Definition: item_subselect.h:781
bool may_be_null() const
Definition: item_subselect.h:762
void print(const THD *thd, String *str, enum_query_type query_type)
Definition: item_subselect.cc:3140
Query_block * single_query_block() const
Definition: item_subselect.cc:3204
enum Item_result res_type
Definition: item_subselect.h:775
enum_field_types res_field_type
Definition: item_subselect.h:776
bool exec(THD *thd)
Execute the subquery.
Definition: item_subselect.cc:3059
SubqueryWithResult(Query_expression *u, Query_result_interceptor *res, Item_subselect *si)
Definition: item_subselect.cc:2945
Query_result_interceptor * result
Definition: item_subselect.h:773
enum_field_types field_type() const
Definition: item_subselect.h:761
Query_expression * unit
Definition: item_subselect.h:783
void fix_length_and_dec(Item_cache **row)
Definition: item_subselect.cc:3039
bool prepare(THD *thd)
Prepare the query expression underlying the subquery.
Definition: item_subselect.cc:2969
const Item_subselect * get_item() const
Definition: item_subselect.h:769
void set_row(const mem_root_deque< Item * > &item_list, Item_cache **row, bool never_empty)
Makes storage for the output values for a scalar or row subquery and calculates their data and column...
Definition: item_subselect.cc:2986
void cleanup()
Cleanup subquery after complete query execution, free all resources.
Definition: item_subselect.cc:2940
bool change_query_result(THD *thd, Item_subselect *si, Query_result_subquery *result)
change query result object of subquery.
Definition: item_subselect.cc:3196
For each client connection we create a separate thread with THD serving as a thread/connection descri...
Definition: sql_lexer_thd.h:33
Object containing parameters used when creating and using temporary tables.
Definition: temp_table_param.h:94
A (partial) implementation of std::deque allocating its blocks on a MEM_ROOT.
Definition: mem_root_deque.h:109
my_decimal class limits 'decimal_t' type to what we need in MySQL.
Definition: my_decimal.h:93
Compute an IN predicate via a hash semi-join.
Definition: item_subselect.h:868
void create_iterators(THD *thd) override
Definition: item_subselect.cc:3406
void print(const THD *thd, String *str, enum_query_type query_type) override
Print the state of this engine into a string for debugging and views.
Definition: item_subselect.cc:3637
nulls_exist
Existence of inner NULLs in materialized table: By design, other values than IRRELEVANT_OR_FALSE are ...
Definition: item_subselect.h:880
@ NEX_TRUE
they matter, and we know there exists at least one.
Definition: item_subselect.h:886
@ NEX_UNKNOWN
they matter, and we don't know yet if they exists
Definition: item_subselect.h:884
@ NEX_IRRELEVANT_OR_FALSE
none, or they don't matter
Definition: item_subselect.h:882
void cleanup() override
Cleanup performed after each execution.
Definition: item_subselect.cc:3483
unique_ptr_destroy_only< RowIterator > m_iterator
Definition: item_subselect.h:890
TABLE * get_table() const
Definition: item_subselect.h:911
subselect_hash_sj_engine(Item_in_subselect *in_predicate, Query_expression *unit_arg)
Definition: item_subselect.h:897
Query_expression *const unit
Definition: item_subselect.h:889
~subselect_hash_sj_engine() override
Definition: item_subselect.cc:3472
Query_result_interceptor * saved_result
Saved result object, must be restored after use.
Definition: item_subselect.h:894
enum nulls_exist mat_table_has_nulls
Definition: item_subselect.h:888
bool is_materialized
Definition: item_subselect.h:871
bool has_zero_rows
Definition: item_subselect.h:874
const Index_lookup & index_lookup() const
Definition: item_subselect.h:912
bool exec(THD *thd) override
Execute a subquery IN predicate via materialization.
Definition: item_subselect.cc:3519
enum_engine_type engine_type() const override
Definition: item_subselect.h:909
AccessPath * root_access_path() const
Definition: item_subselect.h:914
bool setup(THD *thd, const mem_root_deque< Item * > &tmp_columns)
Create all structures needed for subquery execution using hash semijoin.
Definition: item_subselect.cc:3236
enum join_type get_join_type() const
Definition: item_subselect.h:913
AccessPath * m_root_access_path
Definition: item_subselect.h:891
A subquery execution engine that evaluates the subquery by doing index lookups in a single table's in...
Definition: item_subselect.h:807
Item * having
Definition: item_subselect.h:827
TABLE * table
Table which is read, using one of eq_ref, ref, ref_or_null.
Definition: item_subselect.h:811
virtual ~subselect_indexsubquery_engine()=default
virtual void cleanup()
Definition: item_subselect.h:850
virtual bool exec(THD *thd)
Definition: item_subselect.cc:3122
virtual void print(const THD *thd, String *str, enum_query_type query_type)
Definition: item_subselect.cc:3145
Item * cond
Definition: item_subselect.h:815
subselect_indexsubquery_engine(TABLE *table, Table_ref *table_ref, const Index_lookup &ref, enum join_type join_type, Item_in_subselect *subs, Item *where, Item *having_arg)
Definition: item_subselect.h:834
virtual void create_iterators(THD *)
Definition: item_subselect.h:851
join_type type
Definition: item_subselect.h:814
enum_engine_type
Definition: item_subselect.h:832
@ HASH_SJ_ENGINE
Definition: item_subselect.h:832
@ INDEXSUBQUERY_ENGINE
Definition: item_subselect.h:832
Index_lookup ref
Definition: item_subselect.h:813
ulonglong hash
Definition: item_subselect.h:816
virtual enum_engine_type engine_type() const
Definition: item_subselect.h:849
Item_in_subselect * item
Definition: item_subselect.h:829
Table_ref * table_ref
Definition: item_subselect.h:812
Comp_creator *(*)(bool invert) chooser_compare_func_creator
Convenience typedef for a function that returns factories for Item comparators (ie....
Definition: comp_creator.h:38
static int cmp(Bigint *a, Bigint *b)
Definition: dtoa.cc:1064
enum_query_type
Query type constants (usable as bitmap flags).
Definition: enum_query_type.h:30
Fido Client Authentication nullptr
Definition: fido_client_plugin.cc:221
This file contains the field type.
enum_field_types
Column types for MySQL.
Definition: field_types.h:52
bool subquery_allows_materialization(THD *thd, Query_block *query_block, const Query_block *outer)
Check if the subquery predicate can be executed via materialization.
Definition: sql_resolver.cc:983
Item * all_any_subquery_creator(Item *left_expr, chooser_compare_func_creator cmp, bool all, Query_block *select)
Construct ALL/ANY/SOME subquery Item.
Definition: sql_parse.cc:6687
bool(Item::* Item_analyzer)(uchar **argp)
Definition: item.h:711
Item *(Item::* Item_transformer)(uchar *arg)
Type for transformers used by Item::transform and Item::compile.
Definition: item.h:720
Item * remove_in2exists_conds(Item *conds)
Removes every predicate injected by IN->EXISTS.
Definition: item_subselect.cc:405
bool IsItemInSubSelect(Item *item)
Returns whether the Item is an IN-subselect.
Definition: item_subselect.cc:2617
Subquery_strategy
Strategy which will be used to handle this subquery: flattening to a semi-join, conversion to a deriv...
Definition: item_subselect.h:394
@ CANDIDATE_FOR_SEMIJOIN
Candidate for semi-join flattening.
@ UNSPECIFIED
Nothing decided yet.
@ SUBQ_EXISTS
Evaluate as EXISTS subquery (possibly after rewriting from another type)
@ DERIVED_TABLE
Rewrite to joined derived table.
@ DELETED
Subquery has been deleted, probably because it was always false.
@ CANDIDATE_FOR_IN2EXISTS_OR_MAT
Candidate for rewriting IN(subquery) to EXISTS, or subquery materialization.
@ SEMIJOIN
Semi-join flattening.
@ SUBQ_MATERIALIZATION
Subquery materialization (HASH_SJ_ENGINE)
@ CANDIDATE_FOR_DERIVED_TABLE
Candidate for rewriting to joined derived table.
This file follows Google coding style, except for the name MEM_ROOT (which is kept for historical rea...
std::unique_ptr< T, Destroy_only< T > > unique_ptr_destroy_only
std::unique_ptr, but only destroying.
Definition: my_alloc.h:488
Some integer typedefs for easier portability.
unsigned long long int ulonglong
Definition: my_inttypes.h:55
unsigned char uchar
Definition: my_inttypes.h:51
long long int longlong
Definition: my_inttypes.h:54
uint64_t table_map
Definition: my_table_map.h:29
Interface for low level time utilities.
unsigned int my_time_flags_t
Flags to str_to_datetime and number_to_datetime.
Definition: my_time.h:93
Time declarations shared between the server and client API: you should not add anything to this heade...
static char * where
Definition: mysqldump.cc:136
std::string str(const mysqlrouter::ConfigGenerator::Options::Endpoint &ep)
Definition: config_generator.cc:1054
PT & ref(PT *tp)
Definition: tablespace_impl.cc:358
std::string join(Container cont, const std::string &delim)
join elements of an container into a string separated by a delimiter.
Definition: string.h:150
enum_parsing_context
Names for different query parse tree parts.
Definition: parse_tree_node_base.h:57
File containing constants that can be used throughout the server.
enum_walk
Enumeration for {Item,Query_block[_UNIT],Table_function}walk.
Definition: sql_const.h:286
bool(Item::*)(unsigned char *) Item_processor
Processor type for {Item,Query_block[_UNIT],Table_function}walk.
Definition: sql_const.h:304
enum_condition_context
Enumeration for Query_block::condition_context.
Definition: sql_const.h:310
Common types of the Optimizer, used by optimization and execution.
join_type
Definition: sql_opt_exec_shared.h:185
@ JT_UNKNOWN
Definition: sql_opt_exec_shared.h:187
Access paths are a query planning structure that correspond 1:1 to iterators, in that an access path ...
Definition: access_path.h:192
Struct used to pass around arguments to/from check_function_as_value_generator.
Definition: item.h:486
int err_code
the error code found during check(if any)
Definition: item.h:493
int get_unnamed_function_error_code() const
Return the correct error code, based on whether or not if we are checking for disallowed functions in...
Definition: item.h:505
Structure used for index-based lookups.
Definition: sql_opt_exec_shared.h:66
This bundles several pieces of information useful when doing the IN->EXISTS transform.
Definition: item_subselect.h:584
bool added_to_where
True: if IN->EXISTS has been done and has added a condition to the subquery's WHERE clause.
Definition: item_subselect.h:589
bool dependent_before
True: if subquery was dependent (correlated) before IN->EXISTS was done.
Definition: item_subselect.h:594
bool dependent_after
True: if subquery was dependent (correlated) after IN->EXISTS was done.
Definition: item_subselect.h:599
Argument for walk method replace_scalar_subquery.
Definition: item_subselect.h:333
Query_block * m_outer_query_block
The transformed query block.
Definition: item_subselect.h:336
Field * m_field
the replacement field
Definition: item_subselect.h:335
Query_block * m_inner_query_block
The immediately surrounding query.
Definition: item_subselect.h:337
bool m_add_coalesce
Definition: item_subselect.h:340
Item_singlerow_subselect * m_target
subquery to be replaced with field
Definition: item_subselect.h:334
Scalar_subquery_replacement(Item_singlerow_subselect *target, Field *field, Query_block *select, bool add_coalesce)
Definition: item_subselect.h:341
argument used by walk method collect_scalar_subqueries ("css")
Definition: item_subselect.h:243
Collect_subq_info(Query_block *owner)
Definition: item_subselect.h:247
Query_block * m_query_block
Definition: item_subselect.h:246
std::vector< Item_subselect * > list
< accumulated all subq (or aggregates) found
Definition: item_subselect.h:245
bool contains(Query_expression *candidate)
Definition: item_subselect.h:248
Definition: mysql_time.h:81
Environment data for the contextualization phase.
Definition: parse_tree_node_base.h:120
Bison "location" class.
Definition: parse_location.h:42
unsigned int uint
Definition: uca9-dump.cc:74
Item_result
Type of the user defined function return slot and arguments.
Definition: udf_registration_types.h:38
@ INT_RESULT
double
Definition: udf_registration_types.h:42
static int all(site_def const *s, node_no node)
Definition: xcom_transport.cc:868