Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-7016

Docs: engine_condition_pushdown default value

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Minor
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: N/A
    • Component/s: Documentation
    • Labels:

      Description

      According to the documentation "engine_condition_pushdown" default value is ON :

      https://mariadb.com/kb/en/mariadb/documentation/optimization-and-tuning/query-optimizations/optimizer-switch/

      Whereas it defaults to OFF on a fresh install of MariaDB 10.0.14 (with no optimizer_switch option in cnf files).

        Gliffy Diagrams

          Attachments

            Activity

            Hide
            elenst Elena Stepanova added a comment -

            I don't know if it had ever been enabled by default in MariaDB, even in 5.5, I couldn't find a version where it was on.

            Given that it's deprecated now, maybe it's for the best (see
            https://blog.mariadb.org/mariadb-10-1-1-engine_condition_pushdown-flag-deprecated/).

            Documentation needs to be fixed.

            Show
            elenst Elena Stepanova added a comment - I don't know if it had ever been enabled by default in MariaDB, even in 5.5, I couldn't find a version where it was on. Given that it's deprecated now, maybe it's for the best (see https://blog.mariadb.org/mariadb-10-1-1-engine_condition_pushdown-flag-deprecated/ ). Documentation needs to be fixed.
            Hide
            greenman Ian Gilfillan added a comment -

            This was the MySQL default, and since it first appeared there, their default was listed. Documentation has been amended. I'll double check all the other defaults and clarify that the default is the MariaDB default in case of difference.

            Show
            greenman Ian Gilfillan added a comment - This was the MySQL default, and since it first appeared there, their default was listed. Documentation has been amended. I'll double check all the other defaults and clarify that the default is the MariaDB default in case of difference.

              People

              • Assignee:
                greenman Ian Gilfillan
                Reporter:
                nico Nicolas Payart
              • Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: