Interval-union m-semiring with Datum carrier, parameterised by a multirange type OID. More...

#include "IntervalUnion.h"

Inheritance diagram for semiring::IntervalUnion:

Collaboration diagram for semiring::IntervalUnion:

Public Member Functions
	IntervalUnion (Oid multirange_oid)
virtual value_type	zero () const override
	Return the additive identity \(\mathbb{0}\).
virtual value_type	one () const override
	Return the multiplicative identity \(\mathbb{1}\).
virtual value_type	plus (const std::vector< value_type > &v) const override
	Apply the additive operation to a list of values.
virtual value_type	times (const std::vector< value_type > &v) const override
	Apply the multiplicative operation to a list of values.
virtual value_type	monus (value_type x, value_type y) const override
	Apply the monus (m-semiring difference) operation.
virtual value_type	delta (value_type x) const override
	Apply the \(\delta\) operator.
virtual bool	absorptive () const override
	Return `true` if this semiring is absorptive ( \(\mathbb{1} \oplus a = \mathbb{1}\) for all \(a\)).
virtual bool	compatibleWithBooleanRewrite () const override
	A semiring homomorphism `BoolFunc(Y)` →+* IntervalUnion exists (map each variable to a fixed nonempty interval), so the safe-query Boolean rewrite preserves evaluation results.
Datum	parse_leaf (const char *str) const
	Parse a multirange text literal to a Datum.
Public Member Functions inherited from semiring::Semiring< Datum >
virtual value_type	cmp (value_type s1, ComparisonOperator op, value_type s2) const
	Evaluate a comparison gate.
virtual value_type	semimod (value_type x, value_type s) const
	Apply a semimodule scalar multiplication.
virtual value_type	agg (AggregationOperator op, const std::vector< value_type > &s)
	Evaluate an aggregation gate.
virtual value_type	value (const std::string &s) const
	Interpret a literal string as a semiring value.
virtual	~Semiring ()=default

Private Attributes
Oid	in_func
Oid	typioparam
Datum	cached_zero
Datum	cached_one

Additional Inherited Members
Public Types inherited from semiring::Semiring< Datum >
typedef Datum	value_type
	The carrier type of this semiring.

Detailed Description

Interval-union m-semiring with Datum carrier, parameterised by a multirange type OID.

Each gate evaluates to a multirange Datum allocated in the current memory context. The class caches function OIDs and the zero/one Datum values in its constructor so that operations dispatch cheaply during circuit traversal.

Definition at line 69 of file IntervalUnion.h.

Constructor & Destructor Documentation

◆ IntervalUnion()

semiring::IntervalUnion::IntervalUnion ( Oid multirange_oid )

inlineexplicit

Definition at line 77 of file IntervalUnion.h.

Member Function Documentation

◆ absorptive()

virtual bool semiring::IntervalUnion::absorptive ( ) const

inlineoverridevirtual

Return true if this semiring is absorptive ( \(\mathbb{1} \oplus a = \mathbb{1}\) for all \(a\)).

When true, the circuit evaluator and HAVING-semantics machinery may exploit the resulting idempotency ( \(a \oplus a = a\), implied by absorptivity) to deduplicate children of plus gates and to short-circuit over the multiplicative identity.

Returns: false by default; override to return true.

Reimplemented from semiring::Semiring< Datum >.

Definition at line 111 of file IntervalUnion.h.

◆ compatibleWithBooleanRewrite()

virtual bool semiring::IntervalUnion::compatibleWithBooleanRewrite ( ) const

inlineoverridevirtual

A semiring homomorphism BoolFunc(Y) →+* IntervalUnion exists (map each variable to a fixed nonempty interval), so the safe-query Boolean rewrite preserves evaluation results.

Lean: Provenance.Semirings.IntervalUnion.homomorphism_from_BoolFunc (provenance-lean/Provenance/Semirings/IntervalUnion.lean).

Reimplemented from semiring::Semiring< Datum >.

Definition at line 122 of file IntervalUnion.h.

◆ delta()

virtual value_type semiring::IntervalUnion::delta ( value_type x ) const

inlineoverridevirtual

Apply the \(\delta\) operator.

Parameters

x	Input value.

Returns: \(\delta(x)\).

Implements semiring::Semiring< Datum >.

Definition at line 107 of file IntervalUnion.h.

◆ monus()

virtual value_type semiring::IntervalUnion::monus	(	value_type	x,
		value_type	y ) const

inlineoverridevirtual

Apply the monus (m-semiring difference) operation.

Parameters

x	Minuend.
y	Subtrahend.

Returns: \(x \ominus y\).

Implements semiring::Semiring< Datum >.

Definition at line 103 of file IntervalUnion.h.

◆ one()

virtual value_type semiring::IntervalUnion::one ( ) const

inlineoverridevirtual

Return the multiplicative identity \(\mathbb{1}\).

Returns: The one element of the semiring.

Implements semiring::Semiring< Datum >.

Definition at line 86 of file IntervalUnion.h.

Here is the caller graph for this function:

◆ parse_leaf()

Datum semiring::IntervalUnion::parse_leaf ( const char * str ) const

inline

Parse a multirange text literal to a Datum.

Used by pec_multirange() to build the input mapping; exposed here so the parser can share the cached in_func / typioparam.

Definition at line 132 of file IntervalUnion.h.

◆ plus()

virtual value_type semiring::IntervalUnion::plus ( const std::vector< value_type > & v ) const

inlineoverridevirtual

Apply the additive operation to a list of values.

Parameters

v	Ordered list of operands (empty list should return `zero()`).

Returns: \(v_0 \oplus v_1 \oplus \cdots\).

Implements semiring::Semiring< Datum >.

Definition at line 89 of file IntervalUnion.h.

Here is the call graph for this function:

◆ times()

virtual value_type semiring::IntervalUnion::times ( const std::vector< value_type > & v ) const

inlineoverridevirtual

Apply the multiplicative operation to a list of values.

Parameters

v	Ordered list of operands (empty list should return `one()`).

Returns: \(v_0 \otimes v_1 \otimes \cdots\).

Implements semiring::Semiring< Datum >.

Definition at line 96 of file IntervalUnion.h.

Here is the call graph for this function:

◆ zero()

virtual value_type semiring::IntervalUnion::zero ( ) const

inlineoverridevirtual

Return the additive identity \(\mathbb{0}\).

Returns: The zero element of the semiring.

Implements semiring::Semiring< Datum >.

Definition at line 83 of file IntervalUnion.h.

Here is the caller graph for this function:

Member Data Documentation

◆ cached_one

Datum semiring::IntervalUnion::cached_one

private

Definition at line 74 of file IntervalUnion.h.

◆ cached_zero

Datum semiring::IntervalUnion::cached_zero

private

Definition at line 73 of file IntervalUnion.h.

◆ in_func

Oid semiring::IntervalUnion::in_func

private

Definition at line 71 of file IntervalUnion.h.

◆ typioparam

Oid semiring::IntervalUnion::typioparam

private

Definition at line 72 of file IntervalUnion.h.

The documentation for this class was generated from the following file:

/home/pierre/git/software/provsql/src/semiring/IntervalUnion.h

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ IntervalUnion()

Member Function Documentation

◆ absorptive()

◆ compatibleWithBooleanRewrite()

◆ delta()

◆ monus()

◆ one()

◆ parse_leaf()

◆ plus()

◆ times()

◆ zero()

Member Data Documentation

◆ cached_one

◆ cached_zero

◆ in_func

◆ typioparam