Login / Signup

The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.

Jerzy Marcinkowski
Published in: STACS (1996)
Keyphrases
  • datalog programs
  • data sets
  • databases
  • high level
  • computational complexity
  • database systems