|
|
@ -2,6 +2,7 @@ use crate::model::BlankNode; |
|
|
|
use crate::model::Triple; |
|
|
|
use crate::model::Triple; |
|
|
|
use crate::sparql::model::*; |
|
|
|
use crate::sparql::model::*; |
|
|
|
use crate::sparql::plan::*; |
|
|
|
use crate::sparql::plan::*; |
|
|
|
|
|
|
|
use crate::store::numeric_encoder::MemoryStringStore; |
|
|
|
use crate::store::numeric_encoder::*; |
|
|
|
use crate::store::numeric_encoder::*; |
|
|
|
use crate::store::StoreConnection; |
|
|
|
use crate::store::StoreConnection; |
|
|
|
use crate::Result; |
|
|
|
use crate::Result; |
|
|
@ -18,8 +19,10 @@ use std::collections::BTreeMap; |
|
|
|
use std::collections::HashSet; |
|
|
|
use std::collections::HashSet; |
|
|
|
use std::iter::once; |
|
|
|
use std::iter::once; |
|
|
|
use std::iter::Iterator; |
|
|
|
use std::iter::Iterator; |
|
|
|
|
|
|
|
use std::ops::Deref; |
|
|
|
use std::sync::Arc; |
|
|
|
use std::sync::Arc; |
|
|
|
use std::sync::Mutex; |
|
|
|
use std::sync::Mutex; |
|
|
|
|
|
|
|
use std::u64; |
|
|
|
use uuid::Uuid; |
|
|
|
use uuid::Uuid; |
|
|
|
|
|
|
|
|
|
|
|
const REGEX_SIZE_LIMIT: usize = 1_000_000; |
|
|
|
const REGEX_SIZE_LIMIT: usize = 1_000_000; |
|
|
@ -28,14 +31,14 @@ type EncodedTuplesIterator<'a> = Box<dyn Iterator<Item = Result<EncodedTuple>> + |
|
|
|
|
|
|
|
|
|
|
|
#[derive(Clone)] |
|
|
|
#[derive(Clone)] |
|
|
|
pub struct SimpleEvaluator<S: StoreConnection> { |
|
|
|
pub struct SimpleEvaluator<S: StoreConnection> { |
|
|
|
store: S, |
|
|
|
dataset: DatasetView<S>, |
|
|
|
bnodes_map: Arc<Mutex<BTreeMap<u64, BlankNode>>>, |
|
|
|
bnodes_map: Arc<Mutex<BTreeMap<u64, BlankNode>>>, |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
pub fn new(store: S) -> Self { |
|
|
|
pub fn new(dataset: S) -> Self { |
|
|
|
Self { |
|
|
|
Self { |
|
|
|
store, |
|
|
|
dataset: DatasetView::new(dataset), |
|
|
|
bnodes_map: Arc::new(Mutex::new(BTreeMap::default())), |
|
|
|
bnodes_map: Arc::new(Mutex::new(BTreeMap::default())), |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
@ -74,7 +77,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
'a: 'b, |
|
|
|
'a: 'b, |
|
|
|
{ |
|
|
|
{ |
|
|
|
Ok(QueryResult::Graph(Box::new(ConstructIterator { |
|
|
|
Ok(QueryResult::Graph(Box::new(ConstructIterator { |
|
|
|
store: self.store.clone(), |
|
|
|
dataset: self.dataset.clone(), |
|
|
|
iter: self.eval_plan(plan, vec![]), |
|
|
|
iter: self.eval_plan(plan, vec![]), |
|
|
|
template: construct, |
|
|
|
template: construct, |
|
|
|
buffered_results: Vec::default(), |
|
|
|
buffered_results: Vec::default(), |
|
|
@ -87,7 +90,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
'a: 'b, |
|
|
|
'a: 'b, |
|
|
|
{ |
|
|
|
{ |
|
|
|
Ok(QueryResult::Graph(Box::new(DescribeIterator { |
|
|
|
Ok(QueryResult::Graph(Box::new(DescribeIterator { |
|
|
|
store: self.store.clone(), |
|
|
|
dataset: self.dataset.clone(), |
|
|
|
iter: self.eval_plan(plan, vec![]), |
|
|
|
iter: self.eval_plan(plan, vec![]), |
|
|
|
quads: Vec::default(), |
|
|
|
quads: Vec::default(), |
|
|
|
}))) |
|
|
|
}))) |
|
|
@ -110,7 +113,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
self.eval_plan(&*child, from) |
|
|
|
self.eval_plan(&*child, from) |
|
|
|
.flat_map(move |tuple| match tuple { |
|
|
|
.flat_map(move |tuple| match tuple { |
|
|
|
Ok(tuple) => { |
|
|
|
Ok(tuple) => { |
|
|
|
let mut iter = self.store.quads_for_pattern( |
|
|
|
let mut iter = self.dataset.quads_for_pattern( |
|
|
|
get_pattern_value(&subject, &tuple), |
|
|
|
get_pattern_value(&subject, &tuple), |
|
|
|
get_pattern_value(&predicate, &tuple), |
|
|
|
get_pattern_value(&predicate, &tuple), |
|
|
|
get_pattern_value(&object, &tuple), |
|
|
|
get_pattern_value(&object, &tuple), |
|
|
@ -528,13 +531,13 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
}, |
|
|
|
}, |
|
|
|
PlanExpression::UUID() => Some(EncodedTerm::NamedNode { |
|
|
|
PlanExpression::UUID() => Some(EncodedTerm::NamedNode { |
|
|
|
iri_id: self |
|
|
|
iri_id: self |
|
|
|
.store |
|
|
|
.dataset |
|
|
|
.insert_str(&Uuid::new_v4().to_urn().to_string()) |
|
|
|
.insert_str(&Uuid::new_v4().to_urn().to_string()) |
|
|
|
.ok()?, |
|
|
|
.ok()?, |
|
|
|
}), |
|
|
|
}), |
|
|
|
PlanExpression::StrUUID() => Some(EncodedTerm::StringLiteral { |
|
|
|
PlanExpression::StrUUID() => Some(EncodedTerm::StringLiteral { |
|
|
|
value_id: self |
|
|
|
value_id: self |
|
|
|
.store |
|
|
|
.dataset |
|
|
|
.insert_str(&Uuid::new_v4().to_simple().to_string()) |
|
|
|
.insert_str(&Uuid::new_v4().to_simple().to_string()) |
|
|
|
.ok()?, |
|
|
|
.ok()?, |
|
|
|
}), |
|
|
|
}), |
|
|
@ -638,7 +641,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
PlanExpression::BooleanCast(e) => match self.eval_expression(e, tuple)? { |
|
|
|
PlanExpression::BooleanCast(e) => match self.eval_expression(e, tuple)? { |
|
|
|
EncodedTerm::BooleanLiteral(value) => Some(value.into()), |
|
|
|
EncodedTerm::BooleanLiteral(value) => Some(value.into()), |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
match &*self.store.get_str(value_id).ok()? { |
|
|
|
match &*self.dataset.get_str(value_id).ok()?? { |
|
|
|
"true" | "1" => Some(true.into()), |
|
|
|
"true" | "1" => Some(true.into()), |
|
|
|
"false" | "0" => Some(false.into()), |
|
|
|
"false" | "0" => Some(false.into()), |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
@ -655,7 +658,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
Some(if value { 1. as f64 } else { 0. }.into()) |
|
|
|
Some(if value { 1. as f64 } else { 0. }.into()) |
|
|
|
} |
|
|
|
} |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::DoubleLiteral( |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::DoubleLiteral( |
|
|
|
OrderedFloat(self.store.get_str(value_id).ok()?.parse().ok()?), |
|
|
|
OrderedFloat(self.dataset.get_str(value_id).ok()??.parse().ok()?), |
|
|
|
)), |
|
|
|
)), |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
|
}, |
|
|
|
}, |
|
|
@ -668,7 +671,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
Some(if value { 1. as f32 } else { 0. }.into()) |
|
|
|
Some(if value { 1. as f32 } else { 0. }.into()) |
|
|
|
} |
|
|
|
} |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::FloatLiteral( |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::FloatLiteral( |
|
|
|
OrderedFloat(self.store.get_str(value_id).ok()?.parse().ok()?), |
|
|
|
OrderedFloat(self.dataset.get_str(value_id).ok()??.parse().ok()?), |
|
|
|
)), |
|
|
|
)), |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
|
}, |
|
|
|
}, |
|
|
@ -679,7 +682,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
EncodedTerm::DecimalLiteral(value) => Some(value.to_i128()?.into()), |
|
|
|
EncodedTerm::DecimalLiteral(value) => Some(value.to_i128()?.into()), |
|
|
|
EncodedTerm::BooleanLiteral(value) => Some(if value { 1 } else { 0 }.into()), |
|
|
|
EncodedTerm::BooleanLiteral(value) => Some(if value { 1 } else { 0 }.into()), |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::IntegerLiteral( |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::IntegerLiteral( |
|
|
|
self.store.get_str(value_id).ok()?.parse().ok()?, |
|
|
|
self.dataset.get_str(value_id).ok()??.parse().ok()?, |
|
|
|
)), |
|
|
|
)), |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
|
}, |
|
|
|
}, |
|
|
@ -697,7 +700,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
.into(), |
|
|
|
.into(), |
|
|
|
), |
|
|
|
), |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::DecimalLiteral( |
|
|
|
EncodedTerm::StringLiteral { value_id } => Some(EncodedTerm::DecimalLiteral( |
|
|
|
self.store.get_str(value_id).ok()?.parse().ok()?, |
|
|
|
self.dataset.get_str(value_id).ok()??.parse().ok()?, |
|
|
|
)), |
|
|
|
)), |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
|
}, |
|
|
|
}, |
|
|
@ -706,7 +709,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
EncodedTerm::DateTime(value) => Some(value.date().naive_utc().into()), //TODO: use date with timezone
|
|
|
|
EncodedTerm::DateTime(value) => Some(value.date().naive_utc().into()), //TODO: use date with timezone
|
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.date().into()), |
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.date().into()), |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
let value = self.store.get_str(value_id).ok()?; |
|
|
|
let value = self.dataset.get_str(value_id).ok()??; |
|
|
|
Some(NaiveDate::parse_from_str(&value, "%Y-%m-%d").ok()?.into()) |
|
|
|
Some(NaiveDate::parse_from_str(&value, "%Y-%m-%d").ok()?.into()) |
|
|
|
} |
|
|
|
} |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
@ -716,7 +719,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
EncodedTerm::DateTime(value) => Some(value.time().into()), |
|
|
|
EncodedTerm::DateTime(value) => Some(value.time().into()), |
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.time().into()), |
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.time().into()), |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
let value = self.store.get_str(value_id).ok()?; |
|
|
|
let value = self.dataset.get_str(value_id).ok()??; |
|
|
|
Some(NaiveTime::parse_from_str(&value, "%H:%M:%S").ok()?.into()) |
|
|
|
Some(NaiveTime::parse_from_str(&value, "%H:%M:%S").ok()?.into()) |
|
|
|
} |
|
|
|
} |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
@ -725,7 +728,7 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
EncodedTerm::DateTime(value) => Some(value.into()), |
|
|
|
EncodedTerm::DateTime(value) => Some(value.into()), |
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.into()), |
|
|
|
EncodedTerm::NaiveDateTime(value) => Some(value.into()), |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
EncodedTerm::StringLiteral { value_id } => { |
|
|
|
let value = self.store.get_str(value_id).ok()?; |
|
|
|
let value = self.dataset.get_str(value_id).ok()??; |
|
|
|
Some(match DateTime::parse_from_rfc3339(&value) { |
|
|
|
Some(match DateTime::parse_from_rfc3339(&value) { |
|
|
|
Ok(value) => value.into(), |
|
|
|
Ok(value) => value.into(), |
|
|
|
Err(_) => NaiveDateTime::parse_from_str(&value, "%Y-%m-%dT%H:%M:%S") |
|
|
|
Err(_) => NaiveDateTime::parse_from_str(&value, "%Y-%m-%dT%H:%M:%S") |
|
|
@ -762,24 +765,27 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
| EncodedTerm::LangStringLiteral { value_id, .. } |
|
|
|
| EncodedTerm::LangStringLiteral { value_id, .. } |
|
|
|
| EncodedTerm::TypedLiteral { value_id, .. } => Some(value_id), |
|
|
|
| EncodedTerm::TypedLiteral { value_id, .. } => Some(value_id), |
|
|
|
EncodedTerm::BooleanLiteral(value) => self |
|
|
|
EncodedTerm::BooleanLiteral(value) => self |
|
|
|
.store |
|
|
|
.dataset |
|
|
|
.insert_str(if value { "true" } else { "false" }) |
|
|
|
.insert_str(if value { "true" } else { "false" }) |
|
|
|
.ok(), |
|
|
|
.ok(), |
|
|
|
EncodedTerm::FloatLiteral(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::FloatLiteral(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DoubleLiteral(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DoubleLiteral(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::IntegerLiteral(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::IntegerLiteral(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DecimalLiteral(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DecimalLiteral(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::Date(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::Date(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveDate(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveDate(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveTime(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveTime(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DateTime(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::DateTime(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveDateTime(value) => self.store.insert_str(&value.to_string()).ok(), |
|
|
|
EncodedTerm::NaiveDateTime(value) => self.dataset.insert_str(&value.to_string()).ok(), |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
fn to_simple_string(&self, term: EncodedTerm) -> Option<S::StringType> { |
|
|
|
fn to_simple_string( |
|
|
|
|
|
|
|
&self, |
|
|
|
|
|
|
|
term: EncodedTerm, |
|
|
|
|
|
|
|
) -> Option<<DatasetView<S> as StringStore>::StringType> { |
|
|
|
if let EncodedTerm::StringLiteral { value_id } = term { |
|
|
|
if let EncodedTerm::StringLiteral { value_id } = term { |
|
|
|
Some(self.store.get_str(value_id).ok()?) |
|
|
|
self.dataset.get_str(value_id).ok()? |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
None |
|
|
|
None |
|
|
|
} |
|
|
|
} |
|
|
@ -793,11 +799,11 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
fn to_string(&self, term: EncodedTerm) -> Option<S::StringType> { |
|
|
|
fn to_string(&self, term: EncodedTerm) -> Option<<DatasetView<S> as StringStore>::StringType> { |
|
|
|
match term { |
|
|
|
match term { |
|
|
|
EncodedTerm::StringLiteral { value_id } |
|
|
|
EncodedTerm::StringLiteral { value_id } |
|
|
|
| EncodedTerm::LangStringLiteral { value_id, .. } => { |
|
|
|
| EncodedTerm::LangStringLiteral { value_id, .. } => { |
|
|
|
Some(self.store.get_str(value_id).ok()?) |
|
|
|
self.dataset.get_str(value_id).ok()? |
|
|
|
} |
|
|
|
} |
|
|
|
_ => None, |
|
|
|
_ => None, |
|
|
|
} |
|
|
|
} |
|
|
@ -873,11 +879,11 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
where |
|
|
|
where |
|
|
|
'a: 'b, |
|
|
|
'a: 'b, |
|
|
|
{ |
|
|
|
{ |
|
|
|
let store = self.store.clone(); |
|
|
|
let dataset = self.dataset.clone(); |
|
|
|
BindingsIterator::new( |
|
|
|
BindingsIterator::new( |
|
|
|
variables, |
|
|
|
variables, |
|
|
|
Box::new(iter.map(move |values| { |
|
|
|
Box::new(iter.map(move |values| { |
|
|
|
let encoder = store.encoder(); |
|
|
|
let encoder = dataset.encoder(); |
|
|
|
values? |
|
|
|
values? |
|
|
|
.into_iter() |
|
|
|
.into_iter() |
|
|
|
.map(|value| { |
|
|
|
.map(|value| { |
|
|
@ -1108,10 +1114,105 @@ impl<'a, S: StoreConnection + 'a> SimpleEvaluator<S> { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
fn compare_str_ids(&self, a: u64, b: u64) -> Option<Ordering> { |
|
|
|
fn compare_str_ids(&self, a: u64, b: u64) -> Option<Ordering> { |
|
|
|
if let (Ok(a), Ok(b)) = (self.store.get_str(a), self.store.get_str(b)) { |
|
|
|
Some( |
|
|
|
Some(a.cmp(&b)) |
|
|
|
self.dataset |
|
|
|
|
|
|
|
.get_str(a) |
|
|
|
|
|
|
|
.ok()?? |
|
|
|
|
|
|
|
.cmp(&self.dataset.get_str(b).ok()??), |
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#[derive(Clone)] |
|
|
|
|
|
|
|
struct DatasetView<S: StoreConnection> { |
|
|
|
|
|
|
|
store: S, |
|
|
|
|
|
|
|
extra: Arc<MemoryStringStore>, |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
impl<S: StoreConnection> DatasetView<S> { |
|
|
|
|
|
|
|
fn new(store: S) -> Self { |
|
|
|
|
|
|
|
Self { |
|
|
|
|
|
|
|
store, |
|
|
|
|
|
|
|
extra: Arc::new(MemoryStringStore::default()), |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn quads_for_pattern<'a>( |
|
|
|
|
|
|
|
&'a self, |
|
|
|
|
|
|
|
subject: Option<EncodedTerm>, |
|
|
|
|
|
|
|
predicate: Option<EncodedTerm>, |
|
|
|
|
|
|
|
object: Option<EncodedTerm>, |
|
|
|
|
|
|
|
graph_name: Option<EncodedTerm>, |
|
|
|
|
|
|
|
) -> Box<dyn Iterator<Item = Result<EncodedQuad>> + 'a> { |
|
|
|
|
|
|
|
self.store |
|
|
|
|
|
|
|
.quads_for_pattern(subject, predicate, object, graph_name) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn encoder(&self) -> Encoder<&Self> { |
|
|
|
|
|
|
|
Encoder::new(&self) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
impl<S: StoreConnection> StringStore for DatasetView<S> { |
|
|
|
|
|
|
|
type StringType = StringOrStoreString<S::StringType>; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn get_str(&self, id: u64) -> Result<Option<StringOrStoreString<S::StringType>>> { |
|
|
|
|
|
|
|
Ok(if let Some(value) = self.store.get_str(id)? { |
|
|
|
|
|
|
|
Some(StringOrStoreString::Store(value)) |
|
|
|
|
|
|
|
} else if let Some(value) = self.extra.get_str(u64::MAX - id)? { |
|
|
|
|
|
|
|
Some(StringOrStoreString::String(value)) |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
None |
|
|
|
None |
|
|
|
|
|
|
|
}) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn get_str_id(&self, value: &str) -> Result<Option<u64>> { |
|
|
|
|
|
|
|
Ok(if let Some(id) = self.store.get_str_id(value)? { |
|
|
|
|
|
|
|
Some(id) |
|
|
|
|
|
|
|
} else { |
|
|
|
|
|
|
|
self.extra.get_str_id(value)?.map(|id| u64::MAX - id) |
|
|
|
|
|
|
|
}) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn insert_str(&self, value: &str) -> Result<u64> { |
|
|
|
|
|
|
|
Ok(if let Some(id) = self.store.get_str_id(value)? { |
|
|
|
|
|
|
|
id |
|
|
|
|
|
|
|
} else { |
|
|
|
|
|
|
|
u64::MAX - self.extra.insert_str(value)? |
|
|
|
|
|
|
|
}) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pub enum StringOrStoreString<S: Deref<Target = str> + ToString + Into<String>> { |
|
|
|
|
|
|
|
String(String), |
|
|
|
|
|
|
|
Store(S), |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
impl<S: Deref<Target = str> + ToString + Into<String>> Deref for StringOrStoreString<S> { |
|
|
|
|
|
|
|
type Target = str; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn deref(&self) -> &str { |
|
|
|
|
|
|
|
match self { |
|
|
|
|
|
|
|
StringOrStoreString::String(s) => &*s, |
|
|
|
|
|
|
|
StringOrStoreString::Store(s) => &*s, |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
impl<S: Deref<Target = str> + ToString + Into<String>> ToString for StringOrStoreString<S> { |
|
|
|
|
|
|
|
fn to_string(&self) -> String { |
|
|
|
|
|
|
|
match self { |
|
|
|
|
|
|
|
StringOrStoreString::String(s) => s.to_string(), |
|
|
|
|
|
|
|
StringOrStoreString::Store(s) => s.to_string(), |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
impl<S: Deref<Target = str> + ToString + Into<String>> From<StringOrStoreString<S>> for String { |
|
|
|
|
|
|
|
fn from(string: StringOrStoreString<S>) -> Self { |
|
|
|
|
|
|
|
match string { |
|
|
|
|
|
|
|
StringOrStoreString::String(s) => s, |
|
|
|
|
|
|
|
StringOrStoreString::Store(s) => s.into(), |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
@ -1360,7 +1461,7 @@ impl<'a> Iterator for HashDeduplicateIterator<'a> { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
struct ConstructIterator<'a, S: StoreConnection> { |
|
|
|
struct ConstructIterator<'a, S: StoreConnection> { |
|
|
|
store: S, |
|
|
|
dataset: DatasetView<S>, |
|
|
|
iter: EncodedTuplesIterator<'a>, |
|
|
|
iter: EncodedTuplesIterator<'a>, |
|
|
|
template: &'a [TripleTemplate], |
|
|
|
template: &'a [TripleTemplate], |
|
|
|
buffered_results: Vec<Result<Triple>>, |
|
|
|
buffered_results: Vec<Result<Triple>>, |
|
|
@ -1379,7 +1480,7 @@ impl<'a, S: StoreConnection> Iterator for ConstructIterator<'a, S> { |
|
|
|
Ok(tuple) => tuple, |
|
|
|
Ok(tuple) => tuple, |
|
|
|
Err(error) => return Some(Err(error)), |
|
|
|
Err(error) => return Some(Err(error)), |
|
|
|
}; |
|
|
|
}; |
|
|
|
let encoder = self.store.encoder(); |
|
|
|
let encoder = self.dataset.encoder(); |
|
|
|
for template in self.template { |
|
|
|
for template in self.template { |
|
|
|
if let (Some(subject), Some(predicate), Some(object)) = ( |
|
|
|
if let (Some(subject), Some(predicate), Some(object)) = ( |
|
|
|
get_triple_template_value(&template.subject, &tuple, &mut self.bnodes), |
|
|
|
get_triple_template_value(&template.subject, &tuple, &mut self.bnodes), |
|
|
@ -1431,7 +1532,7 @@ fn decode_triple<S: StringStore>( |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
struct DescribeIterator<'a, S: StoreConnection + 'a> { |
|
|
|
struct DescribeIterator<'a, S: StoreConnection + 'a> { |
|
|
|
store: S, |
|
|
|
dataset: DatasetView<S>, |
|
|
|
iter: EncodedTuplesIterator<'a>, |
|
|
|
iter: EncodedTuplesIterator<'a>, |
|
|
|
quads: Vec<Result<EncodedQuad>>, |
|
|
|
quads: Vec<Result<EncodedQuad>>, |
|
|
|
} |
|
|
|
} |
|
|
@ -1443,7 +1544,7 @@ impl<'a, S: StoreConnection> Iterator for DescribeIterator<'a, S> { |
|
|
|
if let Some(quad) = self.quads.pop() { |
|
|
|
if let Some(quad) = self.quads.pop() { |
|
|
|
return Some(match quad { |
|
|
|
return Some(match quad { |
|
|
|
Ok(quad) => self |
|
|
|
Ok(quad) => self |
|
|
|
.store |
|
|
|
.dataset |
|
|
|
.encoder() |
|
|
|
.encoder() |
|
|
|
.decode_quad(&quad) |
|
|
|
.decode_quad(&quad) |
|
|
|
.map(|q| q.into_triple()), |
|
|
|
.map(|q| q.into_triple()), |
|
|
@ -1457,7 +1558,7 @@ impl<'a, S: StoreConnection> Iterator for DescribeIterator<'a, S> { |
|
|
|
for subject in tuple { |
|
|
|
for subject in tuple { |
|
|
|
if let Some(subject) = subject { |
|
|
|
if let Some(subject) = subject { |
|
|
|
self.quads = self |
|
|
|
self.quads = self |
|
|
|
.store |
|
|
|
.dataset |
|
|
|
.quads_for_pattern(Some(subject), None, None, None) |
|
|
|
.quads_for_pattern(Some(subject), None, None, None) |
|
|
|
.collect(); |
|
|
|
.collect(); |
|
|
|
} |
|
|
|
} |
|
|
|