SPARQL代数の仕様書定義を読んでもmergeとかcompatibleが具体的に捉えにくかったので、http://answers.semanticweb.com/questions/3204/bindings-a-variable-multiple-times-through-optional-in... を例題に（AndySの答えが重要）手作業で順番に代数を解いてみて、ようやく納得した