com.bigdata.rdf.sparql.ast.optimizers

Class TestASTFlattenUnionsOptimizer

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.TestASTFlattenUnionsOptimizer

All Implemented Interfaces:

junit.framework.Test

public class TestASTFlattenUnionsOptimizer
extends AbstractASTEvaluationTestCase

Test suite for ASTFlattenUnionsOptimizer.

Version:

$Id$ FIXME Add counter examples.

Author:

Bryan Thompson

Nested Class Summary

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
TestASTFlattenUnionsOptimizer()
TestASTFlattenUnionsOptimizer(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	test_flattenUnions1() Given
void	test_flattenUnions2() A unit test which verifies a case where a child union can not be flattened.

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

TestASTFlattenUnionsOptimizer

public TestASTFlattenUnionsOptimizer()

TestASTFlattenUnionsOptimizer

public TestASTFlattenUnionsOptimizer(String name)

Parameters:

name -

Method Detail

test_flattenUnions1

public void test_flattenUnions1()

Given

 Select ?score
     {
       ?product bsbm:producer  .
       ?review bsbm:reviewFor ?product .
       { ?review bsbm:rating1 ?score . } UNION
       { ?review bsbm:rating2 ?score . } UNION
       { ?review bsbm:rating3 ?score . } UNION
       { ?review bsbm:rating4 ?score . }
     }
 

which turns into

       SELECT VarNode(score)
         JoinGroupNode {
           StatementPatternNode(VarNode(product), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/producer]), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/instances/dataFromProducer1/Producer1]), DEFAULT_CONTEXTS)
           StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/reviewFor]), VarNode(product), DEFAULT_CONTEXTS)
           UnionNode { ### Find a UnionNode
             JoinGroupNode { ### The direct children are JoinGroupNodes
               StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating1]), VarNode(score), DEFAULT_CONTEXTS)
             }
             JoinGroupNode { ### Having child JoinGroupNode
               UnionNode {   ### Where JoinGroupNode has child UnionNode
                 JoinGroupNode { ### Lift child JoinGroupNode into parent UnionNode
                   StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating2]), VarNode(score), DEFAULT_CONTEXTS)
                 }
                 JoinGroupNode { ### Lift child JoinGroupNode into parent UnionNode
                   UnionNode {
                     JoinGroupNode {
                       StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating3]), VarNode(score), DEFAULT_CONTEXTS)
                     }
                     JoinGroupNode {
                       StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating4]), VarNode(score), DEFAULT_CONTEXTS)
                     }
                   }
                 }
               }
             }
           }
         }
 

Flatten the UNIONs such that we have:

       SELECT ?score
         JoinGroupNode {
           StatementPatternNode(VarNode(product), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/producer]), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/instances/dataFromProducer1/Producer1]), DEFAULT_CONTEXTS)
           StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/reviewFor]), VarNode(product), DEFAULT_CONTEXTS)
           UnionNode {
             JoinGroupNode {
               StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating1]), VarNode(score), DEFAULT_CONTEXTS)
             }
             JoinGroupNode {
               StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating2]), VarNode(score), DEFAULT_CONTEXTS)
             }
             JoinGroupNode {
               StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating3]), VarNode(score), DEFAULT_CONTEXTS)
             }
             JoinGroupNode {
               StatementPatternNode(VarNode(review), ConstantNode(TermId(0U)[http://www4.wiwiss.fu-berlin.de/bizer/bsbm/v01/vocabulary/rating4]), VarNode(score), DEFAULT_CONTEXTS)
             }
           }
         }
 

test_flattenUnions2

public void test_flattenUnions2()
                         throws Exception

A unit test which verifies a case where a child union can not be flattened.

  SELECT ?s ?o {
     { ?s ?p1 ?o } UNION
     { ?x ?y ?x .
       { ?s ?p2 ?o } UNION
       { ?s ?p3 ?o }
     }
  }
 

which turns into:

 
 SELECT ( VarNode(s) AS VarNode(s) ) ( VarNode(o) AS VarNode(o) )
   JoinGroupNode {
     UnionNode {
       JoinGroupNode {
         StatementPatternNode(VarNode(s), VarNode(p1), VarNode(o), DEFAULT_CONTEXTS)
       }
       JoinGroupNode {
         StatementPatternNode(VarNode(x), VarNode(y), VarNode(x), DEFAULT_CONTEXTS)
         UnionNode {
           JoinGroupNode {
             StatementPatternNode(VarNode(s), VarNode(p2), VarNode(o), DEFAULT_CONTEXTS)
           }
           JoinGroupNode {
             StatementPatternNode(VarNode(s), VarNode(p3), VarNode(o), DEFAULT_CONTEXTS)
           }
         }
       }
     }
   }
 

This case can not be flatten because the child UnionNode is not the sole child of its parent group node.

Throws:

Exception