Bug #108310 The partition delimiter is a comma, not a dot.
Submitted: 28 Aug 2022 4:46 Modified: 1 Sep 2022 23:43
Reporter: Rina Miyata Email Updates:
Status: Closed Impact on me:
Category:MySQL Server: Documentation Severity:S3 (Non-critical)
Version:5.6, 5.7, 8.0 OS:Any
Assigned to: Jon Stephens CPU Architecture:Any
Tags: partition selection

[28 Aug 2022 4:46] Rina Miyata
(This text was generated from a translation tool.)

There is a request for a correction to the documentation regarding partitions.
The partition delimiter used in the SQL shown in the last code block of "24.5 Partition Selection" is a dot.
I think the comma delimiter is correct and would appreciate a correction.

mysql> INSERT INTO employees PARTITION (p3, p4. p5) VALUES
    ->     (24, 'Tim', 'Greene', 3, 1),  (26, 'Linda', 'Mills', 2, 1);

How to repeat:
Check the below link.

- https://dev.mysql.com/doc/refman/5.6/en/partitioning-selection.html
- https://dev.mysql.com/doc/refman/5.7/en/partitioning-selection.html
- https://dev.mysql.com/doc/refman/8.0/en/partitioning-selection.html

Suggested fix:
mysql> INSERT INTO employees PARTITION (p3, p4, p5) VALUES
    ->     (24, 'Tim', 'Greene', 3, 1),  (26, 'Linda', 'Mills', 2, 1);
[28 Aug 2022 8:19] MySQL Verification Team
Hello Rina Miyata,

Thank you for the report and feedback.

[1 Sep 2022 23:43] Jon Stephens
Fixed in all current versions of the Manual, in mysqldoc rev 74057; closed.