asami.query — org.clojars.quoll/asami 0.3.1

Implements a full query engine based on fully indexed data.

*plan-options* clj/s

add-to-graph clj/s

(add-to-graph graph data)

Inputs: [graph data :- Results]

binding-join clj/s

(binding-join graph part [expr bnd-var])

Inputs: [graph part :- Results [expr bnd-var] :- EvalPattern]

Uses row bindings as arguments for an expression that uses the names in that binding. Binds a new var to the result of the expression and adds it to the complete results.

conforms? clj/s

(conforms? t d)

create-binding clj/s

(create-binding nm values)

Inputs: [nm :- InSpec values] Returns: Bindings

Creates a bindings between a name and a set of values. If the name is singular, then that name is bound to the values. If the name is a seq, then each name in the seq is bound to the corresponding offset in each value.

create-bindings clj/s

(create-bindings in values)

Inputs: [in :- [InSpec] values :- (s/cond-pre (s/protocol Storage) s/Any)] Returns: [(s/one (s/maybe Bindings) "The bindings for other params") (s/one (s/maybe StorageType) "The default storage")]

Converts user provided data for a query into bindings

delete-from-graph clj/s

(delete-from-graph graph data)

Inputs: [graph data :- Results]

disjunction clj/s

(disjunction graph part [_ & patterns])

Inputs: [graph part :- Results [_ & patterns]]

NOTE: This is a placeholder implementation. There is no optimization.

empty-bindings clj/s

filter-join clj/s

(filter-join graph part [[op & args :as fltr]])

Inputs: [graph part :- Results [[op & args :as fltr]] :- FilterPattern]

Uses row bindings in a partial result as arguments to a function whose parameters are defined by those names. Those rows whose bindings return true/truthy are kept and the remainder are removed.

find-vars clj/s

(find-vars f)

Inputs: [f]

InSpec clj/s

join-patterns clj/s≠

clj

(join-patterns graph patterns bindings & options)

cljs

(join-patterns G__6493 G__6494 G__6495 & rest6496)

Inputs: [graph patterns :- [Pattern] bindings :- (s/maybe Bindings) & options] Returns: Results

Joins the resolutions for a series of patterns into a single result.

left-join clj/s

(left-join pattern results graph)

Joins a partial result (on the left) to a pattern (on the right). The pattern type will determine dispatch.

minus clj/s

(minus graph part [_ & [fpattern :as patterns]])

Inputs: [graph part :- Results [_ & [fpattern :as patterns]]]

Removes matches.

modify-pattern clj/s

(modify-pattern existing mapping pattern)

Inputs: [existing :- [Value] mapping :- #:s{Num s/Num} pattern :- EPVPattern] Returns: [s/Any]

Creates a new EPVPattern from an existing one, based on existing bindings. Uses the mapping to copy from columns in 'existing' to overwrite variables in 'pattern'. The variable locations have already been found and are in the 'mapping' argument

newl clj/s≠

clj

(newl s & remaining)

cljs

(newl G__6532 & rest6533)

Inputs: [s :- (s/maybe s/Str) & remaining] Returns: s/Str

op-error clj/s

(op-error pattern)

operators clj/s

outer-product clj/s

(outer-product leftb rightb)

Inputs: [leftb :- Bindings rightb :- Bindings] Returns: Bindings

Creates an outer product between 2 sets of bindings

pattern-error clj/s

(pattern-error pattern)

pattern-left-join clj/s

(pattern-left-join graph part pattern)

Inputs: [graph part :- Results pattern :- EPVPattern] Returns: Results

Takes a partial result, and does an inner join against the resolution of a pattern. Iterates over the partial result, using the bindings to update the pattern to search the index. Each row in the partial result is then repeated to match the rows returned from the index lookup. If no variables match, then the result will be an outer product of the partial result, and the rows returned from an index lookup of the unmodified pattern. The final result has metadata with the columns from the partial result, and all new vars from the pattern.

prebound-left-join clj/s

(prebound-left-join part bindings)

Inputs: [part :- Results bindings :- Results] Returns: Results

Takes a bindings (Results) and joins on the current results. This is similar to the pattern-left-join but instead of taking a pattern to be applied to an indexed graph, it takes unindexed data that is already bound. The join is done by indexing the bindings and using the same algorithm that joins rows in pattern-left-join

query-keys clj/s

query-map clj/s

(query-map query)

Inputs: [query]

query-validator clj/s

(query-validator {:keys [find in with where] :as query})

Inputs: [{:keys [find in with where], :as query} :- #:s{Keyword [s/Any]}]

select-planner clj/s

(select-planner options)

Inputs: [options]

Selects a query planner function, based on user-selected options

symb? clj/s

(symb? s)

Inputs: [s]

Similar to symbol? but excludes the special ... form

vconj clj/s

(vconj c v)

Used to update a value to be a vector with the new element conj'ed. If the value starts as nil, then create a new vector to hold the element.

without clj/s

(without e s)

Inputs: [e :- s/Any s :- [s/Any]] Returns: [s/Any]

Returns a sequence minus a specific element