Module com.darkcollective.relix.processor

Package com.darkcollective.relix.processor.provenance.internal

package com.darkcollective.relix.processor.provenance.internal

The engine-side machinery behind com.darkcollective.relix.processor.provenance: not exported by the published artifact. What follows describes the package as a whole, as it stood before the split. The opt-in annotated-relation (K-relation) model that carries provenance annotations through execution.

This package bridges the engine's Row runtime tuples to the Semiring algebra: an Annotated pairs a row with a semiring element, and an AnnotatedRelation is the canonical K-relation — distinct tuples mapped to the ⊕-combination of their derivations, zero-annotated tuples absent.

The model is opt-in: it is constructed only when a provenance mode is active, so the default Stream<Row> evaluation path is untouched and pays nothing. The annotation is always a side-channel, never an ordinary data column, keeping the relational algebra closed. This package is the carrier model and its lift/normalise/forget operations; ProvenanceEvaluator threads the annotations through the positive operators (σ/π/×/⋈/∪).

See Also:

• T. J. Green, G. Karvounarakis & V. Tannen, Provenance semirings, PODS 2007

Related Packages

Package	Description
com.darkcollective.relix.processor.provenance	A relation annotated over a semiring, as Relation.provenance returns it.

Class	Description
BaseAnnotator<K>	Assigns the provenance annotation of a base-tuple occurrence — the K value a ProvenanceEvaluator lifts each leaf row to before the positive operators thread ⊕/⊗ above it.
ProvenanceEvaluator	Evaluates a logical RelNode tree as a K-relation, threading a chosen Semiring through the positive-algebra operators This is the bridge from the engine's ordinary Stream<Row> evaluation to the annotated model.