Struct ProductBound 

pub struct ProductBound;

Cartesian-product upper bound. Sound but very loose.

Examples

use samkhya_core::lpbound::{ProductBound, UpperBound};

// Empty predicate list: the bound is the unconstrained product.
assert_eq!(ProductBound.ceiling(&[10, 20, 30], &[]), 6000);
// Overflow saturates to u64::MAX rather than wrapping.
assert_eq!(ProductBound.ceiling(&[u64::MAX, 2], &[]), u64::MAX);

Trait Implementations

impl UpperBound for ProductBound

fn ceiling(&self, relations: &[u64], _eq: &[(usize, usize)]) -> u64

Compute the inclusive ceiling for a join.