<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="en">
<head>
<title>Source code</title>
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet_fedx.css" title="Style">
</head>
<body>
<div class="sourceContainer">
<pre><span class="sourceLineNo">001</span>/*<a name="line.1"></a>
<span class="sourceLineNo">002</span> * Copyright (C) 2008-2013, fluid Operations AG<a name="line.2"></a>
<span class="sourceLineNo">003</span> *<a name="line.3"></a>
<span class="sourceLineNo">004</span> * FedX is free software: you can redistribute it and/or modify<a name="line.4"></a>
<span class="sourceLineNo">005</span> * it under the terms of the GNU Affero General Public License as<a name="line.5"></a>
<span class="sourceLineNo">006</span> * published by the Free Software Foundation, either version 3 of the<a name="line.6"></a>
<span class="sourceLineNo">007</span> * License, or (at your option) any later version.<a name="line.7"></a>
<span class="sourceLineNo">008</span> * <a name="line.8"></a>
<span class="sourceLineNo">009</span> * This program is distributed in the hope that it will be useful,<a name="line.9"></a>
<span class="sourceLineNo">010</span> * but WITHOUT ANY WARRANTY; without even the implied warranty of<a name="line.10"></a>
<span class="sourceLineNo">011</span> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the<a name="line.11"></a>
<span class="sourceLineNo">012</span> * GNU Affero General Public License for more details.<a name="line.12"></a>
<span class="sourceLineNo">013</span> * <a name="line.13"></a>
<span class="sourceLineNo">014</span> * You should have received a copy of the GNU Affero General Public License<a name="line.14"></a>
<span class="sourceLineNo">015</span> * along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.<a name="line.15"></a>
<span class="sourceLineNo">016</span> */<a name="line.16"></a>
<span class="sourceLineNo">017</span><a name="line.17"></a>
<span class="sourceLineNo">018</span>package com.fluidops.fedx.optimizer;<a name="line.18"></a>
<span class="sourceLineNo">019</span><a name="line.19"></a>
<span class="sourceLineNo">020</span>import java.util.ArrayList;<a name="line.20"></a>
<span class="sourceLineNo">021</span>import java.util.List;<a name="line.21"></a>
<span class="sourceLineNo">022</span><a name="line.22"></a>
<span class="sourceLineNo">023</span>import org.openrdf.query.algebra.Service;<a name="line.23"></a>
<span class="sourceLineNo">024</span>import org.openrdf.query.algebra.StatementPattern;<a name="line.24"></a>
<span class="sourceLineNo">025</span>import org.openrdf.query.algebra.TupleExpr;<a name="line.25"></a>
<span class="sourceLineNo">026</span>import org.openrdf.query.algebra.helpers.QueryModelVisitorBase;<a name="line.26"></a>
<span class="sourceLineNo">027</span><a name="line.27"></a>
<span class="sourceLineNo">028</span>import com.fluidops.fedx.EndpointManager;<a name="line.28"></a>
<span class="sourceLineNo">029</span>import com.fluidops.fedx.algebra.ExclusiveGroup;<a name="line.29"></a>
<span class="sourceLineNo">030</span>import com.fluidops.fedx.algebra.ExclusiveStatement;<a name="line.30"></a>
<span class="sourceLineNo">031</span>import com.fluidops.fedx.algebra.FedXService;<a name="line.31"></a>
<span class="sourceLineNo">032</span>import com.fluidops.fedx.algebra.NJoin;<a name="line.32"></a>
<span class="sourceLineNo">033</span>import com.fluidops.fedx.algebra.StatementSource;<a name="line.33"></a>
<span class="sourceLineNo">034</span>import com.fluidops.fedx.algebra.StatementSource.StatementSourceType;<a name="line.34"></a>
<span class="sourceLineNo">035</span>import com.fluidops.fedx.exception.FedXRuntimeException;<a name="line.35"></a>
<span class="sourceLineNo">036</span>import com.fluidops.fedx.exception.OptimizationException;<a name="line.36"></a>
<span class="sourceLineNo">037</span>import com.fluidops.fedx.structures.Endpoint;<a name="line.37"></a>
<span class="sourceLineNo">038</span>import com.fluidops.fedx.structures.QueryInfo;<a name="line.38"></a>
<span class="sourceLineNo">039</span><a name="line.39"></a>
<span class="sourceLineNo">040</span>/**<a name="line.40"></a>
<span class="sourceLineNo">041</span> * Optimizer for SERVICE nodes.<a name="line.41"></a>
<span class="sourceLineNo">042</span> * <a name="line.42"></a>
<span class="sourceLineNo">043</span> * @author Andreas Schwarte<a name="line.43"></a>
<span class="sourceLineNo">044</span> *<a name="line.44"></a>
<span class="sourceLineNo">045</span> */<a name="line.45"></a>
<span class="sourceLineNo">046</span>public class ServiceOptimizer extends QueryModelVisitorBase&lt;OptimizationException&gt; implements FedXOptimizer {<a name="line.46"></a>
<span class="sourceLineNo">047</span><a name="line.47"></a>
<span class="sourceLineNo">048</span>        protected final QueryInfo queryInfo;<a name="line.48"></a>
<span class="sourceLineNo">049</span>                <a name="line.49"></a>
<span class="sourceLineNo">050</span>        /**<a name="line.50"></a>
<span class="sourceLineNo">051</span>         * @param queryInfo<a name="line.51"></a>
<span class="sourceLineNo">052</span>         */<a name="line.52"></a>
<span class="sourceLineNo">053</span>        public ServiceOptimizer(QueryInfo queryInfo)<a name="line.53"></a>
<span class="sourceLineNo">054</span>        {<a name="line.54"></a>
<span class="sourceLineNo">055</span>                super();<a name="line.55"></a>
<span class="sourceLineNo">056</span>                this.queryInfo = queryInfo;<a name="line.56"></a>
<span class="sourceLineNo">057</span>        }<a name="line.57"></a>
<span class="sourceLineNo">058</span><a name="line.58"></a>
<span class="sourceLineNo">059</span><a name="line.59"></a>
<span class="sourceLineNo">060</span>        @Override<a name="line.60"></a>
<span class="sourceLineNo">061</span>        public void optimize(TupleExpr tupleExpr)<a name="line.61"></a>
<span class="sourceLineNo">062</span>        {<a name="line.62"></a>
<span class="sourceLineNo">063</span>                try { <a name="line.63"></a>
<span class="sourceLineNo">064</span>                        tupleExpr.visit(this);<a name="line.64"></a>
<span class="sourceLineNo">065</span>                } catch (RuntimeException e) {<a name="line.65"></a>
<span class="sourceLineNo">066</span>                        throw e;<a name="line.66"></a>
<span class="sourceLineNo">067</span>                } catch (Exception e) {<a name="line.67"></a>
<span class="sourceLineNo">068</span>                        throw new FedXRuntimeException(e);<a name="line.68"></a>
<span class="sourceLineNo">069</span>                }       <a name="line.69"></a>
<span class="sourceLineNo">070</span>                <a name="line.70"></a>
<span class="sourceLineNo">071</span>        }<a name="line.71"></a>
<span class="sourceLineNo">072</span>        <a name="line.72"></a>
<span class="sourceLineNo">073</span>        <a name="line.73"></a>
<span class="sourceLineNo">074</span>        @Override<a name="line.74"></a>
<span class="sourceLineNo">075</span>        public void meet(Service service) {<a name="line.75"></a>
<span class="sourceLineNo">076</span>                // create an optimized service, which may wrap the original service<a name="line.76"></a>
<span class="sourceLineNo">077</span>                // the latter is the case, if we cannot optimize the SERVICE node in FedX<a name="line.77"></a>
<span class="sourceLineNo">078</span>                TupleExpr newExpr = optimizeService(service);<a name="line.78"></a>
<span class="sourceLineNo">079</span>                service.replaceWith(newExpr);<a name="line.79"></a>
<span class="sourceLineNo">080</span>        }<a name="line.80"></a>
<span class="sourceLineNo">081</span>        <a name="line.81"></a>
<span class="sourceLineNo">082</span>        <a name="line.82"></a>
<span class="sourceLineNo">083</span>        <a name="line.83"></a>
<span class="sourceLineNo">084</span>        <a name="line.84"></a>
<span class="sourceLineNo">085</span>        protected TupleExpr optimizeService(Service service) {<a name="line.85"></a>
<span class="sourceLineNo">086</span>                <a name="line.86"></a>
<span class="sourceLineNo">087</span>                // check if there is a service uri given<a name="line.87"></a>
<span class="sourceLineNo">088</span>                if (service.getServiceRef().hasValue()) {<a name="line.88"></a>
<span class="sourceLineNo">089</span>                        <a name="line.89"></a>
<span class="sourceLineNo">090</span>                        String serviceUri = service.getServiceRef().getValue().stringValue();<a name="line.90"></a>
<span class="sourceLineNo">091</span>                        <a name="line.91"></a>
<span class="sourceLineNo">092</span>                        GenericInfoOptimizer serviceInfo = new GenericInfoOptimizer(queryInfo);<a name="line.92"></a>
<span class="sourceLineNo">093</span>                        serviceInfo.optimize(service.getServiceExpr());<a name="line.93"></a>
<span class="sourceLineNo">094</span>                        <a name="line.94"></a>
<span class="sourceLineNo">095</span>                        Endpoint e = getFedXEndpoint(serviceUri);<a name="line.95"></a>
<span class="sourceLineNo">096</span>                        <a name="line.96"></a>
<span class="sourceLineNo">097</span>                        // endpoint is not in federation<a name="line.97"></a>
<span class="sourceLineNo">098</span>                        if (e == null) {<a name="line.98"></a>
<span class="sourceLineNo">099</span>                                // leave service as is, evaluate with Sesame code<a name="line.99"></a>
<span class="sourceLineNo">100</span>                                return new FedXService(service, queryInfo);<a name="line.100"></a>
<span class="sourceLineNo">101</span>                        } <a name="line.101"></a>
<span class="sourceLineNo">102</span>                        <a name="line.102"></a>
<span class="sourceLineNo">103</span>                        StatementSource source = new StatementSource(e.getId(), StatementSourceType.REMOTE);<a name="line.103"></a>
<span class="sourceLineNo">104</span>                        List&lt;ExclusiveStatement&gt; stmts = new ArrayList&lt;ExclusiveStatement&gt;();<a name="line.104"></a>
<span class="sourceLineNo">105</span>                        // convert all statements to exclusive statements<a name="line.105"></a>
<span class="sourceLineNo">106</span>                        for (StatementPattern st : serviceInfo.getStatements()) {                               <a name="line.106"></a>
<span class="sourceLineNo">107</span>                                ExclusiveStatement est = new ExclusiveStatement(st, source, queryInfo);<a name="line.107"></a>
<span class="sourceLineNo">108</span>                                st.replaceWith(est);<a name="line.108"></a>
<span class="sourceLineNo">109</span>                                stmts.add(est);<a name="line.109"></a>
<span class="sourceLineNo">110</span>                        }<a name="line.110"></a>
<span class="sourceLineNo">111</span>                        <a name="line.111"></a>
<span class="sourceLineNo">112</span>                        // check if we have a simple subquery now (i.e. only a simple BGP)<a name="line.112"></a>
<span class="sourceLineNo">113</span>                        if (service.getArg() instanceof NJoin) {<a name="line.113"></a>
<span class="sourceLineNo">114</span>                                NJoin j = (NJoin)service.getArg();<a name="line.114"></a>
<span class="sourceLineNo">115</span>                                boolean simple = true;<a name="line.115"></a>
<span class="sourceLineNo">116</span>                                for (TupleExpr t : j.getArgs()) {<a name="line.116"></a>
<span class="sourceLineNo">117</span>                                        if (!(t instanceof ExclusiveStatement)) {<a name="line.117"></a>
<span class="sourceLineNo">118</span>                                                simple = false;<a name="line.118"></a>
<span class="sourceLineNo">119</span>                                                break;<a name="line.119"></a>
<span class="sourceLineNo">120</span>                                        }<a name="line.120"></a>
<span class="sourceLineNo">121</span>                                }<a name="line.121"></a>
<span class="sourceLineNo">122</span>                                <a name="line.122"></a>
<span class="sourceLineNo">123</span>                                if (simple) {<a name="line.123"></a>
<span class="sourceLineNo">124</span>                                        return new ExclusiveGroup(stmts, source, queryInfo);<a name="line.124"></a>
<span class="sourceLineNo">125</span>                                }                                       <a name="line.125"></a>
<span class="sourceLineNo">126</span>                        }               <a name="line.126"></a>
<span class="sourceLineNo">127</span>                        <a name="line.127"></a>
<span class="sourceLineNo">128</span>                }<a name="line.128"></a>
<span class="sourceLineNo">129</span>                <a name="line.129"></a>
<span class="sourceLineNo">130</span>                return new FedXService(service, queryInfo);<a name="line.130"></a>
<span class="sourceLineNo">131</span>        }<a name="line.131"></a>
<span class="sourceLineNo">132</span>        <a name="line.132"></a>
<span class="sourceLineNo">133</span>        <a name="line.133"></a>
<span class="sourceLineNo">134</span>        /**<a name="line.134"></a>
<span class="sourceLineNo">135</span>         * Return the FedX endpoint corresponding to the given service URI. If <a name="line.135"></a>
<span class="sourceLineNo">136</span>         * there is no such endpoint in FedX, this method returns null.<a name="line.136"></a>
<span class="sourceLineNo">137</span>         * <a name="line.137"></a>
<span class="sourceLineNo">138</span>         * Note that this method compares the endpoint URL first, however, that<a name="line.138"></a>
<span class="sourceLineNo">139</span>         * the name of the endpoint can be used as identifier as well. Note that<a name="line.139"></a>
<span class="sourceLineNo">140</span>         * the name must be a valid URI, i.e. start with http://<a name="line.140"></a>
<span class="sourceLineNo">141</span>         * <a name="line.141"></a>
<span class="sourceLineNo">142</span>         * @param serviceUri<a name="line.142"></a>
<span class="sourceLineNo">143</span>         * @return<a name="line.143"></a>
<span class="sourceLineNo">144</span>         */<a name="line.144"></a>
<span class="sourceLineNo">145</span>        private Endpoint getFedXEndpoint(String serviceUri) {<a name="line.145"></a>
<span class="sourceLineNo">146</span>                EndpointManager em = EndpointManager.getEndpointManager();<a name="line.146"></a>
<span class="sourceLineNo">147</span>                Endpoint e = em.getEndpointByUrl(serviceUri);<a name="line.147"></a>
<span class="sourceLineNo">148</span>                if (e!=null)<a name="line.148"></a>
<span class="sourceLineNo">149</span>                        return e;<a name="line.149"></a>
<span class="sourceLineNo">150</span>                e = em.getEndpointByName(serviceUri);<a name="line.150"></a>
<span class="sourceLineNo">151</span>                return e;<a name="line.151"></a>
<span class="sourceLineNo">152</span>        }<a name="line.152"></a>
<span class="sourceLineNo">153</span>        <a name="line.153"></a>
<span class="sourceLineNo">154</span>        <a name="line.154"></a>
<span class="sourceLineNo">155</span>}<a name="line.155"></a>
<span class="sourceLineNo">156</span><a name="line.156"></a>
<span class="sourceLineNo">157</span><a name="line.157"></a>




























































</pre>
</div>
</body>
</html>
