TSL vs MSL continued

• simple decomposition algorithm [Papa97] does not work for MSL
• Sufficient and necessary condition:
  Tree query heads - TSL

• Syntactic and semantic choices affect complexity of the decomposition problem

Previous slide

Next slide

Back to first slide

View graphic version