Min-max / max-min m-semiring with Datum carrier over a PostgreSQL enum type. More...

#include "MinMax.h"

Inheritance diagram for semiring::MinMax:

Collaboration diagram for semiring::MinMax:

Public Member Functions
	MinMax (Oid enum_type_oid, bool reverse_)
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
	No semiring homomorphism `BoolFunc(Y)` →+* MinMax exists (the enum-min / enum-max structure cannot model the Boolean-functions semiring), so the safe-query Boolean rewrite is unsound under MinMax / MaxMin.
Datum	parse_leaf (const char *str) const
	Parse an enum 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 value_type	unmapped_input (const std::string &uuid) const
	Value of a variable leaf (`gate_input` / `gate_mulinput`) that the provenance mapping does not name.
virtual value_type	rv (const std::string &spec, const std::vector< value_type > &params) const
	Evaluate a continuous random-variable leaf (`gate_rv`).
virtual value_type	arith (ArithmeticOperator op, const std::vector< value_type > &children, const std::string &extra) const
	Evaluate an arithmetic gate over scalar children (`gate_arith`).
virtual value_type	mixture (value_type p, value_type x, value_type y) const
	Evaluate a Bernoulli mixture (`gate_mixture`, three wires).
virtual value_type	categorical (value_type key, const std::vector< double > &probs, const std::vector< std::string > &outcomes) const
	Evaluate a categorical mixture (`gate_mixture` over `gate_mulinput` outcomes).
virtual value_type	guarded_case (const std::vector< value_type > &children) const
	Evaluate a guarded selection (`gate_case`).
virtual value_type	observe (value_type child, const std::string &datum) const
	Evaluate a latent-variable observation (`gate_observe`).
virtual value_type	conditioned (const std::vector< value_type > &children) const
	Evaluate a conditioning marker (`gate_conditioned`).
virtual	~Semiring ()=default
virtual bool	idempotent () const
	Return `true` if this semiring is idempotent ( \(a \oplus a = a\) for all \(a\)).
virtual bool	mul_sub_left_distributive () const
	Return `true` if \(\otimes\) distributes over the monus on the left: \(a \otimes (b \ominus c) = (a \otimes b) \ominus (a \otimes c)\) for all \(a, b, c\).
virtual bool	certifying () const
	Whether this semiring builds certified exclusive enumerations (see the three hooks below).
virtual bool	independent_literal (const value_type &) const
	Whether `v` is an independent literal for certification purposes: a base Bernoulli variable (or a constant), so that distinct literals have disjoint supports and an AND over them is decomposable.
virtual value_type	certified_world_term (const std::vector< value_type > &, const std::vector< value_type > &) const
	Build one complete world term: the conjunction of the `present` literals and the negations of the `missing` literals, certified decomposable.
virtual value_type	certified_exclusive_plus (const std::vector< value_type > &) const
	Build the disjunction of pairwise-exclusive `disjuncts`, certified deterministic.

Static Private Member Functions
static int	enum_cmp_datum (Datum a, Datum b)

Private Attributes
Oid	enum_oid
bool	reverse
Datum	bottom_datum
Datum	top_datum
Oid	in_func
Oid	typioparam

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

Detailed Description

Min-max / max-min m-semiring with Datum carrier over a PostgreSQL enum type.

A single class covers both the MinMax (reverse = false, the security shape) and the MaxMin (reverse = true, the fuzzy / trust shape) instantiations: the two are related by order reversal on the same carrier. Bottom and top of the carrier enum are looked up once in the constructor and cached as bottom_datum / top_datum.

Definition at line 76 of file MinMax.h.

Constructor & Destructor Documentation

◆ MinMax()

semiring::MinMax::MinMax	(	Oid	enum_type_oid,
		bool	reverse_ )

inlineexplicit

Definition at line 90 of file MinMax.h.

Member Function Documentation

◆ absorptive()

virtual bool semiring::MinMax::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 165 of file MinMax.h.

◆ compatibleWithBooleanRewrite()

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

inlineoverridevirtual

No semiring homomorphism BoolFunc(Y) →+* MinMax exists (the enum-min / enum-max structure cannot model the Boolean-functions semiring), so the safe-query Boolean rewrite is unsound under MinMax / MaxMin.

Inherits the false default from Semiring; this override exists for documentation.

Lean: Provenance.Semirings.TVL.no_hom_from_BoolFunc (provenance-lean/Provenance/Semirings/MinMax.lean).

Reimplemented from semiring::Semiring< Datum >.

Definition at line 179 of file MinMax.h.

◆ delta()

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

inlineoverridevirtual

Apply the \(\delta\) operator.

Parameters

x	Input value.

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

Implements semiring::Semiring< Datum >.

Definition at line 161 of file MinMax.h.

◆ enum_cmp_datum()

int semiring::MinMax::enum_cmp_datum	(	Datum	a,
		Datum	b )

inlinestaticprivate

Definition at line 85 of file MinMax.h.

Here is the caller graph for this function:

◆ monus()

virtual value_type semiring::MinMax::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 151 of file MinMax.h.

Here is the call graph for this function:

◆ one()

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

inlineoverridevirtual

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

Returns: The one element of the semiring.

Implements semiring::Semiring< Datum >.

Definition at line 128 of file MinMax.h.

Here is the caller graph for this function:

◆ parse_leaf()

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

inline

Parse an enum text literal to a Datum.

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

Definition at line 189 of file MinMax.h.

◆ plus()

virtual value_type semiring::MinMax::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 131 of file MinMax.h.

Here is the call graph for this function:

◆ times()

virtual value_type semiring::MinMax::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 141 of file MinMax.h.

Here is the call graph for this function:

◆ zero()

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

inlineoverridevirtual

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

Returns: The zero element of the semiring.

Implements semiring::Semiring< Datum >.

Definition at line 125 of file MinMax.h.

Here is the caller graph for this function:

Member Data Documentation

◆ bottom_datum

Datum semiring::MinMax::bottom_datum

private

Definition at line 80 of file MinMax.h.

◆ enum_oid

Oid semiring::MinMax::enum_oid

private

Definition at line 78 of file MinMax.h.

◆ in_func

Oid semiring::MinMax::in_func

private

Definition at line 82 of file MinMax.h.

◆ reverse

bool semiring::MinMax::reverse

private

Definition at line 79 of file MinMax.h.

◆ top_datum

Datum semiring::MinMax::top_datum

private

Definition at line 81 of file MinMax.h.

◆ typioparam

Oid semiring::MinMax::typioparam

private

Definition at line 83 of file MinMax.h.

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

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

Public Member Functions

Static Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ MinMax()

Member Function Documentation

◆ absorptive()

◆ compatibleWithBooleanRewrite()

◆ delta()

◆ enum_cmp_datum()

◆ monus()

◆ one()

◆ parse_leaf()

◆ plus()

◆ times()

◆ zero()

Member Data Documentation

◆ bottom_datum

◆ enum_oid

◆ in_func

◆ reverse

◆ top_datum

◆ typioparam