From e3bedafbe6961cb539c6322f78879ad7e07151b4 Mon Sep 17 00:00:00 2001
From: Mattias Jonsson <mattias.jonsson@pingcap.com>
Date: Mon, 5 Aug 2024 01:10:38 +0200
Subject: [PATCH 1/3] Added EXTRACT(<time unit> FROM <date/datetime/time col)
 as pruning function

---
 partition-pruning.md | 1 +
 partitioned-table.md | 1 +
 2 files changed, 2 insertions(+)

diff --git a/partition-pruning.md b/partition-pruning.md
index d047fd9a90eea..3de84e07fb442 100644
--- a/partition-pruning.md
+++ b/partition-pruning.md
@@ -240,6 +240,7 @@ If the `fn` function is monotonous, for any `x` and `y`, if `x > y`, then `fn(x)
 
 * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
 * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
+* [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md); For DATE and DATETIME columns YEAR, and YEAR_MONTH time units are considered monotonous functions, and for TIME columns HOUR, HOUR_MINUTE, HOUR_SECOND and HOUR_MICROSECOND are considered monotonous. Also note that WEEK is not supported as time unit in EXTRACT for partition pruning.
 
 For example, partition pruning takes effect when the partition expression is in the form of `fn(col)`, where the `fn` is monotonous function `to_days`:
 
diff --git a/partitioned-table.md b/partitioned-table.md
index 8733e29bcdba3..65a673c9bac92 100644
--- a/partitioned-table.md
+++ b/partitioned-table.md
@@ -1310,6 +1310,7 @@ Currently, partition pruning does not work with `LIKE` conditions.
 
     * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
     * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
+    * [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md); For DATE and DATETIME columns YEAR, and YEAR_MONTH time units are considered monotonous functions, and for TIME columns HOUR, HOUR_MINUTE, HOUR_SECOND and HOUR_MICROSECOND are considered monotonous. Also note that WEEK is not supported as time unit in EXTRACT for partition pruning.
 
     For example, the partition expression is a simple column:
 

From 38e60ebe23f47348859f7391ffd5aed999870a26 Mon Sep 17 00:00:00 2001
From: xixirangrang <hfxsd@hotmail.com>
Date: Mon, 5 Aug 2024 18:19:34 +0800
Subject: [PATCH 2/3] Apply suggestions from code review

---
 partition-pruning.md | 2 +-
 partitioned-table.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/partition-pruning.md b/partition-pruning.md
index 3de84e07fb442..af7443c24b533 100644
--- a/partition-pruning.md
+++ b/partition-pruning.md
@@ -240,7 +240,7 @@ If the `fn` function is monotonous, for any `x` and `y`, if `x > y`, then `fn(x)
 
 * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
 * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
-* [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md); For DATE and DATETIME columns YEAR, and YEAR_MONTH time units are considered monotonous functions, and for TIME columns HOUR, HOUR_MINUTE, HOUR_SECOND and HOUR_MICROSECOND are considered monotonous. Also note that WEEK is not supported as time unit in EXTRACT for partition pruning.
+* [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
 
 For example, partition pruning takes effect when the partition expression is in the form of `fn(col)`, where the `fn` is monotonous function `to_days`:
 
diff --git a/partitioned-table.md b/partitioned-table.md
index 65a673c9bac92..53dab22d105a6 100644
--- a/partitioned-table.md
+++ b/partitioned-table.md
@@ -1310,7 +1310,7 @@ Currently, partition pruning does not work with `LIKE` conditions.
 
     * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
     * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
-    * [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md); For DATE and DATETIME columns YEAR, and YEAR_MONTH time units are considered monotonous functions, and for TIME columns HOUR, HOUR_MINUTE, HOUR_SECOND and HOUR_MICROSECOND are considered monotonous. Also note that WEEK is not supported as time unit in EXTRACT for partition pruning.
+    * [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
 
     For example, the partition expression is a simple column:
 

From 998ba5d65b3e45e11e94738a93c820f0069714ee Mon Sep 17 00:00:00 2001
From: xixirangrang <hfxsd@hotmail.com>
Date: Tue, 6 Aug 2024 12:16:20 +0800
Subject: [PATCH 3/3] Apply suggestions from code review

Co-authored-by: Lilian Lee <lilin@pingcap.com>
---
 partition-pruning.md | 2 +-
 partitioned-table.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/partition-pruning.md b/partition-pruning.md
index af7443c24b533..31b122f620fee 100644
--- a/partition-pruning.md
+++ b/partition-pruning.md
@@ -240,7 +240,7 @@ If the `fn` function is monotonous, for any `x` and `y`, if `x > y`, then `fn(x)
 
 * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
 * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
-* [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
+* [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous functions. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
 
 For example, partition pruning takes effect when the partition expression is in the form of `fn(col)`, where the `fn` is monotonous function `to_days`:
 
diff --git a/partitioned-table.md b/partitioned-table.md
index 53dab22d105a6..72d0fffa85e84 100644
--- a/partitioned-table.md
+++ b/partitioned-table.md
@@ -1310,7 +1310,7 @@ Currently, partition pruning does not work with `LIKE` conditions.
 
     * [`UNIX_TIMESTAMP()`](/functions-and-operators/date-and-time-functions.md)
     * [`TO_DAYS()`](/functions-and-operators/date-and-time-functions.md)
-    * [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
+    * [`EXTRACT(<time unit> FROM <DATETIME/DATE/TIME column>)`](/functions-and-operators/date-and-time-functions.md). For `DATE` and `DATETIME` columns, `YEAR` and `YEAR_MONTH` time units are considered monotonous functions. For the `TIME` column, `HOUR`, `HOUR_MINUTE`, `HOUR_SECOND` and `HOUR_MICROSECOND` are considered monotonous functions. Note that `WEEK` is not supported as time unit in `EXTRACT` for partition pruning.
 
     For example, the partition expression is a simple column: