Selectivity Theorem and Hierarchical Corollary

help edit space_dashboard
Draft — This content has not been approved for publication.

← Back to Publications

Articulating Some Conditions Where ZAM/MORK Yield Benefit: A Selectivity Theorem and a Hierarchical Corollary

Author: Ben Goertzel
Year: 2025
Venue: internal working paper
Links: no public URL; see wiki source links below

Summary

This paper provides the cleanest formal explanation of when ZAM/MORK-style path-indexed execution should outperform WAM-style backtracking. The main result shows that under mild independence assumptions the expected candidate set for a multi-leg join scales with the sum of selectivity exponents; when the exponents add to more than one, the expected intersection becomes constant-sized.

Relevance to Hyperon

This is the main mathematical foundation for the performance claims made around MORK Full. It is also one of the shortest paths for readers who want a principled explanation of why MORK and ZAM are not just engineering choices but algorithmic bets with a formal argument behind them.

Key References



Discussion