Gray code is a systematic ordering of binary numbers in a way that each successive value differs from the previous one in ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...