com.bigdata.rdf.sparql.ast.optimizers

Class TestASTFilterNormalizationOptimizer

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

All Implemented Interfaces:

Test

public class TestASTFilterNormalizationOptimizer
extends AbstractASTEvaluationTestCase

Test suite for the ASTFilterNormalizationOptimizer class and associated utility methods in StaticAnalysis.

Author:

Michael Schmidt

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

Method Summary

Methods

Modifier and Type	Method and Description
void	testConstructFiltersForValueExpressionNodeMethod() Test the ASTFilterNormalizationOptimizer.constructFiltersForValueExpressionNode( IValueExpressionNode, List) method.
void	testExtractTopLevelConjunctsMethod() Test the ASTFilterNormalizationOptimizer#extractToplevelConjuncts( com.bigdata.rdf.sparql.ast.IValueExpressionNode, List) method.
void	testFilterDecompositionNoOp() The FILTER
void	testNegationLeafRewriting01() Test rewriting of negated leaves, such as !(?x=?y) -> ?x!=?y, !(?a ?a>=?b, etc.
void	testNegationLeafRewriting02() Test rewriting of negated leaves, such as !(?x=?y) -> ?x!=?y, !(?a ?a>=?b, etc.
void	testNestedNegationRewriting() Test level three pushing of negation.
void	testNestedNegationRewritingAndSplit() Test level three pushing of negation.
void	testOrAndSwitchRecursive() Test recursive optimization of OR - AND - OR - AND pattern.
void	testOrAndSwitchWithNegation() Test switch of OR over AND expression with top-level negation expression.
void	testOrOrAndSwitch() Test recursive optimization of OR - OR - AND pattern.
void	testRemoveDuplicateFilter() Test removal of duplicate filter.
void	testRemoveDuplicateGeneratedFilter() Test removal of duplicate filter, where the duplicate is introduced through the CNF based decomposition process.
void	testRemoveUnsatisfiableFilters() Test removal of unsatisfiable filters.
void	testSimpleConjunctiveFilter() The FILTER
void	testSimpleDisjunctiveFilter() The FILTER
void	testSimpleOrAndSwitch() Test switch of OR over AND expression expression.
void	testToConjunctiveValueExpressionMethod() Test the ASTFilterNormalizationOptimizer#toConjunctiveValueExpression(List) method.

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

TestASTFilterNormalizationOptimizer

public TestASTFilterNormalizationOptimizer()

TestASTFilterNormalizationOptimizer

public TestASTFilterNormalizationOptimizer(String name)

Method Detail

testExtractTopLevelConjunctsMethod

public void testExtractTopLevelConjunctsMethod()

Test the ASTFilterNormalizationOptimizer#extractToplevelConjuncts( com.bigdata.rdf.sparql.ast.IValueExpressionNode, List) method.

testConstructFiltersForValueExpressionNodeMethod

public void testConstructFiltersForValueExpressionNodeMethod()

Test the ASTFilterNormalizationOptimizer.constructFiltersForValueExpressionNode( IValueExpressionNode, List) method.

testToConjunctiveValueExpressionMethod

public void testToConjunctiveValueExpressionMethod()

Test the ASTFilterNormalizationOptimizer#toConjunctiveValueExpression(List) method.

testFilterDecompositionNoOp

public void testFilterDecompositionNoOp()

The FILTER

 SELECT ?s where { ?s ?p ?o . FILTER(?s=?o) }
 

is not being modified.

testSimpleConjunctiveFilter

public void testSimpleConjunctiveFilter()

The FILTER

 SELECT ?s where { ?s ?p ?o . FILTER(?s=?o && ?s!=) }
 

is rewritten as

 SELECT ?s where { ?s ?p ?o . FILTER(?s=?o) . FILTER(?s!=) }
 

testSimpleDisjunctiveFilter

public void testSimpleDisjunctiveFilter()

The FILTER

 SELECT ?s where { FILTER(NOT(?s
 
 is rewritten as
 
 
 SELECT ?s where { OPTIONAL { ?s ?p ?o } .  FILTER(?s>=?o) . FILTER(!BOUND(?s) }
 

testNegationLeafRewriting01

public void testNegationLeafRewriting01()

Test rewriting of negated leaves, such as !(?x=?y) -> ?x!=?y, !(?a ?a>=?b, etc. in

testNegationLeafRewriting02

public void testNegationLeafRewriting02()

Test rewriting of negated leaves, such as !(?x=?y) -> ?x!=?y, !(?a ?a>=?b, etc. (differs from v01 in tree shape).

testNestedNegationRewriting

public void testNestedNegationRewriting()

Test level three pushing of negation.

testNestedNegationRewritingAndSplit

public void testNestedNegationRewritingAndSplit()

Test level three pushing of negation.

testSimpleOrAndSwitch

public void testSimpleOrAndSwitch()

Test switch of OR over AND expression expression.

testOrAndSwitchWithNegation

public void testOrAndSwitchWithNegation()

Test switch of OR over AND expression with top-level negation expression.

testOrAndSwitchRecursive

public void testOrAndSwitchRecursive()

Test recursive optimization of OR - AND - OR - AND pattern.

testOrOrAndSwitch

public void testOrOrAndSwitch()

Test recursive optimization of OR - OR - AND pattern.

testRemoveDuplicateFilter

public void testRemoveDuplicateFilter()

Test removal of duplicate filter.

testRemoveDuplicateGeneratedFilter

public void testRemoveDuplicateGeneratedFilter()

Test removal of duplicate filter, where the duplicate is introduced through the CNF based decomposition process. This is a variant of test testSimpleConjunctiveFilter(), where we just add a duplicate.

testRemoveUnsatisfiableFilters

public void testRemoveUnsatisfiableFilters()

Test removal of unsatisfiable filters. More precisely, the query SELECT ?s WHERE { ?s ?p ?o1 . { ?s ?p ?o2 } OPTIONAL { ?s ?p ?o3 } FILTER(bound(?o1)) FILTER(bound(?o2)) FILTER(bound(?o3)) FILTER(!bound(?o1)) FILTER(!bound(?o2)) FILTER(!bound(?o3)) FILTER(!bound(?o4)) // some duplicates (which should be dropped) FILTER(!bound(?o2)) FILTER(!bound(?o3)) } will be rewritten to SELECT ?s WHERE { ?s ?p ?o1 . { ?s ?p ?o2 } OPTIONAL { ?s ?p ?o3 } // ?o1 and ?o2 are definitely bound, so we can't optimize away FILTER(bound(?o3)) // ?o4 is the only variable that is definitely not bound FILTER(!bound(?o1)) FILTER(!bound(?o2)) FILTER(!bound(?o3)) }