CCF_100/relational
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Removed redundant check

Browse Source 
Assuming that the query is correct, the removed condition must
always be true.
This commit is contained in:
Salvo 'LtWorf' Tomaselli 2016-01-03 12:36:39 +01:00
parent 3b3888e9be
commit d384a902cf
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
relational/optimizations.py
View File

@ -558,7 +558,6 @@ def projection_and_union(n, rels):
if n.name in {UNION, INTERSECTION, DIFFERENCE} and \ if n.name in {UNION, INTERSECTION, DIFFERENCE} and \
n.left.name == PROJECTION and \ n.left.name == PROJECTION and \
n.right.name == PROJECTION and \ n.right.name == PROJECTION and \
set(n.left.result_format(rels)) == set(n.right.result_format(rels)) and \
set(n.left.child.result_format(rels)) == set(n.right.child.result_format(rels)): set(n.left.child.result_format(rels)) == set(n.right.child.result_format(rels)):
newchild = parser.Node() newchild = parser.Node()
@ -577,7 +576,6 @@ def projection_and_union(n, rels):
return changes + recoursive_scan(projection_and_union, n, rels) return changes + recoursive_scan(projection_and_union, n, rels)
def selection_and_product(n, rels): def selection_and_product(n, rels):
'''This function locates things like σ k (R*Q) and converts them into '''This function locates things like σ k (R*Q) and converts them into
σ l (σ j (R) * σ i (Q)). Where j contains only attributes belonging to R, σ l (σ j (R) * σ i (Q)). Where j contains only attributes belonging to R,