mirror of
https://github.com/MariaDB/server.git
synced 2025-11-09 23:36:13 +01:00
a518e1dd42
1. Access foreign keys via TABLE_SHARE::foreign_keys and
TABLE_SHARE::referenced_keys;
foreign_keys and referenced_keys are lists in TABLE_SHARE.
2. Remove handler FK interface:
- get_foreign_key_list()
- get_parent_foreign_key_list()
- referenced_by_foreign_key()
3. Invalidate referenced shares on:
- RENAME TABLE
- DROP TABLE
- RENAME COLUMN
- ADD FOREIGN KEY
When foreign table is created or altered by the above operations
all referenced shares are closed. This blocks the operation while
any referenced shares are used (when at least one its TABLE
instance is locked).
4. Update referenced shares on:
- CREATE TABLE
On CREATE TABLE add items to referenced_keys of referenced
shares. States of referenced shares are restored in case of errors.
5. Invalidate foreign shares on:
- RENAME TABLE
- RENAME COLUMN
The above-mentioned blocking takes effect.
6. Check foreign/referenced shares consistency on:
- CHECK TABLE
7. Temporary change until MDEV-21051:
InnoDB fill foreign key info at handler open().
FOREIGN_KEY_INFO is refactored to FK_info holding Lex_cstring.
On first TABLE open FK_info is loaded from storage engine into
TABLE_SHARE. All referenced shares (if any exists) are closed. This
leads to blocking of first time foreign table open while referenced
tables are used.
MDEV-21311 Converge Foreign_key and supplemental generated Key together
mysql_prepare_create_table() does data validation and such utilities
as automatic name generation. But it does that only for indexes and
ignores Foreign_key objects. Now as Foreign_key data needs to be
stored in FRM files as well this processing must be done for it like
for any other Key objects.
Replace Key::FOREIGN_KEY type with Key::foreign flag of type
Key::MULTIPLE and Key::generated set to true. Construct one object
with Key::foreign == true instead of two objects of type
Key::FOREIGN_KEY and Key::MULTIPLE.
MDEV-21051 datadict refactorings
- Move read_extra2() to datadict.cc
- Refactored extra2_fields to Extra2_info
- build_frm_image() readability
MDEV-21051 build_table_shadow_filename() refactoring
mysql_prepare_alter_table() leaks fixes
MDEV-21051 amend system tables locking restriction
Table mysql.help_relation has foreign key to mysql.help_keyword. On
bootstrap when help_relation is opened, it preopens help_keyword for
READ and fails in lock_tables_check().
If system table is opened for write then fk references are opened for
write.
Related to: Bug#25422, WL#3984
Tests: main.lock
MDEV-21051 Store and read foreign key info into/from FRM files
1. Introduce Foreign_key_io class which creates/parses binary stream
containing foreign key structures. Referenced tables store there only
hints about foreign tables (their db and name), they restore full info
from the corresponding tables.
Foreign_key_io is stored under new EXTRA2_FOREIGN_KEY_INFO field in
extra2 section of FRM file.
2. Modify mysql_prepare_create_table() to generate names for foreign
keys. Until InnoDB storage of foreign keys is removed, FK names must
be unique across the database: the FK name must be based on table
name.
3. Keep stored data in sync on DDL changes. Referenced tables update
their foreign hints after following operations on foreign tables:
- RENAME TABLE
- DROP TABLE
- CREATE TABLE
- ADD FOREIGN KEY
- DROP FOREIGN KEY
Foreign tables update their foreign info after following operations on
referenced tables:
- RENAME TABLE
- RENAME COLUMN
4. To achieve 3. there must be ability to rewrite extra2 section of
FRM file without full reparse. FRM binary is built from primary
structures like HA_CREATE_INFO and cannot be built from TABLE_SHARE.
Use shadow write and rename like fast_alter_partition_table()
does. Shadow FRM is new FRM file that replaces the old one.
CREATE TABLE workflow:
1. Foreign_key is constructed in parser, placed into
alter_info->key_list;
2. mysql_prepare_create_table() translates them to FK_info, assigns
foreign_id if needed;
3. build_frm_image() writes two FK_info lists into FRM's extra2
section, for referenced keys it stores only table names (hints);
4. init_from_binary_frm_image() parses extra2 section and fills
foreign_keys and referenced_keys of TABLE_SHARE.
It restores referenced_keys by reading hint list of table names,
opening corresponding shares and restoring FK_info from their
foreign_keys. Hints resolution is done only when initializing
non-temporary shares. Usually temporary share has different
(temporary) name and it is impossible to resolve foreign keys by
that name (as we identify them by both foreign and referenced
table names). Another not unimportant reason is performance: this
saves spare share acquisitions.
ALTER TABLE workflow:
1. Foreign_key is constructed in parser, placed into
alter_info->key_list;
2. mysql_prepare_alter_table() prepares action lists and share list
of foreigns/references;
3. mysql_prepare_alter_table() locks list of foreigns/references by
MDL_INTENTION_EXCLUSIVE, acquires shares;
4. prepare_create_table() converts key_list into FK_list, assigns
foreign_id;
5. shadow FRM of altered table is created;
6. data is copied;
7. altered table is locked by MDL_EXCLUSIVE;
8. fk_handle_alter() processes action lists, creates FK backups,
modifies shares, writes shadow FRMs;
9. altered table is closed;
10. shadow FRMs are installed;
11. altered table is renamed, FRM backup deleted;
12. (TBD in MDEV-21053) shadow FRMs installation log closed, backups
deleted;
On FK backup system:
In case of failed DDL operation all shares that was modified must be
restored into original state. This is done by FK_ddl_backup (CREATE,
DROP), FK_rename_backup (RENAME), FK_alter_backup (ALTER).
On STL usage:
STL is used for utility not performance-critical algorithms, core
structures hold native List. A wrapper was made to convert STL
exception into bool error status or NULL value.
MDEV-20865 fk_check_consistency() in CHECK TABLE
Self-refs fix
Test table_flags fix: "debug" deviation is now gone.
FIXMEs: +16 -1
250 lines
8 KiB
C++
250 lines
8 KiB
C++
################################################################################
|
|
# inc/vcol_keys.inc #
|
|
# #
|
|
# Purpose: #
|
|
# Testing keys, indexes defined upon virtual columns. #
|
|
# #
|
|
# #
|
|
# #
|
|
#------------------------------------------------------------------------------#
|
|
# Original Author: Andrey Zhakov #
|
|
# Original Date: 2008-09-02 #
|
|
# Change Author: Oleksandr Byelkin (Monty program Ab)
|
|
# Date: 2009-03-24
|
|
# Change: Syntax changed
|
|
################################################################################
|
|
|
|
|
|
--source include/have_sequence.inc
|
|
|
|
--echo # - UNIQUE KEY
|
|
--echo # - INDEX
|
|
--echo # - FULLTEXT INDEX
|
|
--echo # - SPATIAL INDEX (not supported)
|
|
--echo # - FOREIGN INDEX (partially supported)
|
|
--echo # - CHECK (allowed but not used)
|
|
|
|
--echo # UNIQUE
|
|
create table t1 (a int, b int as (a*2) unique);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a*2) persistent unique);
|
|
show create table t1;
|
|
describe t1;
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2), unique key (b));
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a*2) persistent, unique (b));
|
|
show create table t1;
|
|
describe t1;
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2));
|
|
alter table t1 add unique key (b);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a*2) persistent);
|
|
alter table t1 add unique key (b);
|
|
drop table t1;
|
|
|
|
--echo # Testing data manipulation operations involving UNIQUE keys
|
|
--echo # on virtual columns can be found in:
|
|
--echo # - vcol_ins_upd.inc
|
|
--echo # - vcol_select.inc
|
|
|
|
--echo #
|
|
--echo # INDEX
|
|
create table t1 (a int, b int as (a*2), index (b));
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a*2), index (a,b));
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2) persistent, index (b));
|
|
show create table t1;
|
|
describe t1;
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2) persistent, index (a,b));
|
|
show create table t1;
|
|
describe t1;
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2));
|
|
alter table t1 add index (b);
|
|
alter table t1 add index (a,b);
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2) persistent);
|
|
alter table t1 add index (b);
|
|
drop table t1;
|
|
|
|
create table t1 (a int, b int as (a*2) persistent);
|
|
alter table t1 add index (a,b);
|
|
create table t2 like t1;
|
|
drop table t2;
|
|
drop table t1;
|
|
|
|
--echo # Testing data manipulation operations involving INDEX
|
|
--echo # on virtual columns can be found in:
|
|
--echo # - vcol_select.inc
|
|
|
|
--echo #
|
|
--echo # TODO: FULLTEXT INDEX
|
|
|
|
--echo # SPATIAL INDEX
|
|
if (!$skip_spatial_index_check)
|
|
{
|
|
--echo # Error "All parts of a SPATIAL index must be NOT NULL"
|
|
--error ER_INDEX_CANNOT_HAVE_NULL
|
|
create table t1 (a int, b geometry as (a+1) persistent, spatial index (b));
|
|
create table t1 (a int, b int as (a+1) persistent);
|
|
--error ER_WRONG_ARGUMENTS
|
|
alter table t1 add spatial index (b);
|
|
drop table t1;
|
|
}
|
|
|
|
--echo # FOREIGN KEY
|
|
|
|
--echo # Rejected FK options.
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
create table t1 (a int, b int as (a+1) persistent,
|
|
foreign key (b) references t2(a) on update set null);
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
create table t1 (a int, b int as (a+1) persistent,
|
|
foreign key (b) references t2(a) on update cascade);
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
create table t1 (a int, b int as (a+1) persistent,
|
|
foreign key (b) references t2(a) on delete set null);
|
|
|
|
create table t1 (a int, b int as (a+1) persistent);
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
alter table t1 add foreign key (b) references t2(a) on update set null;
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
alter table t1 add foreign key (b) references t2(a) on update cascade;
|
|
--error ER_WRONG_FK_OPTION_FOR_GENERATED_COLUMN
|
|
alter table t1 add foreign key (b) references t2(a) on delete set null;
|
|
drop table t1;
|
|
|
|
if ($with_foreign_keys) {
|
|
--error ER_NO_SUCH_TABLE
|
|
create table t1 (a int, b int as (a+1), foreign key (b) references t2(a));
|
|
|
|
create table t1 (a int, b int as (a+1));
|
|
--error ER_NO_SUCH_TABLE
|
|
alter table t1 add foreign key (b) references t2(a);
|
|
drop table t1;
|
|
}
|
|
|
|
--echo # Allowed FK options.
|
|
create table t2 (a int primary key, b char(5));
|
|
create table t1 (a int, b int as (a % 10) persistent,
|
|
foreign key (b) references t2(a) on update restrict);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a % 10) persistent,
|
|
foreign key (b) references t2(a) on update no action);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a % 10) persistent,
|
|
foreign key (b) references t2(a) on delete restrict);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a % 10) persistent,
|
|
foreign key (b) references t2(a) on delete cascade);
|
|
drop table t1;
|
|
create table t1 (a int, b int as (a % 10) persistent,
|
|
foreign key (b) references t2(a) on delete no action);
|
|
drop table t1;
|
|
|
|
--echo
|
|
--echo # Testing data manipulation operations involving FOREIGN KEY
|
|
--echo # on virtual columns can be found in:
|
|
--echo # - vcol_ins_upd.inc
|
|
--echo # - vcol_select.inc
|
|
|
|
#
|
|
# Restrictions when indexed:
|
|
#
|
|
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
create table t1 (a int, b timestamp as (now()), key (b));
|
|
create table t1 (a int, b timestamp as (now()));
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
alter table t1 add index (b);
|
|
drop table t1;
|
|
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
create table t1 (a int, b varchar(100) as (user()), key (b));
|
|
create table t1 (a int, b varchar(100) as (user()));
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
alter table t1 add index (b);
|
|
drop table t1;
|
|
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
create table t1 (a int, b double as (rand()), key (b));
|
|
create table t1 (a int, b double as (rand()));
|
|
--error ER_GENERATED_COLUMN_FUNCTION_IS_NOT_ALLOWED
|
|
alter table t1 add index (b);
|
|
drop table t1;
|
|
|
|
#
|
|
# MDEV-11598 Assertion `!table || (!table->read_set... failed
|
|
#
|
|
|
|
CREATE OR REPLACE TABLE t1 (
|
|
f2 DOUBLE NOT NULL DEFAULT '0',
|
|
f3 DOUBLE NOT NULL DEFAULT '0',
|
|
f4 DOUBLE,
|
|
f5 DOUBLE DEFAULT '0',
|
|
v4 DOUBLE AS (IF(f4,f3,f2)) VIRTUAL,
|
|
KEY (f5),
|
|
KEY (v4)
|
|
);
|
|
|
|
INSERT INTO t1 (f2,f3,f4,f5) VALUES (5,4,1,0),(5,7,NULL,0);
|
|
INSERT INTO t1 (f2,f3,f4,f5) SELECT f2, f3, f5, f3 FROM t1;
|
|
INSERT INTO t1 (f2,f3,f4,f5) VALUES (5,0,NULL,1);
|
|
INSERT INTO t1 (f2,f3,f4,f5) SELECT f2, f5, f5, f3 FROM t1;
|
|
DELETE FROM t1 WHERE f5 = 1 OR v4 = 4 ORDER BY f5,v4 LIMIT 9;
|
|
SELECT * from t1;
|
|
DROP TABLE t1;
|
|
|
|
# Another similar failure
|
|
|
|
CREATE TABLE t1 (
|
|
d DECIMAL(63,0) NOT NULL DEFAULT 0,
|
|
c VARCHAR(64) NOT NULL DEFAULT '',
|
|
vd DECIMAL(63,0) AS (d) VIRTUAL,
|
|
vc VARCHAR(2048) AS (c) VIRTUAL,
|
|
pk BIGINT AUTO_INCREMENT,
|
|
PRIMARY KEY(pk));
|
|
|
|
INSERT INTO t1 (d,c) VALUES (0.5,'foo');
|
|
SELECT * FROM t1 WHERE vc != 'bar' ORDER BY vd;
|
|
DROP TABLE t1;
|
|
|
|
#
|
|
# MDEV-11729: Crash when using partial indexed virtual fields
|
|
#
|
|
|
|
CREATE TABLE t1 (
|
|
pk BIGINT,
|
|
c CHAR(64) NOT NULL DEFAULT '',
|
|
vc CHAR(64) AS (c) VIRTUAL,
|
|
PRIMARY KEY(pk),
|
|
INDEX(vc(32))
|
|
);
|
|
DELETE FROM t1 WHERE vc IS NULL ORDER BY pk;
|
|
DROP TABLE t1;
|
|
|
|
#
|
|
# MDEV-34632 Assertion `table->field[0]->ptr >= table->record[0] &&
|
|
# table->field[0]->ptr <= table->record[0] + table->s->reclength' failed in
|
|
# void handler::assert_icp_limitations(uchar*)
|
|
#
|
|
SET sql_mode='';
|
|
CREATE TABLE t1 (a INT GENERATED ALWAYS AS (1) VIRTUAL,KEY(a)) ENGINE=MyISAM;
|
|
INSERT INTO t1 SELECT 1 FROM seq_1_to_2 ;
|
|
SELECT * FROM t1;
|
|
DROP TABLE t1;
|
|
|
|
CREATE TABLE t1 (a INT GENERATED ALWAYS AS (1) VIRTUAL,KEY(a)) ENGINE=MyISAM;
|
|
INSERT INTO t1 SELECT 1 UNION SELECT 1;
|
|
SELECT * FROM t1;
|
|
DROP TABLE t1;
|