Match-Ladder: An efficient event matching algorithm in large-scale content-based publish/subscribe system
Efficiently evaluating complex boolean expressions