com.bigdata.rdf.sparql.ast.optimizers

Class TestASTStaticJoinOptimizer

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

junit.framework.TestCase2

com.bigdata.bop.engine.AbstractQueryEngineTestCase

com.bigdata.rdf.sparql.ast.AbstractASTEvaluationTestCase

com.bigdata.rdf.sparql.ast.optimizers.AbstractOptimizerTestCase

com.bigdata.rdf.sparql.ast.optimizers.TestASTStaticJoinOptimizer

All Implemented Interfaces:

junit.framework.Test

public class TestASTStaticJoinOptimizer
extends AbstractOptimizerTestCase

Test suite for ASTStaticJoinOptimizer.

Nested Class Summary

Nested classes/interfaces inherited from class com.bigdata.rdf.sparql.ast.optimizers.AbstractOptimizerTestCase

AbstractOptimizerTestCase.Annotations, AbstractOptimizerTestCase.ApplyAnnotation, AbstractOptimizerTestCase.ASTPropertyPathOptimizerInTest, AbstractOptimizerTestCase.Helper

Nested classes/interfaces inherited from class junit.framework.TestCase2

TestCase2.MyProperties, TestCase2.RandomType

Field Summary

Fields inherited from class com.bigdata.rdf.sparql.ast.AbstractASTEvaluationTestCase

baseURI, store, valueFactory

Fields inherited from class junit.framework.TestCase2

_randomType

Constructor Summary

Constructors

Constructor and Description
TestASTStaticJoinOptimizer()
TestASTStaticJoinOptimizer(String name)

Method Summary

Methods

Modifier and Type	Method and Description
protected ASTStaticJoinOptimizer	newOptimizer() Return the IASTOptimizer to be evaluated by the AbstractOptimizerTestCase.Helper.
void	test_nestedOptionals01() Given
void	test_nestedOptionals02()
void	test_nestedOptionals03()
void	test_NSI01()
void	test_NSI01X()
void	test_pessimistic() Given ?producer bsbm:country .
void	test_runFirstRunLast_01()
void	test_runFirstRunLast_02()
void	test_ServiceNode01() Given
void	test_ServiceNode02() Given
void	test_simpleOptional01() Given
void	test_simpleOptional01A()
void	test_simpleReorder01() Given
void	test_simpleReorder02() Given
void	test_simpleReorder03() Given
void	test_simpleReorder04() Given
void	test_union_trac684_A()
void	test_union_trac684_B()
void	test_union_trac684_C()

Methods inherited from class com.bigdata.rdf.sparql.ast.optimizers.AbstractOptimizerTestCase

newStatementPatternNode, newStatementPatternNode, newStatementPatternNode

Methods inherited from class com.bigdata.rdf.sparql.ast.AbstractASTEvaluationTestCase

assertSameAST, asSet, asSet, asSet, asSet, asSet, enableDeleteMarkersInIndes, getBOpContext, getProperties, getStore, makeIV, setUp, tearDown

Methods inherited from class com.bigdata.bop.engine.AbstractQueryEngineTestCase

assertSameSolutions, assertSameSolutions, assertSameSolutions, assertSameSolutionsAnyOrder, assertSameSolutionsAnyOrder, assertSameSolutionsAnyOrder, assertSameSolutionsAnyOrder, assertSameSolutionsAnyOrder, assertSameSolutionsAnyOrder, compareGraphs, compareTupleQueryResults, diff

Methods inherited from class junit.framework.TestCase2

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEqualsWithinUlps, assertSameArray, assertSameArray, assertSameBigDecimal, assertSameBigDecimal, assertSameBigInteger, assertSameBigInteger, assertSameIterator, assertSameIterator, assertSameIteratorAnyOrder, assertSameIteratorAnyOrder, assertSameValue, assertSameValue, assertZeroUlps, assertZeroUlps, fail, getInnerCause, getNormalInt, getProjectBuildPath, getRandomObject, getRandomObject, getRandomOrder, getRandomString, getTestInputStream, getTestResource, getTestResource, getUlps, getUlps, isDEBUG, isDEBUG, isINFO, isINFO, isInnerCause, logProperties

Methods inherited from class junit.framework.TestCase

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TestASTStaticJoinOptimizer

public TestASTStaticJoinOptimizer()

TestASTStaticJoinOptimizer

public TestASTStaticJoinOptimizer(String name)

Parameters:

name -

Method Detail

newOptimizer

protected ASTStaticJoinOptimizer newOptimizer()

Description copied from class: AbstractOptimizerTestCase

Return the IASTOptimizer to be evaluated by the AbstractOptimizerTestCase.Helper. This may be an ASTOptimizerList if you need to chain multiple optimizers together in order to evaluate their behavior.

test_simpleOptional01A

public void test_simpleOptional01A()

test_simpleReorder01

public void test_simpleReorder01()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
   }
 

test_simpleReorder02

public void test_simpleReorder02()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     JoinGroupNode { }
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     JoinGroupNode { }
   }
 

test_simpleReorder03

public void test_simpleReorder03()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
   }
 

test_simpleReorder04

public void test_simpleReorder04()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     JoinGroupNode { }
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
     JoinGroupNode { }
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     JoinGroupNode { }
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
   }
 

test_simpleOptional01

public void test_simpleOptional01()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
     StatementPatternNode(VarNode(x), ConstantNode(f), ConstantNode(f)) [OPTIONAL]
     StatementPatternNode(VarNode(x), ConstantNode(g), ConstantNode(g)) [OPTIONAL]
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a))
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b))
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c))
     StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d))
     StatementPatternNode(VarNode(x), ConstantNode(e), ConstantNode(e))
     StatementPatternNode(VarNode(x), ConstantNode(f), ConstantNode(f)) [OPTIONAL]
     StatementPatternNode(VarNode(x), ConstantNode(g), ConstantNode(g)) [OPTIONAL]
   }
 

test_ServiceNode01

public void test_ServiceNode01()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     ServiceNode {
       StatementPatternNode(VarNode(x), ConstantNode(bd:search), ConstantNode("foo")
     }
     StatementPatternNode(VarNode(y), ConstantNode(b), ConstantNode(b)) [CARDINALITY=1]
     StatementPatternNode(VarNode(x), ConstantNode(a), VarNode(y)) [CARDINALITY=2]
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     ServiceNode {
       StatementPatternNode(VarNode(x), ConstantNode(bd:search), ConstantNode("foo")
     }
     StatementPatternNode(VarNode(x), ConstantNode(a), VarNode(y)) [CARDINALITY=2]
     StatementPatternNode(VarNode(y), ConstantNode(b), ConstantNode(b)) [CARDINALITY=1]
   }
 

test_ServiceNode02

public void test_ServiceNode02()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     ServiceNode {
       StatementPatternNode(VarNode(x), ConstantNode(bd:search), ConstantNode("foo")
     }
     StatementPatternNode(VarNode(x), ConstantNode(f), ConstantNode(f)) [CARDINALITY=1, OPTIONAL]
     StatementPatternNode(VarNode(y), ConstantNode(d), ConstantNode(d)) [CARDINALITY=3]
     StatementPatternNode(VarNode(y), ConstantNode(g), ConstantNode(g)) [CARDINALITY=1, OPTIONAL]
     StatementPatternNode(VarNode(y), ConstantNode(c), ConstantNode(c)) [CARDINALITY=2]
     StatementPatternNode(VarNode(y), ConstantNode(e), ConstantNode(e)) [CARDINALITY=4]
     StatementPatternNode(VarNode(x), ConstantNode(a), VarNode(y)) [CARDINALITY=1000]
     StatementPatternNode(VarNode(y), ConstantNode(b), ConstantNode(b)) [CARDINALITY=1]
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     ServiceNode {
       StatementPatternNode(VarNode(x), ConstantNode(bd:search), ConstantNode("foo")
     }
     StatementPatternNode(VarNode(x), ConstantNode(a), VarNode(y)) [CARDINALITY=1000]
     StatementPatternNode(VarNode(y), ConstantNode(b), ConstantNode(b)) [CARDINALITY=1]
     StatementPatternNode(VarNode(y), ConstantNode(c), ConstantNode(c)) [CARDINALITY=2]
     StatementPatternNode(VarNode(y), ConstantNode(d), ConstantNode(d)) [CARDINALITY=3]
     StatementPatternNode(VarNode(y), ConstantNode(e), ConstantNode(e)) [CARDINALITY=4]
     StatementPatternNode(VarNode(x), ConstantNode(f), ConstantNode(f)) [CARDINALITY=1, OPTIONAL]
     StatementPatternNode(VarNode(y), ConstantNode(g), ConstantNode(g)) [CARDINALITY=1, OPTIONAL]
   }
 

test_nestedOptionals01

public void test_nestedOptionals01()

Given

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b)) [CARDINALITY=2]
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c)) [CARDINALITY=3]
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a)) [CARDINALITY=1]
     JoinGroupNode {
       StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d)) [CARDINALITY=10]
       StatementPatternNode(VarNode(y), ConstantNode(f), ConstantNode(f)) [CARDINALITY=5]
       StatementPatternNode(VarNode(y), ConstantNode(e), ConstantNode(e)) [CARDINALITY=4]
     }
   }
 

Reorder as

   SELECT VarNode(x)
   JoinGroupNode {
     StatementPatternNode(VarNode(x), ConstantNode(a), ConstantNode(a)) [CARDINALITY=1]
     StatementPatternNode(VarNode(x), ConstantNode(b), ConstantNode(b)) [CARDINALITY=2]
     StatementPatternNode(VarNode(x), ConstantNode(c), ConstantNode(c)) [CARDINALITY=3]
     JoinGroupNode {
       StatementPatternNode(VarNode(x), ConstantNode(d), ConstantNode(d)) [CARDINALITY=10]
       StatementPatternNode(VarNode(y), ConstantNode(e), ConstantNode(e)) [CARDINALITY=4]
       StatementPatternNode(VarNode(y), ConstantNode(f), ConstantNode(f)) [CARDINALITY=5]
     }
   }
 

test_nestedOptionals02

public void test_nestedOptionals02()

test_nestedOptionals03

public void test_nestedOptionals03()

test_NSI01X

public void test_NSI01X()

test_NSI01

public void test_NSI01()

test_pessimistic

public void test_pessimistic()

Given ?producer bsbm:country . # card=2081 ?product bsbm:producer ?producer . # card=280k ?review bsbm:reviewFor ?product . # card=2.8m ?review rev:reviewer ?reviewer . # card=2.8m ?reviewer bsbm:country . #card=61k ?product a ?productType . # card=10m ?productType a bsbm:ProductType . # card=2011

   select *
   JoinGroupNode {
     StatementPatternNode(VarNode(productType), ConstantNode(rdf:type), ConstantNode(#ProductType)) [2000]
     StatementPatternNode(VarNode(product), ConstantNode(rdf:type), VarNode(productType)) [10m]
     StatementPatternNode(VarNode(product), ConstantNode(#producer), VarNode(producer)) [280k]
     StatementPatternNode(VarNode(producer), ConstantNode(#country), ConstantNode(#RU)) [7000]
     StatementPatternNode(VarNode(review), ConstantNode(#reviewFor), VarNode(product)) [2.8m]
     StatementPatternNode(VarNode(review), ConstantNode(#reviewer), VarNode(reviewer)) [2.8m]
     StatementPatternNode(VarNode(reviewer), ConstantNode(#country), ConstantNode(#US)) [61k]
     hint:Prior hint:com.bigdata.rdf.sparql.ast.optimizers.ASTStaticJoinOptimizer.optimistic "false" .
   }
 

Reorder as

   select *
   JoinGroupNode {
     StatementPatternNode(VarNode(producer), ConstantNode(#country), ConstantNode(#RU)) [7000]
     StatementPatternNode(VarNode(product), ConstantNode(#producer), VarNode(producer)) [280k]
     StatementPatternNode(VarNode(review), ConstantNode(#reviewFor), VarNode(product)) [2.8m]
     StatementPatternNode(VarNode(review), ConstantNode(#reviewer), VarNode(reviewer)) [2.8m]
     StatementPatternNode(VarNode(reviewer), ConstantNode(#country), ConstantNode(#US)) [61k]
     StatementPatternNode(VarNode(product), ConstantNode(rdf:type), VarNode(productType)) [10m]
     StatementPatternNode(VarNode(productType), ConstantNode(rdf:type), ConstantNode(#ProductType)) [2000]
   }
 

test_runFirstRunLast_01

public void test_runFirstRunLast_01()

test_union_trac684_A

public void test_union_trac684_A()

test_union_trac684_B

public void test_union_trac684_B()

test_union_trac684_C

public void test_union_trac684_C()

test_runFirstRunLast_02

public void test_runFirstRunLast_02()