Theory

• Minimal model semantics

• Expressive power

  • TSL is reducible to datalog with limited recursion
  • TSL is strictly less expressive than linear datalog, StruQL
  • TSL is more expressive than UnQL

• Complexity

  • TSL is in QNC

Previous slide

Next slide

Back to first slide

View graphic version