Login / Signup

Extending ${\cal H}_1$ -Clauses with Path Disequalities.

Helmut SeidlAndreas Reuß
Published in: FoSSaCS (2012)
Keyphrases
  • search space
  • shortest path
  • first order logic
  • database
  • social networks
  • website
  • relational databases
  • endpoints