1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

[NOT] EXISTS to IN transformation.

This commit is contained in:
unknown
2013-02-26 01:20:17 +02:00
parent a555ceb2fb
commit e3ac306157
27 changed files with 9578 additions and 133 deletions

View File

@ -498,8 +498,8 @@ The following options may be given as the first argument:
mrr_cost_based, mrr_sort_keys, optimize_join_buffer_size,
outer_join_with_cache, partial_match_rowid_merge,
partial_match_table_scan, semijoin, semijoin_with_cache,
subquery_cache, table_elimination, extended_keys } and
val is one of {on, off, default}
subquery_cache, table_elimination, extended_keys,
exists_to_in } and val is one of {on, off, default}
--performance-schema
Enable the performance schema.
--performance-schema-events-waits-history-long-size=#