Compiled semirings

Definitions of compiled semirings. More...

Functions
VARCHAR	provsql.sr_formula (ANYELEMENT token, REGCLASS token2value)
	Evaluate provenance as a symbolic formula (e.g., "a ⊗ b ⊕ c")
INT	provsql.sr_counting (ANYELEMENT token, REGCLASS token2value)
	Evaluate provenance over the counting semiring (ℕ)
VARCHAR	provsql.sr_why (ANYELEMENT token, REGCLASS token2value)
	Evaluate provenance as why-provenance (set of witness sets)
VARCHAR	provsql.sr_boolexpr (ANYELEMENT token)
	Evaluate provenance as a Boolean expression.
BOOLEAN	provsql.sr_boolean (ANYELEMENT token, REGCLASS token2value)
	Evaluate provenance over the Boolean semiring (true/false)

Detailed Description

Definitions of compiled semirings.

Function Documentation

sr_boolean()

BOOLEAN provsql.sr_boolean	(	ANYELEMENT	token,
		REGCLASS	token2value
	)

Evaluate provenance over the Boolean semiring (true/false)

Source code

provsql.sql line 1512

sr_boolexpr()

VARCHAR provsql.sr_boolexpr

(

ANYELEMENT

token

)

Evaluate provenance as a Boolean expression.

Source code

provsql.sql line 1498

sr_counting()

INT provsql.sr_counting	(	ANYELEMENT	token,
		REGCLASS	token2value
	)

Evaluate provenance over the counting semiring (ℕ)

Source code

provsql.sql line 1470

sr_formula()

VARCHAR provsql.sr_formula	(	ANYELEMENT	token,
		REGCLASS	token2value
	)

Evaluate provenance as a symbolic formula (e.g., "a ⊗ b ⊕ c")

Source code

provsql.sql line 1456

sr_why()

VARCHAR provsql.sr_why	(	ANYELEMENT	token,
		REGCLASS	token2value
	)

Evaluate provenance as why-provenance (set of witness sets)

Source code

provsql.sql line 1484