sparql 3.1.0 → 3.1.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +188 -73
- data/UNLICENSE +1 -1
- data/VERSION +1 -1
- data/bin/sparql +37 -17
- data/lib/rack/sparql/conneg.rb +2 -2
- data/lib/sinatra/sparql.rb +4 -4
- data/lib/sparql.rb +13 -12
- data/lib/sparql/algebra.rb +11 -19
- data/lib/sparql/algebra/aggregate.rb +2 -2
- data/lib/sparql/algebra/expression.rb +67 -38
- data/lib/sparql/algebra/extensions.rb +182 -23
- data/lib/sparql/algebra/operator.rb +55 -22
- data/lib/sparql/algebra/operator/abs.rb +2 -2
- data/lib/sparql/algebra/operator/add.rb +2 -2
- data/lib/sparql/algebra/operator/alt.rb +2 -2
- data/lib/sparql/algebra/operator/and.rb +3 -3
- data/lib/sparql/algebra/operator/asc.rb +1 -1
- data/lib/sparql/algebra/operator/ask.rb +2 -12
- data/lib/sparql/algebra/operator/avg.rb +8 -1
- data/lib/sparql/algebra/operator/base.rb +8 -8
- data/lib/sparql/algebra/operator/bgp.rb +2 -2
- data/lib/sparql/algebra/operator/bnode.rb +2 -2
- data/lib/sparql/algebra/operator/bound.rb +1 -1
- data/lib/sparql/algebra/operator/ceil.rb +2 -2
- data/lib/sparql/algebra/operator/clear.rb +2 -2
- data/lib/sparql/algebra/operator/coalesce.rb +1 -11
- data/lib/sparql/algebra/operator/compare.rb +15 -8
- data/lib/sparql/algebra/operator/concat.rb +2 -2
- data/lib/sparql/algebra/operator/construct.rb +4 -13
- data/lib/sparql/algebra/operator/contains.rb +2 -2
- data/lib/sparql/algebra/operator/copy.rb +2 -2
- data/lib/sparql/algebra/operator/count.rb +1 -1
- data/lib/sparql/algebra/operator/create.rb +2 -2
- data/lib/sparql/algebra/operator/dataset.rb +3 -14
- data/lib/sparql/algebra/operator/datatype.rb +1 -1
- data/lib/sparql/algebra/operator/day.rb +1 -1
- data/lib/sparql/algebra/operator/delete.rb +6 -6
- data/lib/sparql/algebra/operator/delete_data.rb +2 -2
- data/lib/sparql/algebra/operator/delete_where.rb +3 -3
- data/lib/sparql/algebra/operator/desc.rb +1 -1
- data/lib/sparql/algebra/operator/describe.rb +2 -12
- data/lib/sparql/algebra/operator/distinct.rb +2 -12
- data/lib/sparql/algebra/operator/divide.rb +1 -1
- data/lib/sparql/algebra/operator/drop.rb +2 -2
- data/lib/sparql/algebra/operator/encode_for_uri.rb +2 -2
- data/lib/sparql/algebra/operator/equal.rb +2 -2
- data/lib/sparql/algebra/operator/exists.rb +1 -1
- data/lib/sparql/algebra/operator/exprlist.rb +1 -11
- data/lib/sparql/algebra/operator/extend.rb +3 -12
- data/lib/sparql/algebra/operator/filter.rb +3 -13
- data/lib/sparql/algebra/operator/floor.rb +2 -2
- data/lib/sparql/algebra/operator/graph.rb +4 -15
- data/lib/sparql/algebra/operator/greater_than.rb +5 -5
- data/lib/sparql/algebra/operator/greater_than_or_equal.rb +5 -5
- data/lib/sparql/algebra/operator/group.rb +14 -14
- data/lib/sparql/algebra/operator/group_concat.rb +1 -1
- data/lib/sparql/algebra/operator/hours.rb +1 -1
- data/lib/sparql/algebra/operator/if.rb +1 -11
- data/lib/sparql/algebra/operator/in.rb +1 -11
- data/lib/sparql/algebra/operator/insert.rb +4 -4
- data/lib/sparql/algebra/operator/insert_data.rb +2 -2
- data/lib/sparql/algebra/operator/iri.rb +1 -1
- data/lib/sparql/algebra/operator/is_blank.rb +1 -1
- data/lib/sparql/algebra/operator/is_iri.rb +1 -1
- data/lib/sparql/algebra/operator/is_literal.rb +1 -1
- data/lib/sparql/algebra/operator/is_numeric.rb +1 -1
- data/lib/sparql/algebra/operator/is_triple.rb +30 -0
- data/lib/sparql/algebra/operator/join.rb +9 -7
- data/lib/sparql/algebra/operator/lang.rb +1 -1
- data/lib/sparql/algebra/operator/lang_matches.rb +3 -3
- data/lib/sparql/algebra/operator/lcase.rb +2 -2
- data/lib/sparql/algebra/operator/left_join.rb +16 -9
- data/lib/sparql/algebra/operator/less_than.rb +5 -5
- data/lib/sparql/algebra/operator/less_than_or_equal.rb +5 -5
- data/lib/sparql/algebra/operator/load.rb +2 -2
- data/lib/sparql/algebra/operator/max.rb +8 -1
- data/lib/sparql/algebra/operator/md5.rb +1 -1
- data/lib/sparql/algebra/operator/min.rb +8 -1
- data/lib/sparql/algebra/operator/minus.rb +9 -8
- data/lib/sparql/algebra/operator/minutes.rb +1 -1
- data/lib/sparql/algebra/operator/modify.rb +1 -1
- data/lib/sparql/algebra/operator/month.rb +1 -1
- data/lib/sparql/algebra/operator/move.rb +2 -2
- data/lib/sparql/algebra/operator/multiply.rb +1 -1
- data/lib/sparql/algebra/operator/negate.rb +1 -1
- data/lib/sparql/algebra/operator/not.rb +1 -1
- data/lib/sparql/algebra/operator/not_equal.rb +2 -2
- data/lib/sparql/algebra/operator/notexists.rb +2 -2
- data/lib/sparql/algebra/operator/notin.rb +1 -11
- data/lib/sparql/algebra/operator/notoneof.rb +2 -2
- data/lib/sparql/algebra/operator/now.rb +1 -1
- data/lib/sparql/algebra/operator/object.rb +27 -0
- data/lib/sparql/algebra/operator/or.rb +3 -3
- data/lib/sparql/algebra/operator/order.rb +2 -12
- data/lib/sparql/algebra/operator/path.rb +2 -2
- data/lib/sparql/algebra/operator/path_opt.rb +2 -2
- data/lib/sparql/algebra/operator/path_plus.rb +2 -2
- data/lib/sparql/algebra/operator/path_star.rb +2 -2
- data/lib/sparql/algebra/operator/plus.rb +2 -2
- data/lib/sparql/algebra/operator/predicate.rb +27 -0
- data/lib/sparql/algebra/operator/prefix.rb +8 -8
- data/lib/sparql/algebra/operator/project.rb +2 -12
- data/lib/sparql/algebra/operator/rand.rb +1 -1
- data/lib/sparql/algebra/operator/reduced.rb +2 -12
- data/lib/sparql/algebra/operator/regex.rb +5 -5
- data/lib/sparql/algebra/operator/replace.rb +3 -3
- data/lib/sparql/algebra/operator/reverse.rb +2 -2
- data/lib/sparql/algebra/operator/round.rb +2 -2
- data/lib/sparql/algebra/operator/same_term.rb +8 -5
- data/lib/sparql/algebra/operator/sample.rb +9 -2
- data/lib/sparql/algebra/operator/seconds.rb +1 -1
- data/lib/sparql/algebra/operator/seq.rb +1 -1
- data/lib/sparql/algebra/operator/sequence.rb +1 -1
- data/lib/sparql/algebra/operator/sha1.rb +1 -1
- data/lib/sparql/algebra/operator/sha256.rb +1 -1
- data/lib/sparql/algebra/operator/sha384.rb +1 -1
- data/lib/sparql/algebra/operator/sha512.rb +1 -1
- data/lib/sparql/algebra/operator/slice.rb +2 -12
- data/lib/sparql/algebra/operator/str.rb +1 -1
- data/lib/sparql/algebra/operator/strafter.rb +2 -2
- data/lib/sparql/algebra/operator/strbefore.rb +2 -2
- data/lib/sparql/algebra/operator/strdt.rb +2 -2
- data/lib/sparql/algebra/operator/strends.rb +2 -2
- data/lib/sparql/algebra/operator/strlang.rb +2 -2
- data/lib/sparql/algebra/operator/strlen.rb +2 -2
- data/lib/sparql/algebra/operator/strstarts.rb +2 -2
- data/lib/sparql/algebra/operator/struuid.rb +1 -1
- data/lib/sparql/algebra/operator/subject.rb +29 -0
- data/lib/sparql/algebra/operator/substr.rb +3 -3
- data/lib/sparql/algebra/operator/subtract.rb +1 -1
- data/lib/sparql/algebra/operator/sum.rb +1 -1
- data/lib/sparql/algebra/operator/table.rb +2 -2
- data/lib/sparql/algebra/operator/timezone.rb +1 -1
- data/lib/sparql/algebra/operator/triple.rb +27 -0
- data/lib/sparql/algebra/operator/tz.rb +1 -1
- data/lib/sparql/algebra/operator/ucase.rb +2 -2
- data/lib/sparql/algebra/operator/union.rb +7 -6
- data/lib/sparql/algebra/operator/update.rb +2 -2
- data/lib/sparql/algebra/operator/using.rb +2 -2
- data/lib/sparql/algebra/operator/uuid.rb +1 -1
- data/lib/sparql/algebra/operator/with.rb +3 -3
- data/lib/sparql/algebra/operator/year.rb +1 -1
- data/lib/sparql/algebra/query.rb +1 -1
- data/lib/sparql/algebra/update.rb +1 -1
- data/lib/sparql/algebra/version.rb +1 -1
- data/lib/sparql/extensions.rb +7 -13
- data/lib/sparql/grammar.rb +81 -6
- data/lib/sparql/grammar/meta.rb +5801 -1584
- data/lib/sparql/grammar/parser11.rb +116 -50
- data/lib/sparql/grammar/terminals11.rb +4 -0
- data/lib/sparql/results.rb +70 -43
- data/lib/sparql/version.rb +1 -1
- metadata +34 -39
@@ -10,7 +10,7 @@ module SPARQL; module Algebra
|
|
10
10
|
# (graph ?g
|
11
11
|
# (bgp (triple ?s ?q ?v)))))
|
12
12
|
#
|
13
|
-
# @see
|
13
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
14
14
|
class Join < Operator::Binary
|
15
15
|
include Query
|
16
16
|
|
@@ -31,9 +31,9 @@ module SPARQL; module Algebra
|
|
31
31
|
# @yieldreturn [void] ignored
|
32
32
|
# @return [RDF::Query::Solutions]
|
33
33
|
# the resulting solution sequence
|
34
|
-
# @see
|
35
|
-
# @see
|
36
|
-
# @see
|
34
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
35
|
+
# @see https://www.rubydoc.info/github/ruby-rdf/rdf/RDF/Query/Solution#merge-instance_method
|
36
|
+
# @see https://www.rubydoc.info/github/ruby-rdf/rdf/RDF/Query/Solution#compatible%3F-instance_method
|
37
37
|
def execute(queryable, **options, &block)
|
38
38
|
# Join(Ω1, Ω2) = { merge(μ1, μ2) | μ1 in Ω1 and μ2 in Ω2, and μ1 and μ2 are compatible }
|
39
39
|
# eval(D(G), Join(P1, P2)) = Join(eval(D(G), P1), eval(D(G), P2))
|
@@ -67,7 +67,7 @@ module SPARQL; module Algebra
|
|
67
67
|
end
|
68
68
|
|
69
69
|
##
|
70
|
-
#
|
70
|
+
# Optimizes this query.
|
71
71
|
#
|
72
72
|
# Groups of one graph pattern (not a filter) become join(Z, A) and can be replaced by A.
|
73
73
|
# The empty graph pattern Z is the identity for join:
|
@@ -75,8 +75,10 @@ module SPARQL; module Algebra
|
|
75
75
|
# Replace join(A, Z) by A
|
76
76
|
#
|
77
77
|
# @return [Join, RDF::Query] `self`
|
78
|
-
|
79
|
-
|
78
|
+
# @return [self]
|
79
|
+
# @see SPARQL::Algebra::Expression#optimize!
|
80
|
+
def optimize!(**options)
|
81
|
+
ops = operands.map {|o| o.optimize(**options) }.select {|o| o.respond_to?(:empty?) && !o.empty?}
|
80
82
|
@operands = ops
|
81
83
|
self
|
82
84
|
end
|
@@ -8,8 +8,8 @@ module SPARQL; module Algebra
|
|
8
8
|
# (filter (langMatches (lang ?v) "en-GB")
|
9
9
|
# (bgp (triple :x ?p ?v))))
|
10
10
|
#
|
11
|
-
# @see
|
12
|
-
# @see
|
11
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-langMatches
|
12
|
+
# @see https://tools.ietf.org/html/rfc4647#section-3.3.1
|
13
13
|
class LangMatches < Operator::Binary
|
14
14
|
include Evaluatable
|
15
15
|
|
@@ -23,7 +23,7 @@ module SPARQL; module Algebra
|
|
23
23
|
# a simple literal containing a language tag
|
24
24
|
# @param [RDF::Literal] language_range
|
25
25
|
# a simple literal containing a language range, per
|
26
|
-
# [RFC 4647 section 2.1](
|
26
|
+
# [RFC 4647 section 2.1](https://tools.ietf.org/html/rfc4647#section-2.1)
|
27
27
|
# @return [RDF::Literal::Boolean] `true` or `false`
|
28
28
|
# @raise [TypeError] if either operand is unbound
|
29
29
|
# @raise [TypeError] if either operand is not a simple literal
|
@@ -6,8 +6,8 @@ module SPARQL; module Algebra
|
|
6
6
|
# @example
|
7
7
|
# (lcase ?x)
|
8
8
|
#
|
9
|
-
# @see
|
10
|
-
# @see
|
9
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-lcase
|
10
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-lcase
|
11
11
|
class LCase < Operator::Unary
|
12
12
|
include Evaluatable
|
13
13
|
|
@@ -10,7 +10,7 @@ module SPARQL; module Algebra
|
|
10
10
|
# (bgp (triple ?y :q ?w))
|
11
11
|
# (= ?v 2)))
|
12
12
|
#
|
13
|
-
# @see
|
13
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
14
14
|
class LeftJoin < Operator
|
15
15
|
include Query
|
16
16
|
|
@@ -31,12 +31,16 @@ module SPARQL; module Algebra
|
|
31
31
|
# @yieldreturn [void] ignored
|
32
32
|
# @return [RDF::Query::Solutions]
|
33
33
|
# the resulting solution sequence
|
34
|
-
# @see
|
35
|
-
# @see
|
36
|
-
# @see
|
34
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
35
|
+
# @see https://www.rubydoc.info/github/ruby-rdf/rdf/RDF/Query/Solution#merge-instance_method
|
36
|
+
# @see https://www.rubydoc.info/github/ruby-rdf/rdf/RDF/Query/Solution#compatible%3F-instance_method
|
37
37
|
def execute(queryable, **options, &block)
|
38
38
|
filter = operand(2)
|
39
39
|
|
40
|
+
raise ArgumentError,
|
41
|
+
"leftjoin operator accepts at most two arguments with an optional filter" if
|
42
|
+
operands.length < 2 || operands.length > 3
|
43
|
+
|
40
44
|
debug(options) {"LeftJoin"}
|
41
45
|
left = queryable.query(operand(0), depth: options[:depth].to_i + 1, **options)
|
42
46
|
debug(options) {"=>(leftjoin left) #{left.inspect}"}
|
@@ -83,14 +87,17 @@ module SPARQL; module Algebra
|
|
83
87
|
end
|
84
88
|
|
85
89
|
##
|
86
|
-
#
|
90
|
+
# Optimizes this query.
|
87
91
|
#
|
88
92
|
# If optimize operands, and if the first two operands are both Queries, replace
|
89
93
|
# with the unique sum of the query elements
|
90
94
|
#
|
91
|
-
# @return [
|
92
|
-
|
93
|
-
|
95
|
+
# @return [Object] a copy of `self`
|
96
|
+
# @see SPARQL::Algebra::Expression#optimize
|
97
|
+
# FIXME
|
98
|
+
def optimize!(**options)
|
99
|
+
return self
|
100
|
+
ops = operands.map {|o| o.optimize(**options) }.select {|o| o.respond_to?(:empty?) && !o.empty?}
|
94
101
|
expr = ops.pop unless ops.last.executable?
|
95
102
|
expr = nil if expr.respond_to?(:true?) && expr.true?
|
96
103
|
|
@@ -102,7 +109,7 @@ module SPARQL; module Algebra
|
|
102
109
|
when 1
|
103
110
|
expr ? Filter.new(expr, ops.first) : ops.first
|
104
111
|
else
|
105
|
-
expr ? LeftJoin(ops[0], ops[1], expr) : LeftJoin(ops[0], ops[1])
|
112
|
+
expr ? LeftJoin.new(ops[0], ops[1], expr) : LeftJoin.new(ops[0], ops[1])
|
106
113
|
end
|
107
114
|
end
|
108
115
|
end # LeftJoin
|
@@ -6,11 +6,11 @@ module SPARQL; module Algebra
|
|
6
6
|
# @example
|
7
7
|
# (< ?x ?y)
|
8
8
|
#
|
9
|
-
# @see
|
10
|
-
# @see
|
11
|
-
# @see
|
12
|
-
# @see
|
13
|
-
# @see
|
9
|
+
# @see https://www.w3.org/TR/sparql11-query/#OperatorMapping
|
10
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-compare
|
11
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-less-than
|
12
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-boolean-less-than
|
13
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-dateTime-less-than
|
14
14
|
class LessThan < Compare
|
15
15
|
NAME = :<
|
16
16
|
|
@@ -6,11 +6,11 @@ module SPARQL; module Algebra
|
|
6
6
|
# @example
|
7
7
|
# (<= ?x ?y)
|
8
8
|
#
|
9
|
-
# @see
|
10
|
-
# @see
|
11
|
-
# @see
|
12
|
-
# @see
|
13
|
-
# @see
|
9
|
+
# @see https://www.w3.org/TR/sparql11-query/#OperatorMapping
|
10
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-compare
|
11
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-less-than
|
12
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-boolean-less-than
|
13
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-dateTime-less-than
|
14
14
|
class LessThanOrEqual < Compare
|
15
15
|
NAME = :<=
|
16
16
|
|
@@ -9,7 +9,7 @@ module SPARQL; module Algebra
|
|
9
9
|
# @example
|
10
10
|
# (load <remote> <g>)
|
11
11
|
#
|
12
|
-
# @see
|
12
|
+
# @see https://www.w3.org/TR/sparql11-update/#load
|
13
13
|
class Load < Operator
|
14
14
|
include SPARQL::Algebra::Update
|
15
15
|
|
@@ -28,7 +28,7 @@ module SPARQL; module Algebra
|
|
28
28
|
# Returns queryable.
|
29
29
|
# @raise [IOError]
|
30
30
|
# If `from` does not exist, unless the `silent` operator is present
|
31
|
-
# @see
|
31
|
+
# @see https://www.w3.org/TR/sparql11-update/
|
32
32
|
def execute(queryable, **options)
|
33
33
|
debug(options) {"Load"}
|
34
34
|
silent = operands.first == :silent
|
@@ -10,12 +10,19 @@ module SPARQL; module Algebra
|
|
10
10
|
# (group () ((??.0 (max ?o)))
|
11
11
|
# (bgp (triple ?s ?p ?o))))))
|
12
12
|
#
|
13
|
-
# @see
|
13
|
+
# @see https://www.w3.org/TR/sparql11-query/#defn_aggMax
|
14
14
|
class Max < Operator
|
15
15
|
include Aggregate
|
16
16
|
|
17
17
|
NAME = :max
|
18
18
|
|
19
|
+
def initialize(*operands, **options)
|
20
|
+
raise ArgumentError,
|
21
|
+
"max operator accepts at most one argument with an optional :distinct" if
|
22
|
+
(operands - %i{distinct}).length != 1
|
23
|
+
super
|
24
|
+
end
|
25
|
+
|
19
26
|
##
|
20
27
|
# Max is a SPARQL set function that return the maximum value from a group respectively.
|
21
28
|
#
|
@@ -13,7 +13,7 @@ module SPARQL; module Algebra
|
|
13
13
|
# (extend ((?hash (md5 ?l)))
|
14
14
|
# (bgp (triple :s1 :str ?l)))))
|
15
15
|
#
|
16
|
-
# @see
|
16
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-md5
|
17
17
|
class MD5 < Operator::Unary
|
18
18
|
include Evaluatable
|
19
19
|
|
@@ -10,12 +10,19 @@ module SPARQL; module Algebra
|
|
10
10
|
# (group () ((??.0 (min ?o)))
|
11
11
|
# (bgp (triple ?s ?p ?o))))))
|
12
12
|
#
|
13
|
-
# @see
|
13
|
+
# @see https://www.w3.org/TR/sparql11-query/#defn_aggMin
|
14
14
|
class Min < Operator
|
15
15
|
include Aggregate
|
16
16
|
|
17
17
|
NAME = :min
|
18
18
|
|
19
|
+
def initialize(*operands, **options)
|
20
|
+
raise ArgumentError,
|
21
|
+
"min operator accepts at most one argument with an optional :distinct" if
|
22
|
+
(operands - %i{distinct}).length != 1
|
23
|
+
super
|
24
|
+
end
|
25
|
+
|
19
26
|
##
|
20
27
|
# Min is a SPARQL set function that return the minimum value from a group respectively.
|
21
28
|
#
|
@@ -11,8 +11,8 @@ module SPARQL; module Algebra
|
|
11
11
|
# (filter (|| (= ?type ex:Reptile) (= ?type ex:Insect))
|
12
12
|
# (bgp (triple ?animal <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?type))))))
|
13
13
|
#
|
14
|
-
# @see
|
15
|
-
# @see
|
14
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-unary-minus
|
15
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
16
16
|
class Minus < Operator::Binary
|
17
17
|
include Query
|
18
18
|
|
@@ -33,8 +33,8 @@ module SPARQL; module Algebra
|
|
33
33
|
# @yieldreturn [void] ignored
|
34
34
|
# @return [RDF::Query::Solutions]
|
35
35
|
# the resulting solution sequence
|
36
|
-
# @see
|
37
|
-
# @see
|
36
|
+
# @see https://www.w3.org/TR/2013/REC-sparql11-query-20130321/#defn_algMinus
|
37
|
+
# @see https://www.w3.org/TR/2013/REC-sparql11-query-20130321/#negation
|
38
38
|
def execute(queryable, **options, &block)
|
39
39
|
# Let Ω1 and Ω2 be multisets of solution mappings. We define:
|
40
40
|
#
|
@@ -52,16 +52,17 @@ module SPARQL; module Algebra
|
|
52
52
|
end
|
53
53
|
|
54
54
|
##
|
55
|
-
#
|
55
|
+
# Optimizes this query.
|
56
56
|
#
|
57
57
|
# Groups of one graph pattern (not a filter) become join(Z, A) and can be replaced by A.
|
58
58
|
# The empty graph pattern Z is the identity for join:
|
59
59
|
# Replace join(Z, A) by A
|
60
60
|
# Replace join(A, Z) by A
|
61
61
|
#
|
62
|
-
# @return [
|
63
|
-
|
64
|
-
|
62
|
+
# @return [self]
|
63
|
+
# @see SPARQL::Algebra::Expression#optimize!
|
64
|
+
def optimize!(**options)
|
65
|
+
ops = operands.map {|o| o.optimize(**options) }.select {|o| o.respond_to?(:empty?) && !o.empty?}
|
65
66
|
@operands = ops
|
66
67
|
self
|
67
68
|
end
|
@@ -11,7 +11,7 @@ module SPARQL; module Algebra
|
|
11
11
|
# (extend ((?x (minutes ?date)))
|
12
12
|
# (bgp (triple ?s :date ?date)))))
|
13
13
|
#
|
14
|
-
# @see
|
14
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-minutes
|
15
15
|
class Minutes < Operator::Unary
|
16
16
|
include Evaluatable
|
17
17
|
|
@@ -33,7 +33,7 @@ module SPARQL; module Algebra
|
|
33
33
|
# Returns queryable.
|
34
34
|
# @raise [IOError]
|
35
35
|
# If `from` does not exist, unless the `silent` operator is present
|
36
|
-
# @see
|
36
|
+
# @see https://www.w3.org/TR/sparql11-update/
|
37
37
|
def execute(queryable, **options)
|
38
38
|
debug(options) {"Modify"}
|
39
39
|
query = operands.shift
|
@@ -11,7 +11,7 @@ module SPARQL; module Algebra
|
|
11
11
|
# (extend ((?x (month ?date)))
|
12
12
|
# (bgp (triple ?s :date ?date)))))
|
13
13
|
#
|
14
|
-
# @see
|
14
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-month
|
15
15
|
class Month < Operator::Unary
|
16
16
|
include Evaluatable
|
17
17
|
|
@@ -9,7 +9,7 @@ module SPARQL; module Algebra
|
|
9
9
|
# @example
|
10
10
|
# (move silent <iri> to default)
|
11
11
|
#
|
12
|
-
# @see
|
12
|
+
# @see https://www.w3.org/TR/sparql11-update/#move
|
13
13
|
class Move < Operator
|
14
14
|
include SPARQL::Algebra::Update
|
15
15
|
|
@@ -28,7 +28,7 @@ module SPARQL; module Algebra
|
|
28
28
|
# Returns queryable.
|
29
29
|
# @raise [IOError]
|
30
30
|
# If `from` does not exist, unless the `silent` operator is present
|
31
|
-
# @see
|
31
|
+
# @see https://www.w3.org/TR/sparql11-update/
|
32
32
|
def execute(queryable, **options)
|
33
33
|
debug(options) {"Move"}
|
34
34
|
silent = operands.first == :silent
|
@@ -7,7 +7,7 @@ module SPARQL; module Algebra
|
|
7
7
|
# (* ?x ?y)
|
8
8
|
# (multiply ?x ?y)
|
9
9
|
#
|
10
|
-
# @see
|
10
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-multiply
|
11
11
|
class Multiply < Operator::Binary
|
12
12
|
include Evaluatable
|
13
13
|
|
@@ -7,7 +7,7 @@ module SPARQL; module Algebra
|
|
7
7
|
# (- ?x)
|
8
8
|
# (negate ?x)
|
9
9
|
#
|
10
|
-
# @see
|
10
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-unary-minus
|
11
11
|
class Negate < Operator::Unary
|
12
12
|
include Evaluatable
|
13
13
|
|
@@ -3,8 +3,8 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL relational `!=` (not equal) comparison operator.
|
5
5
|
#
|
6
|
-
# @see
|
7
|
-
# @see
|
6
|
+
# @see https://www.w3.org/TR/sparql11-query/#OperatorMapping
|
7
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-RDFterm-equal
|
8
8
|
class NotEqual < Equal
|
9
9
|
NAME = :'!='
|
10
10
|
|
@@ -12,8 +12,8 @@ module SPARQL; module Algebra
|
|
12
12
|
# (bgp (triple ?s ?p ex:o1))))
|
13
13
|
# (bgp (triple ?s ?p ex:o))))
|
14
14
|
#
|
15
|
-
# @see
|
16
|
-
# @see
|
15
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-abs
|
16
|
+
# @see https://www.w3.org/TR/xpath-functions/#func-abs
|
17
17
|
class NotExists < Operator::Unary
|
18
18
|
include Evaluatable
|
19
19
|
|
@@ -8,7 +8,7 @@ module SPARQL; module Algebra
|
|
8
8
|
# @example
|
9
9
|
# (ask (filter (notin ?o 1 2) (bgp)))
|
10
10
|
#
|
11
|
-
# @see
|
11
|
+
# @see https://www.w3.org/TR/sparql11-query/#func-notin
|
12
12
|
class NotIn < Operator
|
13
13
|
include Evaluatable
|
14
14
|
|
@@ -58,16 +58,6 @@ module SPARQL; module Algebra
|
|
58
58
|
else RDF::Literal::TRUE
|
59
59
|
end
|
60
60
|
end
|
61
|
-
|
62
|
-
##
|
63
|
-
# Returns an optimized version of this query.
|
64
|
-
#
|
65
|
-
# Return optimized query
|
66
|
-
#
|
67
|
-
# @return [Union, RDF::Query] `self`
|
68
|
-
def optimize
|
69
|
-
operands = operands.map(&:optimize)
|
70
|
-
end
|
71
61
|
end # Exprlist
|
72
62
|
end # Operator
|
73
63
|
end; end # SPARQL::Algebra
|
@@ -6,7 +6,7 @@ module SPARQL; module Algebra
|
|
6
6
|
# @example
|
7
7
|
# (notoneof ex:p1 ex:p2)
|
8
8
|
#
|
9
|
-
# @see
|
9
|
+
# @see https://www.w3.org/TR/sparql11-query/#eval_negatedPropertySet
|
10
10
|
class NotOneOf < Operator
|
11
11
|
include Query
|
12
12
|
|
@@ -30,7 +30,7 @@ module SPARQL; module Algebra
|
|
30
30
|
# each matching solution
|
31
31
|
# @yieldparam [RDF::Query::Solution] solution
|
32
32
|
# @yieldreturn [void] ignored
|
33
|
-
# @see
|
33
|
+
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
34
34
|
def execute(queryable, **options, &block)
|
35
35
|
debug(options) {"NotOneOf #{operands.to_sse}"}
|
36
36
|
subject, object = options[:subject], options[:object]
|