MeiliSearch/src/rank/query_builder.rs

210 lines
6.9 KiB
Rust
Raw Normal View History

use std::{cmp, mem, vec, str, char};
use std::ops::{Deref, Range};
use std::error::Error;
use std::hash::Hash;
use std::rc::Rc;
2018-10-10 16:57:21 +02:00
use group_by::GroupByMut;
use hashbrown::HashMap;
use fst::Streamer;
use rocksdb::DB;
2018-10-10 16:57:21 +02:00
use crate::automaton::{self, DfaExt, AutomatonExt};
use crate::rank::distinct_map::{DistinctMap, BufferedDistinctMap};
2018-12-10 20:14:16 +01:00
use crate::rank::criterion::Criteria;
use crate::database::DatabaseView;
use crate::{Match, DocumentId};
use crate::rank::Document;
2018-10-10 16:57:21 +02:00
fn split_whitespace_automatons(query: &str) -> Vec<DfaExt> {
let has_end_whitespace = query.chars().last().map_or(false, char::is_whitespace);
let mut automatons = Vec::new();
let mut words = query.split_whitespace().map(str::to_lowercase).peekable();
while let Some(word) = words.next() {
let has_following_word = words.peek().is_some();
let lev = if has_following_word || has_end_whitespace {
automaton::build_dfa(&word)
} else {
automaton::build_prefix_dfa(&word)
};
automatons.push(lev);
}
automatons
}
2018-12-10 20:14:16 +01:00
pub struct QueryBuilder<'a, D>
where D: Deref<Target=DB>
{
view: &'a DatabaseView<D>,
2018-12-10 20:14:16 +01:00
criteria: Criteria<D>,
2018-10-10 16:57:21 +02:00
}
2018-12-10 20:14:16 +01:00
impl<'a, D> QueryBuilder<'a, D>
where D: Deref<Target=DB>
{
pub fn new(view: &'a DatabaseView<D>) -> Result<Self, Box<Error>> {
2018-12-10 20:14:16 +01:00
QueryBuilder::with_criteria(view, Criteria::default())
}
}
2018-10-10 16:57:21 +02:00
2018-12-10 20:14:16 +01:00
impl<'a, D> QueryBuilder<'a, D>
where D: Deref<Target=DB>
{
2018-12-10 20:14:16 +01:00
pub fn with_criteria(view: &'a DatabaseView<D>, criteria: Criteria<D>) -> Result<Self, Box<Error>> {
Ok(QueryBuilder { view, criteria })
}
2018-12-10 20:14:16 +01:00
pub fn criteria(&mut self, criteria: Criteria<D>) -> &mut Self {
self.criteria = criteria;
self
}
2018-12-10 20:14:16 +01:00
pub fn with_distinct<F>(self, function: F, size: usize) -> DistinctQueryBuilder<'a, D, F> {
DistinctQueryBuilder {
inner: self,
function: function,
size: size
2018-10-11 14:04:41 +02:00
}
2018-10-10 16:57:21 +02:00
}
fn query_all(&self, query: &str) -> Vec<Document> {
let automatons = split_whitespace_automatons(query);
let mut stream = {
let mut op_builder = fst::map::OpBuilder::new();
for automaton in &automatons {
let stream = self.view.blob().as_map().search(automaton);
op_builder.push(stream);
}
op_builder.union()
};
let mut matches = HashMap::new();
2018-10-11 14:04:41 +02:00
while let Some((input, indexed_values)) = stream.next() {
2018-10-11 14:04:41 +02:00
for iv in indexed_values {
let automaton = &automatons[iv.index];
let distance = automaton.eval(input).to_u8();
let is_exact = distance == 0 && input.len() == automaton.query_len();
let doc_indexes = self.view.blob().as_indexes();
2018-12-01 18:37:21 +01:00
let doc_indexes = &doc_indexes[iv.value as usize];
2018-10-11 14:04:41 +02:00
for doc_index in doc_indexes {
2018-10-11 14:04:41 +02:00
let match_ = Match {
query_index: iv.index as u32,
distance: distance,
attribute: doc_index.attribute,
attribute_index: doc_index.attribute_index,
2018-10-11 14:04:41 +02:00
is_exact: is_exact,
};
matches.entry(doc_index.document_id).or_insert_with(Vec::new).push(match_);
2018-10-11 14:04:41 +02:00
}
2018-10-10 16:57:21 +02:00
}
}
matches.into_iter().map(|(id, matches)| Document::from_matches(id, matches)).collect()
}
}
2018-12-10 20:14:16 +01:00
impl<'a, D> QueryBuilder<'a, D>
where D: Deref<Target=DB>,
{
pub fn query(&self, query: &str, range: Range<usize>) -> Vec<Document> {
let mut documents = self.query_all(query);
let mut groups = vec![documents.as_mut_slice()];
let view = &self.view;
'criteria: for criterion in self.criteria.as_ref() {
let tmp_groups = mem::replace(&mut groups, Vec::new());
let mut documents_seen = 0;
for group in tmp_groups {
// if this group does not overlap with the requested range,
// push it without sorting and splitting it
if documents_seen + group.len() < range.start {
documents_seen += group.len();
groups.push(group);
continue;
}
group.sort_unstable_by(|a, b| criterion.evaluate(a, b, view));
for group in GroupByMut::new(group, |a, b| criterion.eq(a, b, view)) {
documents_seen += group.len();
groups.push(group);
// we have sort enough documents if the last document sorted is after
// the end of the requested range, we can continue to the next criterion
if documents_seen >= range.end { continue 'criteria }
}
}
}
// `drain` removes the documents efficiently using `ptr::copy`
// TODO it could be more efficient to have a custom iterator
let offset = cmp::min(documents.len(), range.start);
documents.drain(0..offset);
documents.truncate(range.len());
2018-12-07 11:53:17 +01:00
documents
}
}
2018-10-11 14:04:41 +02:00
2018-12-10 20:14:16 +01:00
pub struct DistinctQueryBuilder<'a, D, F>
where D: Deref<Target=DB>
{
2018-12-10 20:14:16 +01:00
inner: QueryBuilder<'a, D>,
function: F,
size: usize,
}
2018-12-10 20:14:16 +01:00
impl<'a, D, F, K> DistinctQueryBuilder<'a, D, F>
where D: Deref<Target=DB>,
F: Fn(DocumentId, &DatabaseView<D>) -> Option<K>,
K: Hash + Eq,
{
pub fn query(&self, query: &str, limit: usize) -> Vec<Document> {
let mut documents = self.inner.query_all(query);
let mut groups = vec![documents.as_mut_slice()];
let view = &self.inner.view;
2018-12-10 20:14:16 +01:00
for criterion in self.inner.criteria.as_ref() {
let tmp_groups = mem::replace(&mut groups, Vec::new());
let mut seen = DistinctMap::new(self.size);
'group: for group in tmp_groups {
group.sort_unstable_by(|a, b| criterion.evaluate(a, b, view));
for group in GroupByMut::new(group, |a, b| criterion.eq(a, b, view)) {
for document in group.iter() {
match (self.function)(document.id, view) {
Some(key) => seen.register(key),
None => seen.register_without_key(),
};
}
groups.push(group);
if seen.len() >= limit { break 'group }
}
}
}
let mut out_documents = Vec::with_capacity(limit);
let mut seen = DistinctMap::new(self.size);
for document in documents {
let accepted = match (self.function)(document.id, view) {
Some(key) => seen.register(key),
None => seen.register_without_key(),
};
if accepted {
out_documents.push(document);
if out_documents.len() == limit { break }
}
}
out_documents
2018-10-11 14:04:41 +02:00
}
2018-10-10 16:57:21 +02:00
}