Login / Signup

-Calculus.

Zining Cao
Published in: FoSSaCS (2006)
Keyphrases
  • computer algebra
  • real time
  • databases
  • database
  • data sets
  • information retrieval
  • metadata
  • multiscale
  • search algorithm
  • special case
  • expressive power
  • relational calculus
  • automated deduction
  • relation algebra