Selected papers that cite this one
- Éric Grégoire and Pierre Marquis. Novelty in deductive databases. Journal of Logic and Computation, 6(5):683-708, October 1996.
Selected references
- Ronald Fagin. Horn clauses and database dependencies (extended abstract). In Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, pages 123-134, Los Angeles, California, 28-30 April 1980.
- Robert A. Di Paola. The recursive unsolvability of the decision problem for the class of definite formulas. Journal of the ACM, 16(2):324-327, April 1969.