Tpt
edec370f0a
Makes xsd:dateTime year parsing stricter
...
Do not allow syntaxes not allowed by the grammar
1 year ago
Tpt
5f2c9a3b92
Cleans up documentation links to RDF specifications
1 year ago
Tpt
57d39cad24
Makes Clippy happy
1 year ago
Tpt
5d253c6afb
SPARQL XML results: circumvent quick-xml crash
1 year ago
Tpt
adda2d2d7e
Makes hash join into for loop join optimization more aggressive
1 year ago
Tpt
22f990344f
Fixes hash left join into for loop left join optimization
...
It can inject variables into projections
1 year ago
Tpt
4cc9e4008b
Fixes empty IN expression optimization
1 year ago
Tpt
0a064a8704
SPARQL: Prevents ForLoopLeftJoin with MINUS
...
It can flip the MINUS operation out of the "disjoint" case
1 year ago
Tpt
d500614fcc
Fuzzer: do not consider OFFSET and LIMIT for now
...
Result order is not kept by the optimizer.
We can't assume it is unchanged.
1 year ago
Tpt
2650c5ed13
Speeds up sparql_eval fuzzer by hardcoding size_hint
...
For some reasons size_hint() computation takes a lot of time.
Hardcoding allows to increase the iter speed from 0.2iter/s to 1250iter/s
1 year ago
Tpt
7b9e9f9694
SPARQL: Makes average function works with yearMonthDuration and dayTimeDuration
1 year ago
Tpt
b2d625e10e
XSD: Drops nom dependency
1 year ago
Tpt
63945638ea
XSD: Adds checked_neg operation
1 year ago
Tpt
d24461fc42
XSD: Improves arithmetic computations
...
Avoids internal overflow inside some decimal operations
2 years ago
Tpt
8bec2e2ff9
SPARQL-star parser: align with SPARQL 1.2 draft
...
Relevant PR: https://github.com/w3c/sparql-query/pull/78
2 years ago
Tpt
9a6233b511
SPARQL parser: removes reference to rule numbers
...
They are not stable and are changing with SPARQL 1.2.
Let's avoid the hassle of maintaining them.
We got the rule name to quickly match the code with the grammar.
2 years ago
Tpt
e96672a2a8
SPARQL plan: allows AND and OR to have more than 2 children
...
Adds tests on VALUES cardinality validation
2 years ago
Tpt
cfe52db3a3
Spargebra: Makes GroundTermPattern::Triple properly gated with the rdf-star feature
...
It is only RDF-star specific
2 years ago
Tpt
7175784356
Improves Clippy lint list
2 years ago
Tpt
a2d8bcaaa3
Starts 0.3.17 dev
2 years ago
Tpt
f520de8893
Releases v0.3.16
2 years ago
Thomas
704440538d
Adds EXISTS operation to the profiler output
2 years ago
Tpt
79c5e3918e
SPARQL plan: fixes used variable lookup in quoted triple patterns
2 years ago
Tpt
3e0f6b5405
Applies oxigraph crate clippy lint to the complete project
2 years ago
Maximilian Goisser
1d02098b70
Fix missing GSPO compaction
2 years ago
Tpt
c3cf8e2002
Start 0.3.16 dev
2 years ago
Tpt
c6b8c754ee
Releases v0.3.15
2 years ago
Tpt
d653e0645b
Updates dependencies
2 years ago
Tpt
d587d3b2bb
xsd:decimal parsing: properly detect underflow
...
checked_div is only failing on division by 0...
2 years ago
Tpt
86bbebf93c
Fixes evaluation of empty aggregation without GROUP BY
...
Aggregators should return their default value (0 for COUNT...) and not an empty row
2 years ago
Thomas
f41c499ef3
Consolidates Rust benchmarks
2 years ago
Tpt
a977adff91
Allows to collect RocksDB statistics
...
Hidden behind the "rocksdb_debug" features
2 years ago
Tpt
60ffd99ad8
Exposes the query profiler to the CLI app
2 years ago
Tpt
dcd59ac4dd
Adds a way to add profiling to the evaluator
2 years ago
Tpt
81793bc221
Makes nested PlanNode easy to clone
2 years ago
Tpt
9dc1106b9a
SPARQL query plan: attach original RDF terms
...
Helps debugging
2 years ago
Tpt
6af6c9c0eb
Bulk loader: fixes the progress indicator display
2 years ago
Tpt
7787be6e84
Bulk loader: pre-allocate some buffers
2 years ago
Tpt
f4b99e6953
Updates version to 0.3.15-dev
2 years ago
Tpt
13976014e7
Bulk loader: reduces default system parameters
...
Uses by default targets of 1GB of RAM and 2 threads.
Data parsing is in most of the case slower than ingestion so no more than 2 threads are used anyway.
2 years ago
Tpt
5849c6fdbe
Releases v0.3.14
2 years ago
Tpt
3fb6beb0ba
Upgrades dependencies
2 years ago
Tpt
cdf76307d9
Upgrades RocksDB to 8.0.0
2 years ago
Tpt
a164b268c2
OxRDF: drops lasso dependency
2 years ago
Tpt
20dc1f26df
Uses new quick-xml APIs for XML results serialization
2 years ago
Tpt
bdb803dab5
JSON SPARQL results: allows the "head" key to be at the end of the document
...
Does not do streaming parsing in this case
2 years ago
Tpt
fbcbd60c0e
Python: adds Store.bulk_extend
2 years ago
Tpt
9d6b72e9c4
Sparql smith: Fixes PropertyListPath generation
2 years ago
Tpt
26f4e2dc98
Allows to have secondary instances in memory
2 years ago
Tpt
5f68cb3746
Cleans up RocksDB wrapper code and implements backup from read-only and secondary instances
2 years ago