Login / Signup

All-Instances Termination of Chase is Undecidable.

Tomasz GogaczJerzy Marcinkowski
Published in: ICALP (2) (2014)
Keyphrases
  • randomly generated
  • np complete
  • query answering
  • real time
  • neural network
  • training set
  • sufficient conditions
  • databases
  • genetic algorithm
  • linear programming
  • search procedures
  • datalog programs
  • stochastic local search