Undecidable optimization problems for database logic programs
Published in Journal of the ACM • Jul 1, 1993
Authors:,,
Haim Gaifman
Harry G. Mairson
Yehoshua Sagiv
Abstract
Datalog is the language of logic programs without function symbols. It is used as a database query language. If it is possible to eliminate recursion from a Datalog program F', then t' is said to be bounded.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!