From 9450e43fda786376d32f26ddb145a0482fd85301 Mon Sep 17 00:00:00 2001 From: Michael Hackstein Date: Tue, 13 Oct 2015 10:11:10 +0200 Subject: [PATCH] Splitted a large aql-optimizer test file --- UnitTests/Makefile.unittests | 4 + js/server/tests/aql-optimizer-edge-index.js | 182 ++ js/server/tests/aql-optimizer-index-ranges.js | 198 ++ .../tests/aql-optimizer-indexes-in-or.js | 679 +++++++ js/server/tests/aql-optimizer-indexes-sort.js | 692 +++++++ js/server/tests/aql-optimizer-indexes.js | 1590 ----------------- 6 files changed, 1755 insertions(+), 1590 deletions(-) create mode 100644 js/server/tests/aql-optimizer-edge-index.js create mode 100644 js/server/tests/aql-optimizer-index-ranges.js create mode 100644 js/server/tests/aql-optimizer-indexes-in-or.js create mode 100644 js/server/tests/aql-optimizer-indexes-sort.js diff --git a/UnitTests/Makefile.unittests b/UnitTests/Makefile.unittests index 856aee56e3..c478ee2399 100755 --- a/UnitTests/Makefile.unittests +++ b/UnitTests/Makefile.unittests @@ -615,8 +615,12 @@ SHELL_SERVER_AQL = @top_srcdir@/js/server/tests/aql-arithmetic.js \ @top_srcdir@/js/server/tests/aql-optimizer-collect-methods.js \ @top_srcdir@/js/server/tests/aql-optimizer-costs.js \ @top_srcdir@/js/server/tests/aql-optimizer-dynamic-bounds.js \ + @top_srcdir@/js/server/tests/aql-optimizer-edge-index.js \ @top_srcdir@/js/server/tests/aql-optimizer-filters.js \ + @top_srcdir@/js/server/tests/aql-optimizer-index-ranges.js \ @top_srcdir@/js/server/tests/aql-optimizer-indexes.js \ + @top_srcdir@/js/server/tests/aql-optimizer-indexes-in-or.js \ + @top_srcdir@/js/server/tests/aql-optimizer-indexes-sort.js \ @top_srcdir@/js/server/tests/aql-optimizer-keep.js \ @top_srcdir@/js/server/tests/aql-optimizer-plans.js \ @top_srcdir@/js/server/tests/aql-optimizer-rule-interchange-adjacent-enumerations-noncluster.js \ diff --git a/js/server/tests/aql-optimizer-edge-index.js b/js/server/tests/aql-optimizer-edge-index.js new file mode 100644 index 0000000000..0e90e050d4 --- /dev/null +++ b/js/server/tests/aql-optimizer-edge-index.js @@ -0,0 +1,182 @@ +/*jshint globalstrict:false, strict:false, maxlen: 500 */ +/*global assertEqual, AQL_EXECUTE */ + +//////////////////////////////////////////////////////////////////////////////// +/// @brief tests for index usage +/// +/// @file +/// +/// DISCLAIMER +/// +/// Copyright 2010-2012 triagens GmbH, Cologne, Germany +/// +/// Licensed under the Apache License, Version 2.0 (the "License"); +/// you may not use this file except in compliance with the License. +/// You may obtain a copy of the License at +/// +/// http://www.apache.org/licenses/LICENSE-2.0 +/// +/// Unless required by applicable law or agreed to in writing, software +/// distributed under the License is distributed on an "AS IS" BASIS, +/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +/// See the License for the specific language governing permissions and +/// limitations under the License. +/// +/// Copyright holder is triAGENS GmbH, Cologne, Germany +/// +/// @author Jan Steemann +/// @author Copyright 2012, triAGENS GmbH, Cologne, Germany +//////////////////////////////////////////////////////////////////////////////// + +var jsunity = require("jsunity"); +var db = require("org/arangodb").db; + + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test suite +//////////////////////////////////////////////////////////////////////////////// + +function optimizerEdgeIndexTestSuite () { + var c; + var e; + + return { + setUp : function () { + db._drop("UnitTestsCollection"); + db._drop("UnitTestsEdgeCollection"); + c = db._create("UnitTestsCollection"); + e = db._createEdgeCollection("UnitTestsEdgeCollection"); + + for (var i = 0; i < 2000; i += 100) { + var j; + + for (j = 0; j < i; ++j) { + e.save("UnitTestsCollection/from" + i, "UnitTestsCollection/nono", { value: i + "-" + j }); + } + for (j = 0; j < i; ++j) { + e.save("UnitTestsCollection/nono", "UnitTestsCollection/to" + i, { value: i + "-" + j }); + } + } + }, + + tearDown : function () { + db._drop("UnitTestsCollection"); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test continuous index scan +//////////////////////////////////////////////////////////////////////////////// + + testFindContinuous : function () { + for (var i = 0; i < 20; ++i) { + var query = "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/nono' && i._to == 'UnitTestsCollection/to" + i + "' LIMIT 1 RETURN i._key"; + var results = AQL_EXECUTE(query); + assertEqual(0, results.json.length, query); + } + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testFindNone : function () { + var queries = [ + "FOR i IN " + e.name() + " FILTER i._from == '' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from0' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from2' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == '/' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._from == '--foobar--' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == '' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from0' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from1' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from2' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == '/' RETURN i._key", + "FOR i IN " + e.name() + " FILTER i._to == '--foobar--' RETURN i._key" + ]; + + queries.forEach(function(query) { + var results = AQL_EXECUTE(query); + assertEqual([ ], results.json, query); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testFindFrom : function () { + var queries = [ + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from100' RETURN i._key", 100 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from200' RETURN i._key", 200 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1000' RETURN i._key", 1000 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1100' RETURN i._key", 1100 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1900' RETURN i._key", 1900 ] + ]; + + queries.forEach(function(query) { + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query[0]); + assertEqual(0, results.stats.scannedFull); + assertEqual(query[1], results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testFindTo : function () { + var queries = [ + [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to100' RETURN i._key", 100 ], + [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to200' RETURN i._key", 200 ], + [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1000' RETURN i._key", 1000 ], + [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1100' RETURN i._key", 1100 ], + [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1900' RETURN i._key", 1900 ] + ]; + + queries.forEach(function(query) { + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query[0]); + assertEqual(0, results.stats.scannedFull); + assertEqual(query[1], results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testFindFromTo : function () { + var queries = [ + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from100' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 100 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from200' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 200 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1000' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1000 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1100' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1100 ], + [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1900' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1900 ] + ]; + + queries.forEach(function(query) { + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query[0]); + assertEqual(0, results.stats.scannedFull); + assertEqual(query[1], results.stats.scannedIndex); + }); + } + + }; +} + +jsunity.run(optimizerEdgeIndexTestSuite); + +return jsunity.done(); + +// Local Variables: +// mode: outline-minor +// outline-regexp: "^\\(/// @brief\\|/// @addtogroup\\|// --SECTION--\\|/// @page\\|/// @}\\)" +// End: diff --git a/js/server/tests/aql-optimizer-index-ranges.js b/js/server/tests/aql-optimizer-index-ranges.js new file mode 100644 index 0000000000..9881898f22 --- /dev/null +++ b/js/server/tests/aql-optimizer-index-ranges.js @@ -0,0 +1,198 @@ +/*jshint globalstrict:false, strict:false, maxlen: 500 */ +/*global assertTrue, assertEqual, assertNotEqual, AQL_EXPLAIN, AQL_EXECUTE */ + +//////////////////////////////////////////////////////////////////////////////// +/// @brief tests for index usage +/// +/// @file +/// +/// DISCLAIMER +/// +/// Copyright 2010-2012 triagens GmbH, Cologne, Germany +/// +/// Licensed under the Apache License, Version 2.0 (the "License"); +/// you may not use this file except in compliance with the License. +/// You may obtain a copy of the License at +/// +/// http://www.apache.org/licenses/LICENSE-2.0 +/// +/// Unless required by applicable law or agreed to in writing, software +/// distributed under the License is distributed on an "AS IS" BASIS, +/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +/// See the License for the specific language governing permissions and +/// limitations under the License. +/// +/// Copyright holder is triAGENS GmbH, Cologne, Germany +/// +/// @author Jan Steemann +/// @author Copyright 2012, triAGENS GmbH, Cologne, Germany +//////////////////////////////////////////////////////////////////////////////// + +var jsunity = require("jsunity"); +var db = require("org/arangodb").db; + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test suite +//////////////////////////////////////////////////////////////////////////////// + +function optimizerIndexesRangesTestSuite () { + var c; + + return { + setUp : function () { + db._drop("UnitTestsCollection"); + c = db._create("UnitTestsCollection"); + + for (var i = 0; i < 2000; ++i) { + c.save({ _key: "test" + i, value1: (i % 100), value2: i }); + } + }, + + tearDown : function () { + db._drop("UnitTestsCollection"); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testRangesSingle : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 < 3 || i.value1 == 5 || i.value1 == 9 || i.value1 > 98 RETURN i.value1", [ 0, 1, 2, 5, 9, 99 ] ], + [ "FOR i IN " + c.name() + " FILTER ((i.value1 < 2 || i.value1 == 3) || (i.value1 == 96 || i.value1 > 97)) RETURN i.value1", [ 0, 1, 3, 96, 98, 99 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 34, 33 ] && i.value1 < 35 RETURN i.value1", [ 33, 34 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 34, 33, 99 ] && i.value1 >= 34 RETURN i.value1", [ 34, 35, 99 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 > 10) && (i.value1 <= 12) RETURN i.value1", [ 9, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 >= 10) && (i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 >=9 && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 >=9 && (i.value1 == 10 || i.value1 <= 12 || i.value1 IN [ 5, 3 ]) RETURN i.value1", [ 9, 10, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10) && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 10, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 >= 10) && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 > 5 && i.value1 < 10) || (i.value1 > 37 && i.value1 <= 41) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 > 37 && i.value1 <= 41) || (i.value1 > 5 && i.value1 < 10) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 <= 41 && i.value1 > 37) || (i.value1 < 10 && i.value1 > 5) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], + [ "FOR i IN " + c.name() + " FILTER ((i.value1 <= 41 && i.value1 > 37) || i.value1 IN [ 3, 12 ]) || (i.value1 IN [ 74, 77 ] || (i.value1 < 10 && i.value1 > 5)) RETURN i.value1", [ 3, 6, 7, 8, 9, 12, 38, 39, 40, 41, 74, 77 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 > 12 || i.value1 < 7) && (i.value1 > 97 || i.value1 < 5) RETURN i.value1", [ 0, 1, 2, 3, 4, 98, 99 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 11 && i.value1 <= 15) && (i.value1 > 7 && i.value < 28) && i.value1 IN [ 23, 17, 11, 12, 13, 29, 28, 27, 14, 15, 15, 15 ] RETURN i.value1", [ 11, 12, 13, 14, 15 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length * 20, results.json.length, query); + var last = query[1][0]; + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + assertTrue(value >= last); + last = value; + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testRangesWithRational : function () { + c.ensureSkiplist("value1"); + for (var i = 0; i < 20; ++i) { + c.save({ value1: 3.5 }); + c.save({ value1: 12.5 }); + c.save({ value1: 10.1 }); + c.save({ value1: 10.9 }); + c.save({ value1: 42.23 }); + } + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] RETURN i.value1", [ 3, 4, 5 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10 && i.value1 < 11) RETURN i.value1", [ 10, 10.1, 10.9 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10.1 && i.value1 <= 10.9) RETURN i.value1", [ 10.1, 10.9 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10 && i.value1 <= 11) RETURN i.value1", [ 10, 10.1, 10.9, 11 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] || i.value1 < 5 RETURN i.value1", [ 0, 1, 2, 3, 3.5, 4, 5 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] && i.value1 < 5 RETURN i.value1", [ 3, 4 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] && i.value1 <= 5 RETURN i.value1", [ 3, 4, 5 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 > 40 && i.value1 > 42 && i.value1 < 43 && i.value1 < 44 RETURN i.value1", [ 42.23 ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 < 44 && i.value1 > 42) || (i.value1 >= 41 && i.value1 <= 44) RETURN i.value1", [ 41, 42, 42.23, 43, 44 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length * 20, results.json.length, query); + var last = query[1][0]; + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + assertTrue(value >= last); + last = value; + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testMultipleFilters : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 < 3 FILTER i.value1 < 10 RETURN i.value1", [ 0, 1, 2 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 IN [ 7, 3, 1 ] RETURN i.value1", [ 1, 3, 7 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 < 7 RETURN i.value1", [ 0, 1, 2, 3, 4, 5, 6 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 == 3 RETURN i.value1", [ 3 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 > 3 RETURN i.value1", [ 4, 5, 6, 7 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 12, 13, 14, 15, 17 ] FILTER i.value1 < 20 FILTER i.value1 > 10 FILTER i.value1 IN [ 11, 12, 13, 14, 15, 16, 17, 18 ] RETURN i.value1", [ 12, 13, 14, 15, 17 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length * 20, results.json.length, query); + var last = query[1][0]; + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + assertTrue(value >= last); + last = value; + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + } + + }; +} +jsunity.run(optimizerIndexesRangesTestSuite); + +return jsunity.done(); + +// Local Variables: +// mode: outline-minor +// outline-regexp: "^\\(/// @brief\\|/// @addtogroup\\|// --SECTION--\\|/// @page\\|/// @}\\)" +// End: diff --git a/js/server/tests/aql-optimizer-indexes-in-or.js b/js/server/tests/aql-optimizer-indexes-in-or.js new file mode 100644 index 0000000000..0e1642af05 --- /dev/null +++ b/js/server/tests/aql-optimizer-indexes-in-or.js @@ -0,0 +1,679 @@ +/*jshint globalstrict:false, strict:false, maxlen: 500 */ +/*global assertTrue, assertEqual, assertNotEqual, AQL_EXPLAIN, AQL_EXECUTE */ + +//////////////////////////////////////////////////////////////////////////////// +/// @brief tests for index usage +/// +/// @file +/// +/// DISCLAIMER +/// +/// Copyright 2010-2012 triagens GmbH, Cologne, Germany +/// +/// Licensed under the Apache License, Version 2.0 (the "License"); +/// you may not use this file except in compliance with the License. +/// You may obtain a copy of the License at +/// +/// http://www.apache.org/licenses/LICENSE-2.0 +/// +/// Unless required by applicable law or agreed to in writing, software +/// distributed under the License is distributed on an "AS IS" BASIS, +/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +/// See the License for the specific language governing permissions and +/// limitations under the License. +/// +/// Copyright holder is triAGENS GmbH, Cologne, Germany +/// +/// @author Jan Steemann +/// @author Copyright 2012, triAGENS GmbH, Cologne, Germany +//////////////////////////////////////////////////////////////////////////////// + +var jsunity = require("jsunity"); +var db = require("org/arangodb").db; + + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test suite +//////////////////////////////////////////////////////////////////////////////// + +function optimizerIndexesInOrTestSuite () { + var c; + + return { + setUp : function () { + db._drop("UnitTestsCollection"); + c = db._create("UnitTestsCollection"); + + for (var i = 0; i < 2000; ++i) { + c.save({ _key: "test" + i, value1: (i % 100), value2: i }); + } + }, + + tearDown : function () { + db._drop("UnitTestsCollection"); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoIndex : function () { + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ ] RETURN i.value1", [ ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure no index is used + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + if (query[1].length > 0) { + assertTrue(results.stats.scannedFull > 0); + } + assertEqual(0, results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoHashIndex : function () { + c.ensureHashIndex("value1"); + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95 ] RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 95, 95 ] RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 96 ] RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 96, 96, 95, 96, -9 ] RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 96, 97 ] RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 95 RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 96 RETURN i.value1", + "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 96 || i.value1 == 97 RETURN i.value1" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure no index is used + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query); + results.json.forEach(function(value) { + assertTrue(value >= 95 && value < 100); + }); + + assertEqual(0, results.stats.scannedIndex); + assertTrue(results.stats.scannedFull > 0); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndex : function () { + c.ensureHashIndex("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] || i.value1 IN [ 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] || i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndexString : function () { + c.ensureHashIndex("value1"); + for (var i = 0; i < 1000; ++i) { + c.save({ value1: "test" + (i % 100) }); + } + + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test1', 'test3', 'test4' ] RETURN i.value1", [ 'test1', 'test3', 'test4' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test1', 'test1', 'test1' ] RETURN i.value1", [ 'test1' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test9', 'test0' ] RETURN i.value1", [ 'test0', 'test9' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test6', 'test6', 'test5', 'test6', 'test9999', 'test-1', 'foobar' ] RETURN i.value1", [ 'test5', 'test6' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test5' ] || i.value1 IN [ 'test6', 'test7' ] RETURN i.value1", [ 'test5', 'test6', 'test7' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test5', 'test6', 'test7' ] || i.value1 IN [ 'test5', 'test6', 'test7' ] RETURN i.value1", [ 'test5', 'test6', 'test7' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' RETURN i.value1", [ 'test5' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test5' RETURN i.value1", [ 'test5' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test6' RETURN i.value1", [ 'test5', 'test6' ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test6' || i.value1 == 'test7' RETURN i.value1", [ 'test5', 'test6', 'test7' ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndexDynamic : function () { + c.ensureHashIndex("value1"); + var queries = [ + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, a, a ] RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(-9) FOR i IN " + c.name() + " FILTER i.value1 IN [ b, b, a, b, c ] RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] || i.value1 IN [ b, c ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c, d ] || i.value1 IN [ a, b, c, d ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == a RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c || i.value1 == d RETURN i.value1", [ 35, 36, 37 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndexDifferentAttributes : function () { + c.ensureHashIndex("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure no index is used + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + assertTrue(results.stats.scannedFull > 0); + assertEqual(0, results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndexMulti : function () { + c.ensureHashIndex("value1", "value2"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 RETURN i.value1", 1 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] FILTER i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + + assertTrue(results.stats.scannedIndex < 10); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testHashIndexMultiDynamic : function () { + c.ensureHashIndex("value1", "value2"); + var queries = [ + [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a && i.value2 == a RETURN i.value1", 1 ], + [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] && i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && i.value2 IN [ c, b, 45, 99, 12, 7 ] RETURN i.value1", 2 ], + [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a FILTER i.value2 == a RETURN i.value1", 1 ], + [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] FILTER i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER i.value2 IN [ c, b, 45, 99, 12, 7 ] RETURN i.value1", 2 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + + assertTrue(results.stats.scannedIndex < 10); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndex : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] || i.value1 IN [ 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] || i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexDynamic : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, a, a ] RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(-9) FOR i IN " + c.name() + " FILTER i.value1 IN [ b, b, a, b, c ] RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] || i.value1 IN [ b, c ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] || i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c, d ] || i.value1 IN [ a, b, c, d ] RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == a RETURN i.value1", [ 35 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b RETURN i.value1", [ 35, 36 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c RETURN i.value1", [ 35, 36, 37 ] ], + [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c || i.value1 == d RETURN i.value1", [ 35, 36, 37 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure the index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + results.json.forEach(function(value) { + assertNotEqual(-1, query[1].indexOf(value)); + }); + + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexDifferentAttributes : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure no index is used + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length); + assertTrue(results.stats.scannedFull > 0); + assertEqual(0, results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoSkiplistIndexMulti : function () { + c.ensureSkiplist("value1", "value2"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure no index is used + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + assertTrue(results.stats.scannedFull > 0); + assertEqual(0, results.stats.scannedIndex); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexMulti : function () { + c.ensureSkiplist("value1", "value2"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 RETURN i.value1", 1 ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexMultiDynamic : function () { + c.ensureSkiplist("value1", "value2"); + var queries = [ + [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a && i.value2 == a RETURN i.value1", 1 ], + [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] && i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], + [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && i.value2 IN [ c, a, 45, 99, 12, 7 ] RETURN i.value1", 2 ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1], results.json.length, query); + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexSort : function () { + c.ensureSkiplist("value1"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ] ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31 ] && i.value2 IN [ 30, 31, 32, 130, 30, 31, 32, 30, 'foobar' ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 32, 32 ] ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + // we will need a sort... + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length, results.json.length, query); + for (var i = 0; i < results.json.length; ++i) { + assertEqual(query[1][i], results.json[i], query); + } + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexSortMulti : function () { + c.ensureSkiplist("value1", "value2"); + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ] ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31 ] && i.value2 IN [ 30, 31, 32, 130, 30, 31, 32, 30, 'foobar' ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], + [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 32, 32 ] ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + // we don't need a sort... + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length, results.json.length, query); + for (var i = 0; i < results.json.length; ++i) { + assertEqual(query[1][i], results.json[i], query); + } + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSkiplistIndexSortManyCandidates : function () { + c.ensureSkiplist("value2"); + c.ensureSkiplist("value2", "value1"); + c.ensureSkiplist("value2", "valuex"); + + var queries = [ + [ "FOR i IN " + c.name() + " FILTER i.value2 == 30 SORT i.value2 RETURN i.value2", [ 30 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 30, 31, 32 ] SORT i.value2 RETURN i.value2", [ 30, 31, 32 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31, 'foobar' ] SORT i.value2 RETURN i.value2", [ 30, 31, 32 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value2 == 32 || i.value2 == 29 || i.value2 == 30 SORT i.value2 RETURN i.value2", [ 29, 30, 32 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35 SORT i.value2 RETURN i.value2", [ 29, 30, 32, 35 ] ], + [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value2 RETURN i.value2", [ 7, 12, 30, 32, 45, 99 ] ] + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query[0]).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // ensure an index is used + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query[0]); + assertEqual(query[1].length, results.json.length, query); + for (var i = 0; i < results.json.length; ++i) { + assertEqual(query[1][i], results.json[i], query); + } + assertTrue(results.stats.scannedIndex > 0); + assertEqual(0, results.stats.scannedFull); + }); + } + + }; +} + +jsunity.run(optimizerIndexesInOrTestSuite); + +return jsunity.done(); + +// Local Variables: +// mode: outline-minor +// outline-regexp: "^\\(/// @brief\\|/// @addtogroup\\|// --SECTION--\\|/// @page\\|/// @}\\)" +// End: diff --git a/js/server/tests/aql-optimizer-indexes-sort.js b/js/server/tests/aql-optimizer-indexes-sort.js new file mode 100644 index 0000000000..13c961e8eb --- /dev/null +++ b/js/server/tests/aql-optimizer-indexes-sort.js @@ -0,0 +1,692 @@ +/*jshint globalstrict:false, strict:false, maxlen: 500 */ +/*global assertTrue, assertFalse, assertEqual, assertNotEqual, AQL_EXPLAIN, AQL_EXECUTE */ + +//////////////////////////////////////////////////////////////////////////////// +/// @brief tests for index usage +/// +/// @file +/// +/// DISCLAIMER +/// +/// Copyright 2010-2012 triagens GmbH, Cologne, Germany +/// +/// Licensed under the Apache License, Version 2.0 (the "License"); +/// you may not use this file except in compliance with the License. +/// You may obtain a copy of the License at +/// +/// http://www.apache.org/licenses/LICENSE-2.0 +/// +/// Unless required by applicable law or agreed to in writing, software +/// distributed under the License is distributed on an "AS IS" BASIS, +/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +/// See the License for the specific language governing permissions and +/// limitations under the License. +/// +/// Copyright holder is triAGENS GmbH, Cologne, Germany +/// +/// @author Jan Steemann +/// @author Copyright 2012, triAGENS GmbH, Cologne, Germany +//////////////////////////////////////////////////////////////////////////////// + +var jsunity = require("jsunity"); +var db = require("org/arangodb").db; + + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test suite +//////////////////////////////////////////////////////////////////////////////// + +function optimizerIndexesSortTestSuite () { + var c; + + return { + setUp : function () { + db._drop("UnitTestsCollection"); + c = db._create("UnitTestsCollection"); + + for (var i = 0; i < 2000; ++i) { + c.save({ _key: "test" + i, value: i % 10 }); + } + + c.ensureSkiplist("value"); + }, + + tearDown : function () { + db._drop("UnitTestsCollection"); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSortWithMultipleIndexes : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + // create multiple indexes + c.ensureHashIndex("value"); + c.ensureHashIndex("value", "value2"); + c.ensureSkiplist("value", "value2"); + + var query = "FOR i IN " + c.name() + " FILTER i.value == 1 SORT i.value RETURN i.value"; + + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query); + var expected = [ ]; + for (var j = 0; j < 200; ++j) { + expected.push(1); + } + assertEqual(expected.sort(), results.json.sort(), query); + assertEqual(0, results.stats.scannedFull); + assertEqual(expected.length, results.stats.scannedIndex); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSortWithMultipleIndexesAndRanges : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + // create multiple indexes + c.ensureHashIndex("value"); + c.ensureHashIndex("value", "value2"); + c.ensureSkiplist("value", "value2"); + + var query = "FOR i IN " + c.name() + " FILTER i.value == 9 || i.value == 1 SORT i.value RETURN i.value"; + + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query); + var expected = [ ]; + for (var j = 0; j < 200; ++j) { + expected.push(1); + expected.push(9); + } + assertEqual(expected.sort(), results.json.sort(), query); + assertEqual(0, results.stats.scannedFull); + assertEqual(expected.length, results.stats.scannedIndex); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testMultiSortWithMultipleIndexes : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + // create multiple indexes + c.ensureHashIndex("value"); + c.ensureHashIndex("value", "value2"); + c.ensureSkiplist("value", "value2"); + + var query = "FOR i IN " + c.name() + " FILTER i.value == 1 SORT i.value, i.value2 RETURN i.value"; + + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query); + var expected = [ ]; + for (var j = 0; j < 200; ++j) { + expected.push(1); + } + assertEqual(expected, results.json, query); + assertEqual(0, results.stats.scannedFull); + assertEqual(expected.length, results.stats.scannedIndex); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testMultiSortWithMultipleIndexesAndRanges : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + // create multiple indexes + c.ensureHashIndex("value"); + c.ensureHashIndex("value", "value2"); + c.ensureSkiplist("value", "value2"); + + var query = "FOR i IN " + c.name() + " FILTER i.value == 9 || i.value == 1 SORT i.value, i.value2 RETURN i.value"; + + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + + var results = AQL_EXECUTE(query); + var expected = [ ]; + for (var j = 0; j < 200; ++j) { + expected.push(1); + expected.push(9); + } + assertEqual(expected.sort(), results.json.sort(), query); + assertEqual(0, results.stats.scannedFull); + assertEqual(expected.length, results.stats.scannedIndex); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSingleAttributeSortNotOptimizedAway : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureHashIndex("value2"); + c.ensureHashIndex("value3"); + + var queries = [ + "FOR j IN " + c.name() + " FILTER j.value2 == 2 FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 RETURN i.value2", + "FOR j IN 1..1 FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 || i.value2 == 3 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 || i.value2 == 3 SORT i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, PASSTHRU(1) RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT i.value3, i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT PASSTHRU(1) RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSingleAttributeSortOptimizedAway : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureHashIndex("value2"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 3 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && PASSTHRU(1) SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER PASSTHRU(1) && i.value2 == 2 SORT i.value2 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testMultiAttributeSortOptimizedAway : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureHashIndex("value2", "value3"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && PASSTHRU(1) SORT i.value2 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testUsePrimaryIndexForSortIfConstRanges : function () { + var queries = [ + "FOR i IN " + c.name() + " FILTER i._key == 'test1' SORT i._key RETURN i._key", + "FOR i IN " + c.name() + " FILTER i._key == 'test1' SORT i._key DESC RETURN i._key" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testUseHashIndexForSortIfConstRanges : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureHashIndex("value2", "value3"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoHashIndexForSort : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); + + c.ensureHashIndex("value2", "value3"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 ASC RETURN i.value2", + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoHashIndexForSortDifferentVariable : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureHashIndex("value2", "value3"); + + var queries = [ + "LET docs = PASSTHRU([ { value2: 2, value3: 2 } ]) FOR i IN docs FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2 RETURN i.value2", + "LET docs = PASSTHRU([ { value2: 2, value3: 2 } ]) FOR i IN docs FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2, i.value3 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testUseSkiplistIndexForSortIfConstRanges : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); + + c.ensureSkiplist("value2", "value3", "value4"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", + + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 DESC RETURN i.value2", + + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value4 ASC RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value4 DESC RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoSkiplistIndexForSort : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); + + c.ensureSkiplist("value2", "value3"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, i.value3, i.value4 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3, i.value4 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value4 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value4, i.value2, i.value3 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testNoSkiplistIndexForSortDifferentVariable : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureSkiplist("value2", "value3"); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2, i.value3 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSparseIndexSort : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + var idx = c.ensureSkiplist("value2", { sparse: true }); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 > 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= true SORT i.value2 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + if (node.type === "IndexNode") { + assertEqual(idx.id.replace(/^.+\//g, ''), node.index.id); + assertEqual("skiplist", node.index.type); + assertTrue(node.index.sparse); + } + return node.type; + }); + + // index is used for sorting + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSparseIndexNoSort : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + c.ensureSkiplist("value2", { sparse: true }); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 < 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= null SORT i.value2 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // no index is used for sorting + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSparseIndexesSort : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); + + var idx1 = c.ensureSkiplist("value2", { sparse: true }); // cannot use for sort + var idx2 = c.ensureSkiplist("value2", { sparse: false }); // can use for sort + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 < 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= 10 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= null SORT i.value2 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + if (node.type === "IndexNode") { + assertNotEqual(idx1.id.replace(/^.+\//g, ''), node.index.id); + assertEqual(idx2.id.replace(/^.+\//g, ''), node.index.id); + assertEqual("skiplist", node.index.type); + assertFalse(node.index.sparse); + } + return node.type; + }); + + // index is used for sorting + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSparseIndexSortMulti : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + var idx = c.ensureSkiplist("value2", "value3", { sparse: true }); + + var queries = [ + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 > null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > 10 && i.value3 > 4 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= 10 && i.value3 >= 4 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 10 && i.value3 >= 4 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 10 && i.value3 == 4 SORT i.value2, i.value3 RETURN i.value2" + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + if (node.type === "IndexNode") { + assertEqual(idx.id.replace(/^.+\//g, ''), node.index.id); + assertEqual("skiplist", node.index.type); + assertTrue(node.index.sparse); + } + return node.type; + }); + + // index is used for sorting + assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + }, + +//////////////////////////////////////////////////////////////////////////////// +/// @brief test index usage +//////////////////////////////////////////////////////////////////////////////// + + testSparseIndexNoSortMulti : function () { + AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); + + c.ensureSkiplist("value2", "value3", { sparse: true }); + + var queries = [ + "FOR i IN " + c.name() + " SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 < 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 > 0 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 < 0 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 < 0 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 <= 0 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 < 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 <= 1 SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 >= 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 <= 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 < 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 == null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 > 0 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 < 0 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 < 0 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 <= 0 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 == null SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 < 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 <= 1 SORT i.value2 RETURN i.value2", + "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 == null SORT i.value2 RETURN i.value2", + ]; + + queries.forEach(function(query) { + var plan = AQL_EXPLAIN(query).plan; + var nodeTypes = plan.nodes.map(function(node) { + return node.type; + }); + + // no index is used for sorting + assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); + assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); + }); + } + + }; +} + +jsunity.run(optimizerIndexesSortTestSuite); + +return jsunity.done(); + +// Local Variables: +// mode: outline-minor +// outline-regexp: "^\\(/// @brief\\|/// @addtogroup\\|// --SECTION--\\|/// @page\\|/// @}\\)" +// End: diff --git a/js/server/tests/aql-optimizer-indexes.js b/js/server/tests/aql-optimizer-indexes.js index ecd5302c0e..0409b49530 100644 --- a/js/server/tests/aql-optimizer-indexes.js +++ b/js/server/tests/aql-optimizer-indexes.js @@ -2536,1601 +2536,11 @@ function optimizerIndexesTestSuite () { }; } - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test suite -//////////////////////////////////////////////////////////////////////////////// - -function optimizerEdgeIndexTestSuite () { - var c; - var e; - - return { - setUp : function () { - db._drop("UnitTestsCollection"); - db._drop("UnitTestsEdgeCollection"); - c = db._create("UnitTestsCollection"); - e = db._createEdgeCollection("UnitTestsEdgeCollection"); - - for (var i = 0; i < 2000; i += 100) { - var j; - - for (j = 0; j < i; ++j) { - e.save("UnitTestsCollection/from" + i, "UnitTestsCollection/nono", { value: i + "-" + j }); - } - for (j = 0; j < i; ++j) { - e.save("UnitTestsCollection/nono", "UnitTestsCollection/to" + i, { value: i + "-" + j }); - } - } - }, - - tearDown : function () { - db._drop("UnitTestsCollection"); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test continuous index scan -//////////////////////////////////////////////////////////////////////////////// - - testFindContinuous : function () { - for (var i = 0; i < 20; ++i) { - var query = "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/nono' && i._to == 'UnitTestsCollection/to" + i + "' LIMIT 1 RETURN i._key"; - var results = AQL_EXECUTE(query); - assertEqual(0, results.json.length, query); - } - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testFindNone : function () { - var queries = [ - "FOR i IN " + e.name() + " FILTER i._from == '' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from0' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from2' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == '/' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._from == '--foobar--' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == '' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from0' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from1' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/from2' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == '/' RETURN i._key", - "FOR i IN " + e.name() + " FILTER i._to == '--foobar--' RETURN i._key" - ]; - - queries.forEach(function(query) { - var results = AQL_EXECUTE(query); - assertEqual([ ], results.json, query); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testFindFrom : function () { - var queries = [ - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from100' RETURN i._key", 100 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from200' RETURN i._key", 200 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1000' RETURN i._key", 1000 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1100' RETURN i._key", 1100 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1900' RETURN i._key", 1900 ] - ]; - - queries.forEach(function(query) { - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query[0]); - assertEqual(0, results.stats.scannedFull); - assertEqual(query[1], results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testFindTo : function () { - var queries = [ - [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to100' RETURN i._key", 100 ], - [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to200' RETURN i._key", 200 ], - [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1000' RETURN i._key", 1000 ], - [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1100' RETURN i._key", 1100 ], - [ "FOR i IN " + e.name() + " FILTER i._to == 'UnitTestsCollection/to1900' RETURN i._key", 1900 ] - ]; - - queries.forEach(function(query) { - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query[0]); - assertEqual(0, results.stats.scannedFull); - assertEqual(query[1], results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testFindFromTo : function () { - var queries = [ - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from100' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 100 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from200' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 200 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1000' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1000 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1100' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1100 ], - [ "FOR i IN " + e.name() + " FILTER i._from == 'UnitTestsCollection/from1900' && i._to == 'UnitTestsCollection/nono' RETURN i._key", 1900 ] - ]; - - queries.forEach(function(query) { - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query[0]); - assertEqual(0, results.stats.scannedFull); - assertEqual(query[1], results.stats.scannedIndex); - }); - } - - }; -} - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test suite -//////////////////////////////////////////////////////////////////////////////// - -function optimizerIndexesInOrTestSuite () { - var c; - - return { - setUp : function () { - db._drop("UnitTestsCollection"); - c = db._create("UnitTestsCollection"); - - for (var i = 0; i < 2000; ++i) { - c.save({ _key: "test" + i, value1: (i % 100), value2: i }); - } - }, - - tearDown : function () { - db._drop("UnitTestsCollection"); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoIndex : function () { - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ ] RETURN i.value1", [ ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure no index is used - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - if (query[1].length > 0) { - assertTrue(results.stats.scannedFull > 0); - } - assertEqual(0, results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoHashIndex : function () { - c.ensureHashIndex("value1"); - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95 ] RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 95, 95 ] RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 96 ] RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 96, 96, 95, 96, -9 ] RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 IN [ 95, 96, 97 ] RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 95 RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 96 RETURN i.value1", - "FOR i IN " + c.name() + " FILTER i.value > 95 || i.value1 == 95 || i.value1 == 96 || i.value1 == 97 RETURN i.value1" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure no index is used - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query); - results.json.forEach(function(value) { - assertTrue(value >= 95 && value < 100); - }); - - assertEqual(0, results.stats.scannedIndex); - assertTrue(results.stats.scannedFull > 0); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndex : function () { - c.ensureHashIndex("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] || i.value1 IN [ 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] || i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndexString : function () { - c.ensureHashIndex("value1"); - for (var i = 0; i < 1000; ++i) { - c.save({ value1: "test" + (i % 100) }); - } - - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test1', 'test3', 'test4' ] RETURN i.value1", [ 'test1', 'test3', 'test4' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test1', 'test1', 'test1' ] RETURN i.value1", [ 'test1' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test9', 'test0' ] RETURN i.value1", [ 'test0', 'test9' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test6', 'test6', 'test5', 'test6', 'test9999', 'test-1', 'foobar' ] RETURN i.value1", [ 'test5', 'test6' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test5' ] || i.value1 IN [ 'test6', 'test7' ] RETURN i.value1", [ 'test5', 'test6', 'test7' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 'test5', 'test6', 'test7' ] || i.value1 IN [ 'test5', 'test6', 'test7' ] RETURN i.value1", [ 'test5', 'test6', 'test7' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' RETURN i.value1", [ 'test5' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test5' RETURN i.value1", [ 'test5' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test6' RETURN i.value1", [ 'test5', 'test6' ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 'test5' || i.value1 == 'test6' || i.value1 == 'test7' RETURN i.value1", [ 'test5', 'test6', 'test7' ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndexDynamic : function () { - c.ensureHashIndex("value1"); - var queries = [ - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, a, a ] RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(-9) FOR i IN " + c.name() + " FILTER i.value1 IN [ b, b, a, b, c ] RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] || i.value1 IN [ b, c ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c, d ] || i.value1 IN [ a, b, c, d ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == a RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c || i.value1 == d RETURN i.value1", [ 35, 36, 37 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndexDifferentAttributes : function () { - c.ensureHashIndex("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure no index is used - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - assertTrue(results.stats.scannedFull > 0); - assertEqual(0, results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndexMulti : function () { - c.ensureHashIndex("value1", "value2"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 RETURN i.value1", 1 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] FILTER i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) FILTER i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - - assertTrue(results.stats.scannedIndex < 10); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testHashIndexMultiDynamic : function () { - c.ensureHashIndex("value1", "value2"); - var queries = [ - [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a && i.value2 == a RETURN i.value1", 1 ], - [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] && i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && i.value2 IN [ c, b, 45, 99, 12, 7 ] RETURN i.value1", 2 ], - [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a FILTER i.value2 == a RETURN i.value1", 1 ], - [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] FILTER i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) FILTER i.value2 IN [ c, b, 45, 99, 12, 7 ] RETURN i.value1", 2 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - - assertTrue(results.stats.scannedIndex < 10); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndex : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 35, 35 ] RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 36, 36, 35, 36, -9 ] RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35 ] || i.value1 IN [ 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36, 37 ] || i.value1 IN [ 35, 36, 37 ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 35 RETURN i.value1", [ 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 RETURN i.value1", [ 35, 36 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 35 || i.value1 == 36 || i.value1 == 37 RETURN i.value1", [ 35, 36, 37 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexDynamic : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, a, a ] RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 36 ] RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(-9) FOR i IN " + c.name() + " FILTER i.value1 IN [ b, b, a, b, c ] RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a ] || i.value1 IN [ b, c ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] || i.value1 IN [ a, b, c ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c, d ] || i.value1 IN [ a, b, c, d ] RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == a RETURN i.value1", [ 35 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b RETURN i.value1", [ 35, 36 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c RETURN i.value1", [ 35, 36, 37 ] ], - [ "LET a = PASSTHRU(35), b = PASSTHRU(36), c = PASSTHRU(37), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER i.value1 == a || i.value1 == b || i.value1 == c || i.value1 == d RETURN i.value1", [ 35, 36, 37 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure the index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexDifferentAttributes : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure no index is used - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length); - assertTrue(results.stats.scannedFull > 0); - assertEqual(0, results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoSkiplistIndexMulti : function () { - c.ensureSkiplist("value1", "value2"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value2 == 5 || i.value1 == 3 || i.value2 == 5 RETURN i.value1", 21 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 RETURN i.value1", 41 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 == 3 || i.value1 == 5 || i.value2 == 7 || i.value2 == 19 RETURN i.value1", 42 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 == 18 RETURN i.value1", 61 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 9, 12 ] || i.value2 IN [ 18, 24, 42 ] RETURN i.value1", 63 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure no index is used - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - assertTrue(results.stats.scannedFull > 0); - assertEqual(0, results.stats.scannedIndex); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexMulti : function () { - c.ensureSkiplist("value1", "value2"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 RETURN i.value1", 1 ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] RETURN i.value1", 4 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) RETURN i.value1", 3 ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] RETURN i.value1", 2 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexMultiDynamic : function () { - c.ensureSkiplist("value1", "value2"); - var queries = [ - [ "LET a = PASSTHRU(30) FOR i IN " + c.name() + " FILTER i.value1 == a && i.value2 == a RETURN i.value1", 1 ], - [ "LET a = PASSTHRU(30), b = PASSTHRU(31), c = PASSTHRU(32), d = PASSTHRU(130) FOR i IN " + c.name() + " FILTER i.value1 IN [ a, b, c ] && i.value2 IN [ a, b, c, d ] RETURN i.value1", 4 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32), d = PASSTHRU(35) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && (i.value2 == c || i.value2 == a || i.value2 == b || i.value2 == d) RETURN i.value1", 3 ], - [ "LET a = PASSTHRU(29), b = PASSTHRU(30), c = PASSTHRU(32) FOR i IN " + c.name() + " FILTER (i.value1 == b || i.value1 == a || i.value1 == c) && i.value2 IN [ c, a, 45, 99, 12, 7 ] RETURN i.value1", 2 ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1], results.json.length, query); - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexSort : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ] ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31 ] && i.value2 IN [ 30, 31, 32, 130, 30, 31, 32, 30, 'foobar' ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 32, 32 ] ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - // we will need a sort... - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length, results.json.length, query); - for (var i = 0; i < results.json.length; ++i) { - assertEqual(query[1][i], results.json[i], query); - } - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexSortMulti : function () { - c.ensureSkiplist("value1", "value2"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 == 30 && i.value2 == 30 SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ] ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 30, 31, 32 ] && i.value2 IN [ 30, 31, 32, 130 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31 ] && i.value2 IN [ 30, 31, 32, 130, 30, 31, 32, 30, 'foobar' ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 30, 130 ], [ 31, 31 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && (i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35) SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 29, 29 ], [ 30, 30 ], [ 32, 32 ] ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 30 || i.value1 == 29 || i.value1 == 32) && i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value1, i.value2 RETURN [ i.value1, i.value2 ]", [ [ 30, 30 ], [ 32, 32 ] ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - // we don't need a sort... - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length, results.json.length, query); - for (var i = 0; i < results.json.length; ++i) { - assertEqual(query[1][i], results.json[i], query); - } - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSkiplistIndexSortManyCandidates : function () { - c.ensureSkiplist("value2"); - c.ensureSkiplist("value2", "value1"); - c.ensureSkiplist("value2", "valuex"); - - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value2 == 30 SORT i.value2 RETURN i.value2", [ 30 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 30, 31, 32 ] SORT i.value2 RETURN i.value2", [ 30, 31, 32 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 32, 32, 32, 32, 31, 31, 31, 31, 30, 30, 30, 32, 32, 31, 'foobar' ] SORT i.value2 RETURN i.value2", [ 30, 31, 32 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value2 == 32 || i.value2 == 29 || i.value2 == 30 SORT i.value2 RETURN i.value2", [ 29, 30, 32 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value2 == 32 || i.value2 == 29 || i.value2 == 30 || i.value2 == 35 SORT i.value2 RETURN i.value2", [ 29, 30, 32, 35 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value2 IN [ 32, 30, 45, 99, 12, 7 ] SORT i.value2 RETURN i.value2", [ 7, 12, 30, 32, 45, 99 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length, results.json.length, query); - for (var i = 0; i < results.json.length; ++i) { - assertEqual(query[1][i], results.json[i], query); - } - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - } - - }; -} - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test suite -//////////////////////////////////////////////////////////////////////////////// - -function optimizerIndexesRangesTestSuite () { - var c; - - return { - setUp : function () { - db._drop("UnitTestsCollection"); - c = db._create("UnitTestsCollection"); - - for (var i = 0; i < 2000; ++i) { - c.save({ _key: "test" + i, value1: (i % 100), value2: i }); - } - }, - - tearDown : function () { - db._drop("UnitTestsCollection"); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testRangesSingle : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 < 3 || i.value1 == 5 || i.value1 == 9 || i.value1 > 98 RETURN i.value1", [ 0, 1, 2, 5, 9, 99 ] ], - [ "FOR i IN " + c.name() + " FILTER ((i.value1 < 2 || i.value1 == 3) || (i.value1 == 96 || i.value1 > 97)) RETURN i.value1", [ 0, 1, 3, 96, 98, 99 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 34, 33 ] && i.value1 < 35 RETURN i.value1", [ 33, 34 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 35, 34, 33, 99 ] && i.value1 >= 34 RETURN i.value1", [ 34, 35, 99 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 > 10) && (i.value1 <= 12) RETURN i.value1", [ 9, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 >= 10) && (i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 >=9 && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 >=9 && (i.value1 == 10 || i.value1 <= 12 || i.value1 IN [ 5, 3 ]) RETURN i.value1", [ 9, 10, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10) && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 10, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 == 9 || i.value1 >= 10) && (i.value1 == 10 || i.value1 <= 12) RETURN i.value1", [ 9, 10, 11, 12 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 > 5 && i.value1 < 10) || (i.value1 > 37 && i.value1 <= 41) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 > 37 && i.value1 <= 41) || (i.value1 > 5 && i.value1 < 10) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 <= 41 && i.value1 > 37) || (i.value1 < 10 && i.value1 > 5) RETURN i.value1", [ 6, 7, 8, 9, 38, 39, 40, 41 ] ], - [ "FOR i IN " + c.name() + " FILTER ((i.value1 <= 41 && i.value1 > 37) || i.value1 IN [ 3, 12 ]) || (i.value1 IN [ 74, 77 ] || (i.value1 < 10 && i.value1 > 5)) RETURN i.value1", [ 3, 6, 7, 8, 9, 12, 38, 39, 40, 41, 74, 77 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 > 12 || i.value1 < 7) && (i.value1 > 97 || i.value1 < 5) RETURN i.value1", [ 0, 1, 2, 3, 4, 98, 99 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 11 && i.value1 <= 15) && (i.value1 > 7 && i.value < 28) && i.value1 IN [ 23, 17, 11, 12, 13, 29, 28, 27, 14, 15, 15, 15 ] RETURN i.value1", [ 11, 12, 13, 14, 15 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length * 20, results.json.length, query); - var last = query[1][0]; - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - assertTrue(value >= last); - last = value; - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testRangesWithRational : function () { - c.ensureSkiplist("value1"); - for (var i = 0; i < 20; ++i) { - c.save({ value1: 3.5 }); - c.save({ value1: 12.5 }); - c.save({ value1: 10.1 }); - c.save({ value1: 10.9 }); - c.save({ value1: 42.23 }); - } - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] RETURN i.value1", [ 3, 4, 5 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10 && i.value1 < 11) RETURN i.value1", [ 10, 10.1, 10.9 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10.1 && i.value1 <= 10.9) RETURN i.value1", [ 10.1, 10.9 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 >= 10 && i.value1 <= 11) RETURN i.value1", [ 10, 10.1, 10.9, 11 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] || i.value1 < 5 RETURN i.value1", [ 0, 1, 2, 3, 3.5, 4, 5 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] && i.value1 < 5 RETURN i.value1", [ 3, 4 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 3, 4, 5 ] && i.value1 <= 5 RETURN i.value1", [ 3, 4, 5 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 > 40 && i.value1 > 42 && i.value1 < 43 && i.value1 < 44 RETURN i.value1", [ 42.23 ] ], - [ "FOR i IN " + c.name() + " FILTER (i.value1 < 44 && i.value1 > 42) || (i.value1 >= 41 && i.value1 <= 44) RETURN i.value1", [ 41, 42, 42.23, 43, 44 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length * 20, results.json.length, query); - var last = query[1][0]; - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - assertTrue(value >= last); - last = value; - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testMultipleFilters : function () { - c.ensureSkiplist("value1"); - var queries = [ - [ "FOR i IN " + c.name() + " FILTER i.value1 < 3 FILTER i.value1 < 10 RETURN i.value1", [ 0, 1, 2 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 IN [ 7, 3, 1 ] RETURN i.value1", [ 1, 3, 7 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 < 7 RETURN i.value1", [ 0, 1, 2, 3, 4, 5, 6 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 == 3 RETURN i.value1", [ 3 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 < 10 FILTER i.value1 < 9 FILTER i.value1 < 8 FILTER i.value1 > 3 RETURN i.value1", [ 4, 5, 6, 7 ] ], - [ "FOR i IN " + c.name() + " FILTER i.value1 IN [ 12, 13, 14, 15, 17 ] FILTER i.value1 < 20 FILTER i.value1 > 10 FILTER i.value1 IN [ 11, 12, 13, 14, 15, 16, 17, 18 ] RETURN i.value1", [ 12, 13, 14, 15, 17 ] ] - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query[0]).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // ensure an index is used - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - - var results = AQL_EXECUTE(query[0]); - assertEqual(query[1].length * 20, results.json.length, query); - var last = query[1][0]; - results.json.forEach(function(value) { - assertNotEqual(-1, query[1].indexOf(value)); - assertTrue(value >= last); - last = value; - }); - - assertTrue(results.stats.scannedIndex > 0); - assertEqual(0, results.stats.scannedFull); - }); - } - - }; -} - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test suite -//////////////////////////////////////////////////////////////////////////////// - -function optimizerIndexesSortTestSuite () { - var c; - - return { - setUp : function () { - db._drop("UnitTestsCollection"); - c = db._create("UnitTestsCollection"); - - for (var i = 0; i < 2000; ++i) { - c.save({ _key: "test" + i, value: i % 10 }); - } - - c.ensureSkiplist("value"); - }, - - tearDown : function () { - db._drop("UnitTestsCollection"); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSortWithMultipleIndexes : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - // create multiple indexes - c.ensureHashIndex("value"); - c.ensureHashIndex("value", "value2"); - c.ensureSkiplist("value", "value2"); - - var query = "FOR i IN " + c.name() + " FILTER i.value == 1 SORT i.value RETURN i.value"; - - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query); - var expected = [ ]; - for (var j = 0; j < 200; ++j) { - expected.push(1); - } - assertEqual(expected.sort(), results.json.sort(), query); - assertEqual(0, results.stats.scannedFull); - assertEqual(expected.length, results.stats.scannedIndex); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSortWithMultipleIndexesAndRanges : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - // create multiple indexes - c.ensureHashIndex("value"); - c.ensureHashIndex("value", "value2"); - c.ensureSkiplist("value", "value2"); - - var query = "FOR i IN " + c.name() + " FILTER i.value == 9 || i.value == 1 SORT i.value RETURN i.value"; - - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query); - var expected = [ ]; - for (var j = 0; j < 200; ++j) { - expected.push(1); - expected.push(9); - } - assertEqual(expected.sort(), results.json.sort(), query); - assertEqual(0, results.stats.scannedFull); - assertEqual(expected.length, results.stats.scannedIndex); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testMultiSortWithMultipleIndexes : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - // create multiple indexes - c.ensureHashIndex("value"); - c.ensureHashIndex("value", "value2"); - c.ensureSkiplist("value", "value2"); - - var query = "FOR i IN " + c.name() + " FILTER i.value == 1 SORT i.value, i.value2 RETURN i.value"; - - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query); - var expected = [ ]; - for (var j = 0; j < 200; ++j) { - expected.push(1); - } - assertEqual(expected, results.json, query); - assertEqual(0, results.stats.scannedFull); - assertEqual(expected.length, results.stats.scannedIndex); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testMultiSortWithMultipleIndexesAndRanges : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - // create multiple indexes - c.ensureHashIndex("value"); - c.ensureHashIndex("value", "value2"); - c.ensureSkiplist("value", "value2"); - - var query = "FOR i IN " + c.name() + " FILTER i.value == 9 || i.value == 1 SORT i.value, i.value2 RETURN i.value"; - - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - - var results = AQL_EXECUTE(query); - var expected = [ ]; - for (var j = 0; j < 200; ++j) { - expected.push(1); - expected.push(9); - } - assertEqual(expected.sort(), results.json.sort(), query); - assertEqual(0, results.stats.scannedFull); - assertEqual(expected.length, results.stats.scannedIndex); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSingleAttributeSortNotOptimizedAway : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureHashIndex("value2"); - c.ensureHashIndex("value3"); - - var queries = [ - "FOR j IN " + c.name() + " FILTER j.value2 == 2 FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 RETURN i.value2", - "FOR j IN 1..1 FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 || i.value2 == 3 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 || i.value2 == 3 SORT i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, PASSTHRU(1) RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT i.value3, i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value3 == 2 SORT PASSTHRU(1) RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSingleAttributeSortOptimizedAway : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureHashIndex("value2"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 3 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && PASSTHRU(1) SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER PASSTHRU(1) && i.value2 == 2 SORT i.value2 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testMultiAttributeSortOptimizedAway : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureHashIndex("value2", "value3"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && PASSTHRU(1) SORT i.value2 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testUsePrimaryIndexForSortIfConstRanges : function () { - var queries = [ - "FOR i IN " + c.name() + " FILTER i._key == 'test1' SORT i._key RETURN i._key", - "FOR i IN " + c.name() + " FILTER i._key == 'test1' SORT i._key DESC RETURN i._key" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testUseHashIndexForSortIfConstRanges : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureHashIndex("value2", "value3"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoHashIndexForSort : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); - - c.ensureHashIndex("value2", "value3"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 ASC RETURN i.value2", - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoHashIndexForSortDifferentVariable : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureHashIndex("value2", "value3"); - - var queries = [ - "LET docs = PASSTHRU([ { value2: 2, value3: 2 } ]) FOR i IN docs FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2 RETURN i.value2", - "LET docs = PASSTHRU([ { value2: 2, value3: 2 } ]) FOR i IN docs FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2, i.value3 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testUseSkiplistIndexForSortIfConstRanges : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); - - c.ensureSkiplist("value2", "value3", "value4"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", - - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 SORT i.value4 DESC RETURN i.value2", - - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC, i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC, i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 ASC, i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value2 DESC, i.value3 DESC, i.value4 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 ASC, i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value3 DESC, i.value4 DESC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value4 ASC RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 && i.value4 == 2 SORT i.value4 DESC RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoSkiplistIndexForSort : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value, value4: i.value } IN " + c.name()); - - c.ensureSkiplist("value2", "value3"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value2, i.value3, i.value4 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value3, i.value4 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value4 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 SORT i.value4, i.value2, i.value3 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testNoSkiplistIndexForSortDifferentVariable : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureSkiplist("value2", "value3"); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 2 && i.value3 == 2 FOR j IN " + c.name() + " FILTER j.value2 == 3 && j.value3 == 3 SORT i.value2, i.value3 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSparseIndexSort : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - var idx = c.ensureSkiplist("value2", { sparse: true }); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 > 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= true SORT i.value2 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - if (node.type === "IndexNode") { - assertEqual(idx.id.replace(/^.+\//g, ''), node.index.id); - assertEqual("skiplist", node.index.type); - assertTrue(node.index.sparse); - } - return node.type; - }); - - // index is used for sorting - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSparseIndexNoSort : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - c.ensureSkiplist("value2", { sparse: true }); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 < 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= null SORT i.value2 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // no index is used for sorting - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSparseIndexesSort : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value } IN " + c.name()); - - var idx1 = c.ensureSkiplist("value2", { sparse: true }); // cannot use for sort - var idx2 = c.ensureSkiplist("value2", { sparse: false }); // can use for sort - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 < 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= 10 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= null SORT i.value2 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - if (node.type === "IndexNode") { - assertNotEqual(idx1.id.replace(/^.+\//g, ''), node.index.id); - assertEqual(idx2.id.replace(/^.+\//g, ''), node.index.id); - assertEqual("skiplist", node.index.type); - assertFalse(node.index.sparse); - } - return node.type; - }); - - // index is used for sorting - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSparseIndexSortMulti : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - var idx = c.ensureSkiplist("value2", "value3", { sparse: true }); - - var queries = [ - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 > null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > 10 && i.value3 > 4 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= 10 && i.value3 >= 4 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 10 && i.value3 >= 4 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 10 && i.value3 == 4 SORT i.value2, i.value3 RETURN i.value2" - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - if (node.type === "IndexNode") { - assertEqual(idx.id.replace(/^.+\//g, ''), node.index.id); - assertEqual("skiplist", node.index.type); - assertTrue(node.index.sparse); - } - return node.type; - }); - - // index is used for sorting - assertNotEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - }, - -//////////////////////////////////////////////////////////////////////////////// -/// @brief test index usage -//////////////////////////////////////////////////////////////////////////////// - - testSparseIndexNoSortMulti : function () { - AQL_EXECUTE("FOR i IN " + c.name() + " UPDATE i WITH { value2: i.value, value3: i.value } IN " + c.name()); - - c.ensureSkiplist("value2", "value3", { sparse: true }); - - var queries = [ - "FOR i IN " + c.name() + " SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 < 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 > 0 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 < 0 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 < 0 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 <= 0 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 < 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 <= 1 SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 == null SORT i.value2, i.value3 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 >= 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 <= 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 < 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 == null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 > 0 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == null && i.value3 < 0 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 < 0 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 <= 0 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 > null && i.value3 == null SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 < 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 <= 1 SORT i.value2 RETURN i.value2", - "FOR i IN " + c.name() + " FILTER i.value2 == 1 && i.value3 == null SORT i.value2 RETURN i.value2", - ]; - - queries.forEach(function(query) { - var plan = AQL_EXPLAIN(query).plan; - var nodeTypes = plan.nodes.map(function(node) { - return node.type; - }); - - // no index is used for sorting - assertEqual(-1, nodeTypes.indexOf("IndexNode"), query); - assertNotEqual(-1, nodeTypes.indexOf("SortNode"), query); - }); - } - - }; -} - //////////////////////////////////////////////////////////////////////////////// /// @brief executes the test suites //////////////////////////////////////////////////////////////////////////////// jsunity.run(optimizerIndexesTestSuite); -jsunity.run(optimizerEdgeIndexTestSuite); -jsunity.run(optimizerIndexesInOrTestSuite); -jsunity.run(optimizerIndexesRangesTestSuite); -jsunity.run(optimizerIndexesSortTestSuite); return jsunity.done();