AshR2RML.SPARQL.Differential (AshR2RML v26.8.22)

Copy Markdown View Source

Compares multiple observed SPARQL execution topologies without privileging one.

A differential receipt is evidence over observations of the same admitted lexical query. It is deliberately not used to claim equivalence between different SPARQL query strings, even when a human believes them equivalent.

Observation order is irrelevant; fewer than two strategies, duplicate strategies, and mixed query identities fail closed.

Summary

Functions

compare(subject, observations, metadata \\ %{})
require_strategies(receipt, required)

Require a specific observation topology before promoting a differential receipt.

Functions

compare(subject, observations, metadata \\ %{})

@spec compare(term(), [AshR2RML.SPARQL.Observation.t()], map()) ::
  {:ok, AshR2RML.SPARQL.DifferentialReceipt.t()}
  | {:error, AshR2RML.Refusal.t()}

require_strategies(receipt, required)

@spec require_strategies(AshR2RML.SPARQL.DifferentialReceipt.t(), [
  AshR2RML.SPARQL.Plan.strategy()
]) ::
  :ok | {:error, AshR2RML.Refusal.t()}

Require a specific observation topology before promoting a differential receipt.