Login / Signup

The Expressive Power of Revised Datalog on Problems with Closure Properties.

Shiguang Feng
Published in: LORI (2023)
Keyphrases
  • expressive power
  • closure properties
  • query language
  • first order logic
  • computational properties
  • transitive closure
  • data complexity
  • relational algebra
  • disjunctive datalog
  • database
  • databases