One row of an atom's relation, as handed in by the SQL layer. More...

#include "JointEncoding.h"

Public Attributes
unsigned	relation_id = 0
	Dense id of the relation symbol.
std::vector< unsigned long >	elements
	Dense ids of the row's domain elements.
std::string	token
	Provenance gate (UUID); empty marks a certain (untracked) fact.
double	prob = 1.0
	Tuple probability (for an independent `gate_input` token).

Detailed Description

One row of an atom's relation, as handed in by the SQL layer.

Mirrors the columnar convention of reachability_evaluate: the SQL wrapper collects the post-selection rows of each relation, maps arbitrary SQL values to dense element ids with a dictionary shared across relations (so join-compatible values get the same id), and passes parallel arrays.

Definition at line 64 of file JointEncoding.h.

Member Data Documentation

◆ elements

std::vector<unsigned long> FactRow::elements

Dense ids of the row's domain elements.

Definition at line 66 of file JointEncoding.h.

◆ prob

double FactRow::prob = 1.0

Tuple probability (for an independent gate_input token).

Definition at line 68 of file JointEncoding.h.

◆ relation_id

unsigned FactRow::relation_id = 0

Dense id of the relation symbol.

Definition at line 65 of file JointEncoding.h.

◆ token

std::string FactRow::token

Provenance gate (UUID); empty marks a certain (untracked) fact.

Definition at line 67 of file JointEncoding.h.

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

/home/senellar/git/software/provsql/src/JointEncoding.h