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

Precise read time estimates for index_merge/Unique

This commit is contained in:
unknown
2003-12-18 06:08:00 +03:00
parent 211bc24063
commit 7dbdedcb72
13 changed files with 606 additions and 212 deletions

View File

@ -378,10 +378,10 @@ public:
/*
RETURN
true primary key (if there is one) is clustered key covering all fields
true Primary key (if there is one) is clustered key covering all fields
false otherwise
*/
virtual bool primary_key_is_clustered_covering() { return false; }
virtual bool primary_key_is_clustered() { return false; }
};
/* Some extern variables used with handlers */