EVOLUTION-MANAGER

Edit File: optimization_count_skip_index_view.result

DROP TABLE IF EXISTS diaries, users; CREATE TABLE diaries ( id INT PRIMARY KEY AUTO_INCREMENT, user_id INT NOT NULL, title VARCHAR(45) NOT NULL, KEY (user_id), FULLTEXT INDEX title_index (title) ) DEFAULT CHARSET=UTF8; CREATE TABLE users ( id INT PRIMARY KEY AUTO_INCREMENT, name VARCHAR(45) NOT NULL, INDEX (name) ) ENGINE=InnoDB DEFAULT CHARSET=UTF8; INSERT INTO users (id, name) VALUES (1, "Alice"), (2, "Bob"); INSERT INTO diaries (user_id, title) VALUES (1, "survey"); INSERT INTO diaries (user_id, title) VALUES (2, "groonga (1)"); INSERT INTO diaries (user_id, title) VALUES (2, "groonga (2)"); CREATE VIEW articles AS SELECT diaries.user_id AS user_id, diaries.title AS title, users.name AS name FROM diaries, users WHERE diaries.user_id = users.id; SELECT COUNT(*) FROM articles WHERE name = 'Bob'; COUNT(*) 2 DROP VIEW articles; DROP TABLE diaries, users;