Join Indexing
Reference: This page is a source-based technical synthesis of the LaTeX chapter cited below. For exact syntax, availability or ABI signatures, verify the versioned source, manifest and executable tests.
Scope and source boundary
A functional join composes relation roles under constraints; an acceleration structure must not alter the logical join result.
Logical inference transforms and checks semantic structures under explicit relation and role constraints. The neuro-symbolic source discusses homomorphisms, implications, transitivity, resolution and provenance as separate mechanisms. A predicted or numerically similar candidate must not be presented as a proven graph fact.
Engineering rules
- Bind candidate roles and identities before accepting a match.
- Differentiate a derived conclusion from an observed input or unverified proposal.
- Retain proof support and derivation provenance when asserting a semantic fact.
- Bound search and make fallbacks explicit when inference is too expensive.
Chapter outline (original LaTeX headings)
- Effect We Want
- Functions Are Constrained Relations
- Operational Join
- Homomorphism as Structural Transport
- Implication as Logical Propagation
- Unification as Combination
LaTeX provenance
Primary chapter: logicells-neuro-symbolic-architecture-guide/chapters/constraint-propagation-functional-joins.tex.