Well-structured program equivalence is highly undecidable.

Robert Goldblatt Marcel Jackson

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

datalog programs
sufficient conditions
static analysis
real world
artificial intelligence
query containment
control program
information retrieval
decision trees
database systems
multiscale
np complete
structured data
conjunctive queries
computer programs
programming course