/** Copyright (C) SYSTAP, LLC DBA Blazegraph 2006-2016. All rights reserved. Contact: SYSTAP, LLC DBA Blazegraph 2501 Calvert ST NW #106 Washington, DC 20008 licenses@blazegraph.com This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; version 2 of the License. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ /* * Created on Sep 4, 2011 */ package com.bigdata.rdf.sparql.ast.eval.service; import java.util.LinkedHashMap; import java.util.LinkedHashSet; import java.util.LinkedList; import java.util.List; import java.util.Map; import java.util.Set; import org.openrdf.model.BNode; import org.openrdf.model.Value; import org.openrdf.model.impl.BNodeImpl; import org.openrdf.model.vocabulary.DC; import org.openrdf.query.BindingSet; import org.openrdf.query.algebra.StatementPattern.Scope; import org.openrdf.query.impl.MapBindingSet; import com.bigdata.bop.IVariable; import com.bigdata.bop.Var; import com.bigdata.rdf.internal.XSD; import com.bigdata.rdf.model.BigdataBNode; import com.bigdata.rdf.model.BigdataLiteral; import com.bigdata.rdf.model.BigdataURI; import com.bigdata.rdf.model.BigdataValue; import com.bigdata.rdf.sail.sparql.PrefixDeclProcessor; import com.bigdata.rdf.sparql.AbstractBigdataExprBuilderTestCase; import com.bigdata.rdf.sparql.ast.ConstantNode; import com.bigdata.rdf.sparql.ast.FilterNode; import com.bigdata.rdf.sparql.ast.FunctionNode; import com.bigdata.rdf.sparql.ast.GraphPatternGroup; import com.bigdata.rdf.sparql.ast.IGroupMemberNode; import com.bigdata.rdf.sparql.ast.JoinGroupNode; import com.bigdata.rdf.sparql.ast.ProjectionNode; import com.bigdata.rdf.sparql.ast.QueryRoot; import com.bigdata.rdf.sparql.ast.QueryType; import com.bigdata.rdf.sparql.ast.StatementPatternNode; import com.bigdata.rdf.sparql.ast.UnionNode; import com.bigdata.rdf.sparql.ast.VarNode; import com.bigdata.rdf.sparql.ast.service.IRemoteSparqlQueryBuilder; import com.bigdata.rdf.sparql.ast.service.RemoteSparql10QueryBuilder; import com.bigdata.rdf.sparql.ast.service.ServiceNode; /** * Test suite for the {@link RemoteSparql10QueryBuilder}. * * @author <a href="mailto:thompsonbry@users.sourceforge.net">Bryan Thompson</a> * @version $Id: TestRemoteServiceCallImpl.java 6060 2012-03-02 16:07:38Z * thompsonbry $ */ public class TestRemoteSparql10QueryBuilder extends AbstractBigdataExprBuilderTestCase { // private static final Logger log = Logger // .getLogger(TestRemoteSparqlQueryBuilder.class); /** * */ public TestRemoteSparql10QueryBuilder() { } /** * @param name */ public TestRemoteSparql10QueryBuilder(final String name) { super(name); } /** * Return the {@link IRemoteSparqlQueryBuilder} under test. */ protected IRemoteSparqlQueryBuilder newFixture( final ServiceNode serviceNode, final BindingSet[] a) { // final RemoteServiceOptions options = new RemoteServiceOptions(); // // options.setSparql11(false); return new RemoteSparql10QueryBuilder( serviceNode); } @SuppressWarnings("unchecked") private void addResolveIVs(final BigdataValue... values) { tripleStore.getLexiconRelation() .addTerms(values, values.length, false/* readOnly */); /* * Cache value on IVs to align with behavior of the SPARQL parser. * * Note: BatchRDFValueResolver does this, so we have to do it to in * order to have an exact structural match when we parse the generated * SPARQL query and then verify the AST model. */ for (BigdataValue v : values) { v.getIV().setValue(v); } } // /** // * Wrap as an {@link IConstant}. // * // * @param iv // * The {@link IV}. // * // * @return The {@link IConstant}. // */ // private IConstant<?> asConstant(final IV<?,?> iv) { // // return new Constant<IV<?,?>>(iv); // // } /** * A simple test with nothing bound and NO source solution. */ public void test_service_001() throws Exception { final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); { prefixDecls.put("foo", "http://www.bigdata.com/foo"); } final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A simple test with nothing bound and a single <em>empty</em> source * solution. */ public void test_service_001b() throws Exception { final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); { prefixDecls.put("foo", "http://www.bigdata.com/foo"); } final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); { bindingSets.add(new MapBindingSet()); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); expected.setWhereClause(whereClause); } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A test where a single fully bound triple pattern is presented. * <p> * Note: It is possible to optimize this as an ASK query, but only when * there is a single solution flowing into the service end point. */ public void test_service_002() throws Exception { /* * Resolve IVs that we will use below. */ final BigdataURI dcCreator = valueFactory.asValue(DC.CREATOR); final BigdataURI book1 = valueFactory.createURI("http://example.org/book/book1"); final BigdataURI book2 = valueFactory.createURI("http://example.org/book/book2"); final BigdataURI author1 = valueFactory.createURI("http://example.org/author/author1"); final BigdataURI author2 = valueFactory.createURI("http://example.org/author/author2"); addResolveIVs(dcCreator, book1, book2, author1, author2); final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); { prefixDecls.put("foo", "http://www.bigdata.com/foo"); } final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("s", book1); bset.addBinding("p", DC.CREATOR); bset.addBinding("o", author1); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("s", book2); bset.addBinding("p", DC.CREATOR); bset.addBinding("o", author2); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); final UnionNode union = new UnionNode(); whereClause.addChild(union); /* * First solution */ { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new ConstantNode(book1.getIV())))); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("p"), new ConstantNode(dcCreator.getIV())))); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("o"), new ConstantNode(author1.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } /* * Second solution. */ { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new ConstantNode(book2.getIV())))); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("p"), new ConstantNode(dcCreator.getIV())))); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("o"), new ConstantNode(author2.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in which there are some BINDINGS to be passed through. The * set of bindings covers the different types of RDF {@link Value} and also * exercises the prefix declarations. This test does NOT use blank nodes in * the BINDINGS. */ public void test_service_003() throws Exception { /* * Resolve IVs that we will use below. */ final BigdataURI dcCreator = valueFactory.asValue(DC.CREATOR); final BigdataURI book1 = valueFactory.createURI("http://example.org/book/book1"); final BigdataURI book2 = valueFactory.createURI("http://example.org/book/book2"); final BigdataLiteral book3 = valueFactory.createLiteral("Semantic Web Primer"); final BigdataLiteral book4 = valueFactory.createLiteral("Semantic Web Primer", "DE"); final BigdataLiteral book5 = valueFactory.createLiteral("12", XSD.INT); final BigdataLiteral book6 = valueFactory.createLiteral("true", XSD.BOOLEAN); addResolveIVs(dcCreator, book1, book2, book3, book4, book5, book6); final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("book"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?book ?p ?o}"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); { prefixDecls.put("", "http://example.org/book/"); } final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("book")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book1); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book2); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book3); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book4); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book5); bindingSets.add(bset); } { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("book", book6); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("book")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); final UnionNode union = new UnionNode(); whereClause.addChild(union); { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book1.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book2.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book3.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book4.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book5.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode graphPattern = new JoinGroupNode(); union.addChild(graphPattern); graphPattern.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("book"), new ConstantNode(book6.getIV())))); graphPattern.addChild(new StatementPatternNode( new VarNode("book"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in there is a blank node in the BINDINGS to be flowed * through to the remote SERVICE. In this test the blank nodes are not * correlated. */ public void test_service_004() throws Exception { /* * Resolve IVs that we will use below. */ final BigdataBNode bnd1 = valueFactory.createBNode("abc"); addResolveIVs(bnd1); final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); /* * Note: Blank nodes are not permitting in the BINDINGS clause (per the * SPARQL 1.1 grammar). However, a blank node MAY be turned into an * unbound variable as long as we impose the constraint that all vars * having that blank node for a solution are EQ (same term). */ { final MapBindingSet bset = new MapBindingSet(); bset.addBinding("s", new BNodeImpl("abc")); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); /* * Note: No sameTerm() since the blank node does not cause variables * to become correlated. */ // whereClause.addChild(new FilterNode(FunctionNode.sameTerm( // new VarNode("s"), new ConstantNode(bnd1.getIV())))); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); // { // final LinkedHashSet<IVariable<?>> vars = new LinkedHashSet<IVariable<?>>(); // final List<IBindingSet> solutionsIn = new LinkedList<IBindingSet>(); // final BindingsClause bindingsClause = new BindingsClause(vars, // solutionsIn); // expected.setBindingsClause(bindingsClause); // // { // vars.add(Var.var("s")); // } // // /* // * Note: The blank node should be sent across as a variable // * without a bound value (UNDEF). // */ // { // final ListBindingSet bset = new ListBindingSet(); // solutionsIn.add(bset); // } // // } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in there is a blank node in the BINDINGS to be flowed * through to the remote SERVICE. In this test the blank nodes are * correlated. There is only one solution to be flowed into the remote * service. */ public void test_service_005() throws Exception { final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); /* * Note: A blank node MAY be turned into an unbound variable as long as * we impose the constraint that all vars having that blank node for a * solution are EQ (same term). * * Note: For this query, the *same* blank node is used for ?s and ?book. * That needs to be turned into a FILTER which is attached to the remote * SPARQL query in order to maintain the correlation between those * variables (FILTER ?s = ?book). */ { final MapBindingSet bset = new MapBindingSet(); final BNode tmp = new BNodeImpl("abc"); bset.addBinding("s", tmp); bset.addBinding("o", tmp); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); // A FILTER to enforce variable correlation. whereClause.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new VarNode("o")))); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); expected.setWhereClause(whereClause); // { // final LinkedHashSet<IVariable<?>> vars = new LinkedHashSet<IVariable<?>>(); // final List<IBindingSet> solutionsIn = new LinkedList<IBindingSet>(); // final BindingsClause bindingsClause = new BindingsClause(vars, // solutionsIn); // expected.setBindingsClause(bindingsClause); // // { // vars.add(Var.var("s")); // vars.add(Var.var("o")); // } // // /* // * Note: The blank node should be sent across as a variable // * without a bound value (UNDEF). // */ // { // final ListBindingSet bset = new ListBindingSet(); // solutionsIn.add(bset); // } // // } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in there is a blank node in the BINDINGS to be flowed * through to the remote SERVICE. In this test the blank nodes are * correlated but there is only one solution to be vectored so we will * impose a FILTER on the remote service to enforce that correlation. This * test differs from the previous test by making more than two variables in * the SERVICE clause correlated through shared blank nodes. We need to use * a more complex SERVICE graph pattern to accomplish this since the * predicate can not be a blank node. */ public void test_service_006() throws Exception { final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o1"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o . ?s ?p ?o1 }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); projectedVars.add(Var.var("o1")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); /* * Note: A blank node MAY be turned into an unbound variable as long as * we impose the constraint that all vars having that blank node for a * solution are EQ (same term). * * Note: For this query, the *same* blank node is used for ?s and ?book. * That needs to be turned into a FILTER which is attached to the remote * SPARQL query in order to maintain the correlation between those * variables (FILTER ?s = ?book). */ { final MapBindingSet bset = new MapBindingSet(); final BNode tmp = new BNodeImpl("abc"); bset.addBinding("s", tmp); bset.addBinding("o", tmp); bset.addBinding("o1", tmp); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode,a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); projection.addProjectionVar(new VarNode("o1")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); // A FILTER to enforce variable correlation. whereClause.addChild(new FilterNode(FunctionNode.AND(// FunctionNode.sameTerm(new VarNode("s"), new VarNode("o")),// FunctionNode.sameTerm(new VarNode("s"), new VarNode("o1"))// ))); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); whereClause.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o1"), null/* c */, Scope.DEFAULT_CONTEXTS)); expected.setWhereClause(whereClause); // { // final LinkedHashSet<IVariable<?>> vars = new LinkedHashSet<IVariable<?>>(); // final List<IBindingSet> solutionsIn = new LinkedList<IBindingSet>(); // final BindingsClause bindingsClause = new BindingsClause(vars, // solutionsIn); // expected.setBindingsClause(bindingsClause); // // { // vars.add(Var.var("s")); // vars.add(Var.var("o")); // vars.add(Var.var("o1")); // } // // /* // * Note: The blank node should be sent across as a variable // * without a bound value (UNDEF). // */ // { // final ListBindingSet bset = new ListBindingSet(); // solutionsIn.add(bset); // } // // } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in there is a blank node in the BINDINGS to be flowed * through to the remote SERVICE. In this test the blank nodes are * correlated and there is more than one solution to be vectored so we MUST * impose a FILTER on the remote service to enforce that correlation. */ public void test_service_007() throws Exception { /* * Resolve IVs that we will use below. */ final BigdataLiteral book1 = valueFactory .createLiteral("Semantic Web Primer"); addResolveIVs(book1); final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); /* * Note: A blank node MAY be turned into an unbound variable as long as * we impose the constraint that all vars having that blank node for a * solution are EQ (same term). * * Note: For this query, the *same* blank node is used for ?s and ?book. * That needs to be turned into a FILTER which is attached to the remote * SPARQL query in order to maintain the correlation between those * variables (FILTER ?s = ?book). */ { final MapBindingSet bset = new MapBindingSet(); final BNode tmp = new BNodeImpl("abc"); bset.addBinding("s", tmp); bset.addBinding("o", tmp); bindingSets.add(bset); } { // A 2nd solution. final MapBindingSet bset = new MapBindingSet(); bset.addBinding("s", book1); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode, a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); final UnionNode union = new UnionNode(); whereClause.addChild(union); { final JoinGroupNode joinGroup = new JoinGroupNode(); union.addChild(joinGroup); // A FILTER to enforce variable correlation. joinGroup.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new VarNode("o")))); joinGroup.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode joinGroup = new JoinGroupNode(); union.addChild(joinGroup); // A FILTER to enforce the variable binding. joinGroup.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new ConstantNode(book1.getIV())))); joinGroup.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } /** * A variant test in there is a blank node in the BINDINGS to be flowed * through to the remote SERVICE. In this test the blank nodes are * correlated so we MUST impose a constraint on the remote service to * enforce that correlation. However, there is another solution in which the * two variables are NOT correlated so that FILTER MUST NOT be imposed * across all such solutions. Therefore the SERVICE class will be vectored * by rewriting it into a UNION with different variable names in each * variant of the UNION. */ public void test_service_008() throws Exception { final BigdataURI serviceURI = valueFactory .createURI("http://www.bigdata.com/myService"); final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); { groupNode.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"))); } final String exprImage = "SERVICE <" + serviceURI + "> { ?s ?p ?o }"; final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); final ServiceNode serviceNode = new ServiceNode(new ConstantNode( makeIV(serviceURI)), groupNode); { final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); { projectedVars.add(Var.var("s")); projectedVars.add(Var.var("p")); projectedVars.add(Var.var("o")); } serviceNode.setExprImage(exprImage); serviceNode.setPrefixDecls(prefixDecls); serviceNode.setProjectedVars(projectedVars); } final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); /* * A blank node MAY be turned into an unbound variable as long as we * impose the constraint that all vars having that blank node for a * solution are EQ (same term). * * Note: For this query, the *same* blank node is used for ?s and ?book. * That needs to be turned into a FILTER which is attached to the remote * SPARQL query in order to maintain the correlation between those * variables (FILTER ?s = ?book). */ { // Note: Blank nodes ARE correlated for this solution. final MapBindingSet bset = new MapBindingSet(); final BNode tmp = new BNodeImpl("abc"); bset.addBinding("s", tmp); bset.addBinding("o", tmp); bindingSets.add(bset); } { // Note: Blank nodes are NOT correlated for this solution. final MapBindingSet bset = new MapBindingSet(); final BNode tmp1 = new BNodeImpl("foo"); final BNode tmp2 = new BNodeImpl("bar"); bset.addBinding("s", tmp1); bset.addBinding("o", tmp2); bindingSets.add(bset); } final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets .size()]); final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode, a); final String queryStr = fixture.getSparqlQuery(a); // Verify the structure of the rewritten query. final QueryRoot expected = new QueryRoot(QueryType.SELECT); { expected.setPrefixDecls(prefixDecls); final ProjectionNode projection = new ProjectionNode(); projection.addProjectionVar(new VarNode("s")); projection.addProjectionVar(new VarNode("p")); projection.addProjectionVar(new VarNode("o")); expected.setProjection(projection); final JoinGroupNode whereClause = new JoinGroupNode(); expected.setWhereClause(whereClause); final UnionNode union = new UnionNode(); whereClause.addChild(union); { final JoinGroupNode joinGroup = new JoinGroupNode(); union.addChild(joinGroup); // A FILTER to enforce variable correlation. joinGroup.addChild(new FilterNode(FunctionNode.sameTerm( new VarNode("s"), new VarNode("o")))); joinGroup.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } { final JoinGroupNode joinGroup = new JoinGroupNode(); union.addChild(joinGroup); joinGroup.addChild(new StatementPatternNode(new VarNode("s"), new VarNode("p"), new VarNode("o"), null/* c */, Scope.DEFAULT_CONTEXTS)); } } final QueryRoot actual = parse(queryStr, baseURI); assertSameAST(queryStr, expected, actual); } // /** // * A variant test where a blank node is used in the graph pattern. The blank // * node is translated internally into an anonymous variable. However, the // * name of that anonymous variable is NOT a legal name for a SPARQL variable // * (this is done in order to avoid potential conflicts with variables used // * in the query). This causes a SPARQL error on the remote service when it // * sees the illegal variable name. // * // * TODO Port this to {@link TestRemoteSparql11QueryBuilder} also. // * // * @see <a href="https://sourceforge.net/apps/trac/bigdata/ticket/510"> // * Blank nodes in SERVICE graph patterns </a> // */ // public void test_service_009() throws Exception { // // if (false) { // // /* // * You can run this to demonstrate the error that the parser will // * throw if it sees the untranslated name of the anonymous variable // * that are using to model the blank node in the AST. // */ // // final String queryStr = "prefix : <http://example.org/>\n"// // + "prefix foaf: <http://xmlns.com/foaf/0.1/>\n"// // + "SELECT ?-anon-2 ?t2\n"// // + "WHERE {\n"// // + " [] foaf:name ?t2 . "// // + "}"; // // final QueryRoot actual = parse(queryStr, baseURI); // // } // { // // final String queryStr = "PREFIX : <http://example.org/>\n" // // + "PREFIX foaf: <http://xmlns.com/foaf/0.1/>\n"// // + "SELECT ?t1 ?t2 {\n" // // + " [] foaf:name ?t1 .\n"// // + " SERVICE <http://localhost:18080/openrdf/repositories/endpoint1> {\n"// // + " [] foaf:name ?t2 .\n"// // + " }\n"// // + "}"; // // final QueryRoot actual = parse(queryStr, baseURI); // // // The SERVICE node. // final ServiceNode serviceNode = BOpUtility.visitAll(actual, // ServiceNode.class).next(); // // // The inner statement pattern for the SERVICE node. // final StatementPatternNode sp1 = (StatementPatternNode) serviceNode // .getGraphPattern().get(0); // // // The anonymous variable used for that blank node. // final IVariable<?> anonvar2 = (IVariable<?>) sp1.s().getValueExpression(); // // /* // * We need to decorate the SERVICE node a bit with metadata which is // * not attached by the parser. // */ // final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); // projectedVars.add(anonvar2); // projectedVars.add(Var.var("t2")); // serviceNode.setProjectedVars(projectedVars); // // final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); // // final BindingSet[] a = bindingSets // .toArray(new BindingSet[bindingSets.size()]); // // // We will now generate a SPARQL query for that SERVICE node. // final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode, a); // // final String queryStr2 = fixture.getSparqlQuery(a); // // /* // * Verify that a valid query was generated. This implies that the // * anonymous variable name issue was handled during query // * generation. // * // * FIXME This only tests query generation. We must also test the // * correlation of the results when received back from the service. // */ //System.err.println("queryStr2: "+queryStr2); // FIXME REMOVE // final QueryRoot actual2 = parse(queryStr2, baseURI); // // } // // /* // * The name assigned by the SPARQL parser to the variable which models // * the blank node. // */ // final String anonvar1 = "-anon-1"; // local access path // final String anonvar2 = "-anon-2"; // inside the SERVICE graph pattern. // // final BigdataURI serviceURI = valueFactory // .createURI("http://localhost:18080/openrdf/repositories/endpoint1"); // // final GraphPatternGroup<IGroupMemberNode> groupNode = new JoinGroupNode(); // { // groupNode.addChild(new StatementPatternNode(new VarNode(anonvar1), // new VarNode("p"), new VarNode("o"))); // } // // final String exprImage = "SERVICE <" + serviceURI + "> { [] ?p ?o }"; // // final Map<String,String> prefixDecls = new LinkedHashMap<String, String>(PrefixDeclProcessor.defaultDecls); // // final ServiceNode serviceNode = new ServiceNode(new ConstantNode( // makeIV(serviceURI)), groupNode); // { // final Set<IVariable<?>> projectedVars = new LinkedHashSet<IVariable<?>>(); // { // projectedVars.add(Var.var("s")); // projectedVars.add(Var.var("p")); // projectedVars.add(Var.var("o")); // } // // serviceNode.setExprImage(exprImage); // serviceNode.setPrefixDecls(prefixDecls); // serviceNode.setProjectedVars(projectedVars); // } // // final List<BindingSet> bindingSets = new LinkedList<BindingSet>(); // /* // * A blank node MAY be turned into an unbound variable as long as we // * impose the constraint that all vars having that blank node for a // * solution are EQ (same term). // * // * Note: For this query, the *same* blank node is used for ?s and ?book. // * That needs to be turned into a FILTER which is attached to the remote // * SPARQL query in order to maintain the correlation between those // * variables (FILTER ?s = ?book). // */ // { // Note: Blank nodes ARE correlated for this solution. // final MapBindingSet bset = new MapBindingSet(); // final BNode tmp = new BNodeImpl("abc"); // bset.addBinding("s", tmp); // bset.addBinding("o", tmp); // bindingSets.add(bset); // } // { // Note: Blank nodes are NOT correlated for this solution. // final MapBindingSet bset = new MapBindingSet(); // final BNode tmp1 = new BNodeImpl("foo"); // final BNode tmp2 = new BNodeImpl("bar"); // bset.addBinding("s", tmp1); // bset.addBinding("o", tmp2); // bindingSets.add(bset); // } // // final BindingSet[] a = bindingSets.toArray(new BindingSet[bindingSets // .size()]); // // final IRemoteSparqlQueryBuilder fixture = newFixture(serviceNode, a); // // final String queryStr = fixture.getSparqlQuery(a); // // // Verify the structure of the rewritten query. // final QueryRoot expected = new QueryRoot(QueryType.SELECT); // { // // expected.setPrefixDecls(prefixDecls); // // final ProjectionNode projection = new ProjectionNode(); // projection.addProjectionVar(new VarNode("s")); // projection.addProjectionVar(new VarNode("p")); // projection.addProjectionVar(new VarNode("o")); // expected.setProjection(projection); // // final JoinGroupNode whereClause = new JoinGroupNode(); // expected.setWhereClause(whereClause); // // final UnionNode union = new UnionNode(); // whereClause.addChild(union); // // { // // final JoinGroupNode joinGroup = new JoinGroupNode(); // union.addChild(joinGroup); // // // A FILTER to enforce variable correlation. // joinGroup.addChild(new FilterNode(FunctionNode.sameTerm( // new VarNode("s"), new VarNode("o")))); // // joinGroup.addChild(new StatementPatternNode(new VarNode("s"), // new VarNode("p"), new VarNode("o"), null/* c */, // Scope.DEFAULT_CONTEXTS)); // // } // { // // final JoinGroupNode joinGroup = new JoinGroupNode(); // union.addChild(joinGroup); // // joinGroup.addChild(new StatementPatternNode(new VarNode("s"), // new VarNode("p"), new VarNode("o"), null/* c */, // Scope.DEFAULT_CONTEXTS)); // // } // // } // // final QueryRoot actual = parse(queryStr, baseURI); // // assertSameAST(queryStr, expected, actual); // // } }