Logic in join planning
TODO: How the planner uses bound() to determine which terms are derivable. How logic relations participate in WCOJ alongside stored relations. How the count/propose/validate interface applies uniformly.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
TODO: How the planner uses bound() to determine which terms are derivable. How logic relations participate in WCOJ alongside stored relations. How the count/propose/validate interface applies uniformly.