Enum SchemaBinding 

pub enum SchemaBinding {
    Table,
    Column {
        column: String,
        requirement: ColumnRequirement,
    },
}

Structural dependencies a piece of knowledge requires from the database schema.

A fact depends only on what it actually uses:

• Table-level knowledge (TableDescription, TableAlias, TableGrain) depends only on the table existing.
• Column-scoped knowledge (ColumnDescription, ColumnRole, TableDefaultTime) depends on the specific named column existing and optionally satisfying a semantic type constraint (ColumnRequirement).

Variants

Table

Depends only on the table existing in the schema.

Column

Depends on a named column existing and satisfying requirement.

Fields

column: String

requirement: ColumnRequirement

Implementations

impl SchemaBinding

pub fn derive(slot: &KnowledgeSlot, payload: &ClaimPayload) -> Option<Self>

Derives the structural schema binding for a paired (KnowledgeSlot, ClaimPayload).

Table-level slots (TableDescription, TableAlias, TableGrain) yield SchemaBinding::Table. Column-level slots yield SchemaBinding::Column with appropriate semantic ColumnRequirement:

• TableDefaultTime and ColumnRole::Timestamp require ColumnRequirement::Time.
• ColumnRole::Measure requires ColumnRequirement::Numeric.
• ColumnDescription and other ColumnRole variants require ColumnRequirement::Exists.

Returns None if the slot and payload types disagree, if column names mismatch, or if the payload is not slot-bound (e.g. ClaimPayload::Relationship).

pub fn validate(&self, table: &Table) -> BindingValidity

Validates this binding against a live table definition.

Evaluates whether the referenced table and column dependencies are satisfied. Matching column names is case-insensitive to align with SQL catalog conventions across database dialects.

pub fn validate_in_tree( &self, tree: &SchemaTree, catalog: &str, schema: &str, table: &str, ) -> BindingValidity

Validates this binding against a table found inside a SchemaTree.

Looks up the table at (catalog, schema, table) using case-insensitive resolution via SchemaTree::find_table. If found, validates against that live table; if not found, returns BindingValidity::Invalid.

Trait Implementations

impl Clone for SchemaBinding

fn clone(&self) -> SchemaBinding

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SchemaBinding

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SchemaBinding

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SchemaBinding

impl Hash for SchemaBinding

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SchemaBinding

fn eq(&self, other: &SchemaBinding) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SchemaBinding

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SchemaBinding