veritas-optimizer 0.0.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (279) hide show
  1. data/Gemfile +33 -0
  2. data/LICENSE +20 -0
  3. data/README.rdoc +27 -0
  4. data/Rakefile +25 -0
  5. data/TODO +75 -0
  6. data/config/flay.yml +3 -0
  7. data/config/flog.yml +2 -0
  8. data/config/roodi.yml +16 -0
  9. data/config/site.reek +91 -0
  10. data/config/yardstick.yml +2 -0
  11. data/lib/veritas/optimizer/algebra/difference.rb +66 -0
  12. data/lib/veritas/optimizer/algebra/extension.rb +42 -0
  13. data/lib/veritas/optimizer/algebra/intersection.rb +66 -0
  14. data/lib/veritas/optimizer/algebra/join.rb +44 -0
  15. data/lib/veritas/optimizer/algebra/product.rb +70 -0
  16. data/lib/veritas/optimizer/algebra/projection.rb +174 -0
  17. data/lib/veritas/optimizer/algebra/rename.rb +396 -0
  18. data/lib/veritas/optimizer/algebra/restriction.rb +259 -0
  19. data/lib/veritas/optimizer/algebra/summarization.rb +42 -0
  20. data/lib/veritas/optimizer/algebra/union.rb +66 -0
  21. data/lib/veritas/optimizer/logic/connective/binary.rb +254 -0
  22. data/lib/veritas/optimizer/logic/connective/conjunction.rb +122 -0
  23. data/lib/veritas/optimizer/logic/connective/disjunction.rb +122 -0
  24. data/lib/veritas/optimizer/logic/connective/negation.rb +71 -0
  25. data/lib/veritas/optimizer/logic/predicate/comparable.rb +134 -0
  26. data/lib/veritas/optimizer/logic/predicate/enumerable.rb +141 -0
  27. data/lib/veritas/optimizer/logic/predicate/equality.rb +44 -0
  28. data/lib/veritas/optimizer/logic/predicate/exclusion.rb +53 -0
  29. data/lib/veritas/optimizer/logic/predicate/greater_than.rb +54 -0
  30. data/lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb +56 -0
  31. data/lib/veritas/optimizer/logic/predicate/inclusion.rb +53 -0
  32. data/lib/veritas/optimizer/logic/predicate/inequality.rb +44 -0
  33. data/lib/veritas/optimizer/logic/predicate/less_than.rb +54 -0
  34. data/lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb +56 -0
  35. data/lib/veritas/optimizer/logic/predicate/match.rb +19 -0
  36. data/lib/veritas/optimizer/logic/predicate/no_match.rb +19 -0
  37. data/lib/veritas/optimizer/logic/predicate.rb +177 -0
  38. data/lib/veritas/optimizer/optimizable.rb +59 -0
  39. data/lib/veritas/optimizer/relation/materialized.rb +40 -0
  40. data/lib/veritas/optimizer/relation/operation/binary.rb +168 -0
  41. data/lib/veritas/optimizer/relation/operation/combination.rb +33 -0
  42. data/lib/veritas/optimizer/relation/operation/limit.rb +149 -0
  43. data/lib/veritas/optimizer/relation/operation/offset.rb +114 -0
  44. data/lib/veritas/optimizer/relation/operation/order.rb +96 -0
  45. data/lib/veritas/optimizer/relation/operation/reverse.rb +94 -0
  46. data/lib/veritas/optimizer/relation/operation/unary.rb +88 -0
  47. data/lib/veritas/optimizer/version.rb +7 -0
  48. data/lib/veritas/optimizer.rb +136 -0
  49. data/lib/veritas-optimizer.rb +3 -0
  50. data/spec/integration/veritas/algebra/difference/optimize_spec.rb +152 -0
  51. data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +152 -0
  52. data/spec/integration/veritas/algebra/join/optimize_spec.rb +110 -0
  53. data/spec/integration/veritas/algebra/product/optimize_spec.rb +176 -0
  54. data/spec/integration/veritas/algebra/projection/optimize_spec.rb +237 -0
  55. data/spec/integration/veritas/algebra/rename/optimize_spec.rb +440 -0
  56. data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +216 -0
  57. data/spec/integration/veritas/algebra/union/optimize_spec.rb +192 -0
  58. data/spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb +234 -0
  59. data/spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb +235 -0
  60. data/spec/integration/veritas/logic/connective/negation/optimize_spec.rb +41 -0
  61. data/spec/integration/veritas/logic/expression/optimize_spec.rb +42 -0
  62. data/spec/integration/veritas/logic/predicate/equality/optimize_spec.rb +90 -0
  63. data/spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb +131 -0
  64. data/spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb +100 -0
  65. data/spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb +100 -0
  66. data/spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb +131 -0
  67. data/spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb +90 -0
  68. data/spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb +100 -0
  69. data/spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb +100 -0
  70. data/spec/integration/veritas/relation/empty/optimize_spec.rb +11 -0
  71. data/spec/integration/veritas/relation/materialized/optimize_spec.rb +37 -0
  72. data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +140 -0
  73. data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +98 -0
  74. data/spec/integration/veritas/relation/operation/order/optimize_spec.rb +103 -0
  75. data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +113 -0
  76. data/spec/integration/veritas/relation/optimize_spec.rb +33 -0
  77. data/spec/rcov.opts +6 -0
  78. data/spec/shared/idempotent_method_behavior.rb +5 -0
  79. data/spec/shared/logic_connective_binary_optimize_behavior.rb +100 -0
  80. data/spec/shared/optimize_method_behavior.rb +14 -0
  81. data/spec/spec.opts +3 -0
  82. data/spec/spec_helper.rb +16 -0
  83. data/spec/support/add_method_missing.rb +13 -0
  84. data/spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb +17 -0
  85. data/spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb +17 -0
  86. data/spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb +19 -0
  87. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +27 -0
  88. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +25 -0
  89. data/spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb +17 -0
  90. data/spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb +17 -0
  91. data/spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb +17 -0
  92. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb +27 -0
  93. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +21 -0
  94. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb +25 -0
  95. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb +16 -0
  96. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb +25 -0
  97. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb +16 -0
  98. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb +25 -0
  99. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +18 -0
  100. data/spec/unit/veritas/optimizer/algebra/projection/header_spec.rb +16 -0
  101. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb +26 -0
  102. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +20 -0
  103. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb +27 -0
  104. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb +23 -0
  105. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb +26 -0
  106. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb +16 -0
  107. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb +26 -0
  108. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +20 -0
  109. data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +31 -0
  110. data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +27 -0
  111. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb +25 -0
  112. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb +17 -0
  113. data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +19 -0
  114. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb +26 -0
  115. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +21 -0
  116. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb +26 -0
  117. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +21 -0
  118. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb +26 -0
  119. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb +20 -0
  120. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb +26 -0
  121. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +20 -0
  122. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb +28 -0
  123. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb +20 -0
  124. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb +35 -0
  125. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb +16 -0
  126. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb +27 -0
  127. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +21 -0
  128. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb +25 -0
  129. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb +21 -0
  130. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb +27 -0
  131. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb +21 -0
  132. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb +26 -0
  133. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb +16 -0
  134. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb +42 -0
  135. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +21 -0
  136. data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +31 -0
  137. data/spec/unit/veritas/optimizer/algebra/restriction/contradiction/optimizable_spec.rb +26 -0
  138. data/spec/unit/veritas/optimizer/algebra/restriction/contradiction/optimize_spec.rb +19 -0
  139. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb +26 -0
  140. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb +18 -0
  141. data/spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb +16 -0
  142. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb +28 -0
  143. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb +22 -0
  144. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb +26 -0
  145. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb +18 -0
  146. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb +28 -0
  147. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb +22 -0
  148. data/spec/unit/veritas/optimizer/algebra/restriction/tautology/optimizable_spec.rb +25 -0
  149. data/spec/unit/veritas/optimizer/algebra/restriction/tautology/optimize_spec.rb +17 -0
  150. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +42 -0
  151. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +22 -0
  152. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +27 -0
  153. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +27 -0
  154. data/spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb +17 -0
  155. data/spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb +17 -0
  156. data/spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb +17 -0
  157. data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +54 -0
  158. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb +27 -0
  159. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb +17 -0
  160. data/spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb +14 -0
  161. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb +26 -0
  162. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +21 -0
  163. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb +26 -0
  164. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +21 -0
  165. data/spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb +14 -0
  166. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb +34 -0
  167. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +21 -0
  168. data/spec/unit/veritas/optimizer/logic/connective/conjunction/contradiction/optimizable_spec.rb +41 -0
  169. data/spec/unit/veritas/optimizer/logic/connective/conjunction/contradiction/optimize_spec.rb +17 -0
  170. data/spec/unit/veritas/optimizer/logic/connective/conjunction/left_operand_tautology/optimizable_spec.rb +27 -0
  171. data/spec/unit/veritas/optimizer/logic/connective/conjunction/left_operand_tautology/optimize_spec.rb +17 -0
  172. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb +27 -0
  173. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +36 -0
  174. data/spec/unit/veritas/optimizer/logic/connective/conjunction/right_operand_tautology/optimizable_spec.rb +27 -0
  175. data/spec/unit/veritas/optimizer/logic/connective/conjunction/right_operand_tautology/optimize_spec.rb +17 -0
  176. data/spec/unit/veritas/optimizer/logic/connective/disjunction/contradiction_left_operand/optimizable_spec.rb +27 -0
  177. data/spec/unit/veritas/optimizer/logic/connective/disjunction/contradiction_left_operand/optimize_spec.rb +17 -0
  178. data/spec/unit/veritas/optimizer/logic/connective/disjunction/contradiction_right_operand/optimizable_spec.rb +27 -0
  179. data/spec/unit/veritas/optimizer/logic/connective/disjunction/contradiction_right_operand/optimize_spec.rb +17 -0
  180. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb +27 -0
  181. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +36 -0
  182. data/spec/unit/veritas/optimizer/logic/connective/disjunction/tautology/optimizable_spec.rb +41 -0
  183. data/spec/unit/veritas/optimizer/logic/connective/disjunction/tautology/optimize_spec.rb +17 -0
  184. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb +26 -0
  185. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +20 -0
  186. data/spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb +12 -0
  187. data/spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb +20 -0
  188. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +58 -0
  189. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +58 -0
  190. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +41 -0
  191. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +19 -0
  192. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb +29 -0
  193. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb +14 -0
  194. data/spec/unit/veritas/optimizer/logic/predicate/contradiction/optimize_spec.rb +16 -0
  195. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +76 -0
  196. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +76 -0
  197. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +49 -0
  198. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +53 -0
  199. data/spec/unit/veritas/optimizer/logic/predicate/equality/tautology/optimizable_spec.rb +27 -0
  200. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +43 -0
  201. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +63 -0
  202. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/contradiction/optimizable_spec.rb +41 -0
  203. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/tautology/optimizable_spec.rb +26 -0
  204. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/contradiction/optimizable_spec.rb +41 -0
  205. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/tautology/optimizable_spec.rb +41 -0
  206. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +43 -0
  207. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +64 -0
  208. data/spec/unit/veritas/optimizer/logic/predicate/inequality/contradiction/optimizable_spec.rb +27 -0
  209. data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +25 -0
  210. data/spec/unit/veritas/optimizer/logic/predicate/less_than/contradiction/optimizable_spec.rb +41 -0
  211. data/spec/unit/veritas/optimizer/logic/predicate/less_than/tautology/optimizable_spec.rb +26 -0
  212. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/contradiction/optimizable_spec.rb +41 -0
  213. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/tautology/optimizable_spec.rb +41 -0
  214. data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +25 -0
  215. data/spec/unit/veritas/optimizer/logic/predicate/tautology/optimize_spec.rb +16 -0
  216. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb +19 -0
  217. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb +19 -0
  218. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb +19 -0
  219. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb +19 -0
  220. data/spec/unit/veritas/optimizer/operation_spec.rb +11 -0
  221. data/spec/unit/veritas/optimizer/optimizable/class_methods/optimizer_spec.rb +32 -0
  222. data/spec/unit/veritas/optimizer/optimizable/optimize_spec.rb +36 -0
  223. data/spec/unit/veritas/optimizer/optimizable_spec.rb +15 -0
  224. data/spec/unit/veritas/optimizer/optimize_spec.rb +15 -0
  225. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb +20 -0
  226. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb +17 -0
  227. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb +30 -0
  228. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb +30 -0
  229. data/spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb +34 -0
  230. data/spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb +17 -0
  231. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb +35 -0
  232. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb +20 -0
  233. data/spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb +17 -0
  234. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb +38 -0
  235. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +22 -0
  236. data/spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb +14 -0
  237. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb +31 -0
  238. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb +16 -0
  239. data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb +25 -0
  240. data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb +33 -0
  241. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +26 -0
  242. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +20 -0
  243. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb +25 -0
  244. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb +18 -0
  245. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb +25 -0
  246. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +19 -0
  247. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +26 -0
  248. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +20 -0
  249. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb +25 -0
  250. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb +15 -0
  251. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb +31 -0
  252. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb +16 -0
  253. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb +25 -0
  254. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +20 -0
  255. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +26 -0
  256. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +21 -0
  257. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb +25 -0
  258. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +20 -0
  259. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb +25 -0
  260. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb +17 -0
  261. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb +25 -0
  262. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +22 -0
  263. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb +20 -0
  264. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb +15 -0
  265. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb +20 -0
  266. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb +18 -0
  267. data/spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb +13 -0
  268. data/tasks/quality/ci.rake +2 -0
  269. data/tasks/quality/flay.rake +41 -0
  270. data/tasks/quality/flog.rake +45 -0
  271. data/tasks/quality/heckle.rake +203 -0
  272. data/tasks/quality/metric_fu.rake +26 -0
  273. data/tasks/quality/reek.rake +9 -0
  274. data/tasks/quality/roodi.rake +15 -0
  275. data/tasks/quality/yardstick.rake +23 -0
  276. data/tasks/spec.rake +38 -0
  277. data/tasks/yard.rake +9 -0
  278. data/veritas-optimizer.gemspec +550 -0
  279. metadata +613 -0
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Projection::UnchangedHeader, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.project(new_header) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Projection)
13
+ end
14
+
15
+ context 'when the header is not changed' do
16
+ let(:new_header) { header }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the header is changed' do
22
+ let(:new_header) { [ :id ] }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,16 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Projection::UnchangedHeader, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.project(header) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should equal(base) }
16
+ end
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Projection::UnoptimizedOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { operand.project([ :id ]) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Projection)
13
+ end
14
+
15
+ context 'when the operand is optimizable' do
16
+ let(:operand) { base.restrict(Logic::Proposition::Tautology.instance) }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the operand is not optimizable' do
22
+ let(:operand) { base }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,20 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Projection::UnoptimizedOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.restrict(Logic::Proposition::Tautology.instance).project([ :id ]) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should be_kind_of(Algebra::Projection) }
16
+
17
+ its(:operand) { should equal(base) }
18
+
19
+ its(:header) { should == [ header[:id] ] }
20
+ end
@@ -0,0 +1,31 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename, '#aliases' do
4
+ subject { object.aliases }
5
+
6
+ let(:attribute) { Attribute::Integer.new(:id) }
7
+ let(:header) { Relation::Header.new([ attribute ]) }
8
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
9
+ let(:aliases) { { :id => :other_id } }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.operation.should be_kind_of(Algebra::Rename)
14
+ end
15
+
16
+ context 'when the operand is a rename' do
17
+ let(:relation) { base.rename(aliases).rename(:other_id => :another_id) }
18
+
19
+ it { should be_kind_of(Algebra::Rename::Aliases) }
20
+
21
+ it { should == { attribute => attribute.rename(:another_id) } }
22
+ end
23
+
24
+ context 'when the operand is not a rename' do
25
+ let(:relation) { base.rename(aliases) }
26
+
27
+ it { should be_kind_of(Algebra::Rename::Aliases) }
28
+
29
+ it { should == { attribute => attribute.rename(:other_id) } }
30
+ end
31
+ end
@@ -0,0 +1,27 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename, '.union_aliases' do
4
+ subject { object.union_aliases(aliases, operand) }
5
+
6
+ let(:attribute) { Attribute::Integer.new(:id) }
7
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
8
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
9
+ let(:aliases) { relation.aliases }
10
+ let(:object) { Optimizer::Algebra::Rename }
11
+
12
+ context 'when the operand is a rename' do
13
+ let(:operand) { base.rename(:id => :other_id) }
14
+ let(:relation) { operand.rename(:other_id => :another_id) }
15
+
16
+ it { should be_kind_of(Algebra::Rename::Aliases) }
17
+
18
+ it { should == { attribute => attribute.rename(:another_id) } }
19
+ end
20
+
21
+ context 'when the operand is not a rename' do
22
+ let(:operand) { base }
23
+ let(:relation) { operand.rename(:id => :other_id) }
24
+
25
+ it { should equal(aliases) }
26
+ end
27
+ end
@@ -0,0 +1,25 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::EmptyOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:relation) { operand.rename(:id => :other_id) }
8
+ let(:object) { described_class.new(relation) }
9
+
10
+ before do
11
+ object.operation.should be_kind_of(Algebra::Rename)
12
+ end
13
+
14
+ context 'when the operand is an empty relation' do
15
+ let(:operand) { Relation::Empty.new(header) }
16
+
17
+ it { should be(true) }
18
+ end
19
+
20
+ context 'when the operand is not an empty relation' do
21
+ let(:operand) { Relation.new(header, [ [ 1 ] ]) }
22
+
23
+ it { should be(false) }
24
+ end
25
+ end
@@ -0,0 +1,17 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::EmptyOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:operand) { Relation::Empty.new([ [ :id, Integer ] ]) }
7
+ let(:relation) { operand.rename(:id => :other_id) }
8
+ let(:object) { described_class.new(relation) }
9
+
10
+ before do
11
+ object.should be_optimizable
12
+ end
13
+
14
+ it { should be_kind_of(Relation::Empty) }
15
+
16
+ its(:header) { should equal(relation.header) }
17
+ end
@@ -0,0 +1,19 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename, '#header' do
4
+ subject { object.header }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:aliases) { { :id => :other_id } }
9
+ let(:relation) { base.rename(aliases) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.operation.should be_kind_of(Algebra::Rename)
14
+ end
15
+
16
+ it { should be_kind_of(Relation::Header) }
17
+
18
+ it { should == [ [ :other_id, Integer ] ] }
19
+ end
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::LimitOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:aliases) { { :id => :other_id } }
8
+ let(:relation) { operand.rename(aliases) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is an limit operation' do
16
+ let(:operand) { base.order.take(1) }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the operand is not an limit operation' do
22
+ let(:operand) { base }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,21 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::LimitOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:order) { base.order }
9
+ let(:relation) { order.take(2).rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.should be_optimizable
14
+ end
15
+
16
+ it { should be_kind_of(Relation::Operation::Limit) }
17
+
18
+ its(:operand) { should eql(order.rename(:id => :other_id)) }
19
+
20
+ its(:limit) { should == 2 }
21
+ end
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::OffsetOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:aliases) { { :id => :other_id } }
8
+ let(:relation) { operand.rename(aliases) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is an offset operation' do
16
+ let(:operand) { base.order.drop(1) }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the operand is not an offset operation' do
22
+ let(:operand) { base }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,21 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::OffsetOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:order) { base.order }
9
+ let(:relation) { order.drop(1).rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.should be_optimizable
14
+ end
15
+
16
+ it { should be_kind_of(Relation::Operation::Offset) }
17
+
18
+ its(:operand) { should eql(order.rename(:id => :other_id)) }
19
+
20
+ its(:offset) { should == 1 }
21
+ end
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::OrderOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:aliases) { { :id => :other_id } }
8
+ let(:relation) { operand.rename(aliases) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is an order operation' do
16
+ let(:operand) { base.order }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the operand is not an order operation' do
22
+ let(:operand) { base }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,20 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::OrderOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:operand) { base.order }
8
+ let(:relation) { operand.rename(:id => :other_id) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should be_kind_of(Relation::Operation::Order) }
16
+
17
+ its(:operand) { should eql(base.rename(:id => :other_id)) }
18
+
19
+ its(:directions) { should == [ relation[:other_id].asc ] }
20
+ end
@@ -0,0 +1,26 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::ProjectionOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { operand.rename(:id => :other_id) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is a projection' do
16
+ let(:operand) { base.project([ :id ]) }
17
+
18
+ it { should be(true) }
19
+ end
20
+
21
+ context 'when the operand is not a projection' do
22
+ let(:operand) { base }
23
+
24
+ it { should be(false) }
25
+ end
26
+ end
@@ -0,0 +1,20 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::ProjectionOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.project([ :id ]).rename(:id => :other_id) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should be_kind_of(Algebra::Projection) }
16
+
17
+ its(:operand) { should eql(base.rename(:id => :other_id)) }
18
+
19
+ its(:header) { should == [ [ :other_id, Integer ] ] }
20
+ end
@@ -0,0 +1,28 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RenameOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { operand.rename(aliases) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is a rename' do
16
+ let(:aliases) { { :id => :other_id } }
17
+ let(:operand) { base.rename(:name => :other_name) }
18
+
19
+ it { should be(true) }
20
+ end
21
+
22
+ context 'when the operand is not a rename' do
23
+ let(:aliases) { { :id => :other_id } }
24
+ let(:operand) { base }
25
+
26
+ it { should be(false) }
27
+ end
28
+ end
@@ -0,0 +1,20 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RenameOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.rename(:name => :other_name).rename(:id => :other_id) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should be_kind_of(Algebra::Rename) }
16
+
17
+ its(:operand) { should equal(base) }
18
+
19
+ its(:header) { should == [ [ :other_id, Integer ], [ :other_name, String ] ] }
20
+ end
@@ -0,0 +1,35 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RenameOperandAndEmptyAliases, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { operand.rename(aliases) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.operation.should be_kind_of(Algebra::Rename)
13
+ end
14
+
15
+ context 'when the operand is a rename and there are aliases' do
16
+ let(:aliases) { { :id => :other_id } }
17
+ let(:operand) { base.rename(:name => :other_name) }
18
+
19
+ it { should be(false) }
20
+ end
21
+
22
+ context 'when the operand is a rename and there no aliases' do
23
+ let(:aliases) { { :other_id => :id } }
24
+ let(:operand) { base.rename(:id => :other_id) }
25
+
26
+ it { should be(true) }
27
+ end
28
+
29
+ context 'when the operand is not a rename' do
30
+ let(:aliases) { { :id => :other_id } }
31
+ let(:operand) { base }
32
+
33
+ it { should be(false) }
34
+ end
35
+ end
@@ -0,0 +1,16 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RenameOperandAndEmptyAliases, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ].each) }
8
+ let(:relation) { base.rename(:id => :other_id).rename(:other_id => :id) }
9
+ let(:object) { described_class.new(relation) }
10
+
11
+ before do
12
+ object.should be_optimizable
13
+ end
14
+
15
+ it { should equal(base) }
16
+ end
@@ -0,0 +1,27 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RestrictionOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:predicate) { base[:id].eq(1) }
9
+ let(:relation) { operand.rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.operation.should be_kind_of(Algebra::Rename)
14
+ end
15
+
16
+ context 'when the operand is a restriction' do
17
+ let(:operand) { base.restrict(predicate) }
18
+
19
+ it { should be(true) }
20
+ end
21
+
22
+ context 'when the operand is not a restriction' do
23
+ let(:operand) { base }
24
+
25
+ it { should be(false) }
26
+ end
27
+ end
@@ -0,0 +1,21 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::RestrictionOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:base) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:predicate) { base[:id].eq(1) }
9
+ let(:relation) { base.restrict(predicate).rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.should be_optimizable
14
+ end
15
+
16
+ it { should be_kind_of(Algebra::Restriction) }
17
+
18
+ its(:operand) { should eql(base.rename(:id => :other_id)) }
19
+
20
+ its(:predicate) { should == header[:id].rename(:other_id).eq(1) }
21
+ end
@@ -0,0 +1,25 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::ReverseOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:relation) { operand.rename(:id => :other_id) }
8
+ let(:object) { described_class.new(relation) }
9
+
10
+ before do
11
+ object.operation.should be_kind_of(Algebra::Rename)
12
+ end
13
+
14
+ context 'when the operand is an reverse operation' do
15
+ let(:operand) { base.order.take(2).reverse }
16
+
17
+ it { should be(true) }
18
+ end
19
+
20
+ context 'when the operand is not an reverse operation' do
21
+ let(:operand) { base }
22
+
23
+ it { should be(false) }
24
+ end
25
+ end
@@ -0,0 +1,21 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::ReverseOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:base) { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ].each) }
7
+ let(:limit) { base.order.take(2) }
8
+ let(:operand) { limit.rename({}).reverse }
9
+ let(:relation) { operand.rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.should be_optimizable
14
+ end
15
+
16
+ it { should be_kind_of(Relation::Operation::Reverse) }
17
+
18
+ its(:operand) { should eql(limit.rename(:id => :other_id)) }
19
+
20
+ its(:directions) { should == [ relation[:other_id].desc ] }
21
+ end
@@ -0,0 +1,27 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::SetOperand, '#optimizable?' do
4
+ subject { object.optimizable? }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:left) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:right) { Relation.new(header, [ [ 2 ] ].each) }
9
+ let(:relation) { operand.rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.operation.should be_kind_of(Algebra::Rename)
14
+ end
15
+
16
+ context 'when the operand is a set operation' do
17
+ let(:operand) { left.union(right) }
18
+
19
+ it { should be(true) }
20
+ end
21
+
22
+ context 'when the operand is not a set operation' do
23
+ let(:operand) { left }
24
+
25
+ it { should be(false) }
26
+ end
27
+ end
@@ -0,0 +1,21 @@
1
+ require 'spec_helper'
2
+
3
+ describe Optimizer::Algebra::Rename::SetOperand, '#optimize' do
4
+ subject { object.optimize }
5
+
6
+ let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
7
+ let(:left) { Relation.new(header, [ [ 1 ] ].each) }
8
+ let(:right) { Relation.new(header, [ [ 2 ] ].each) }
9
+ let(:relation) { left.union(right).rename(:id => :other_id) }
10
+ let(:object) { described_class.new(relation) }
11
+
12
+ before do
13
+ object.should be_optimizable
14
+ end
15
+
16
+ it { should be_kind_of(Relation::Operation::Set) }
17
+
18
+ its(:left) { should eql(left.rename(:id => :other_id)) }
19
+
20
+ its(:right) { should eql(right.rename(:id => :other_id)) }
21
+ end