Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. S. Abiteboul, Boundedness is Undecidable for Daialog Programs with a Single Recursive Rule, Information Processing Letters 32 (1989) pp. 281–287.
2. M. Ajtai, Y. Gurevich, DATALOG versus First Order Logic, Proc. of 30th FOCS, 1989.
3. J.H. Conway, Unpredictable Iterations, Proceedings of 1972 Number Theory Conference, University of Colorado, pp. 49–52, 1972.
4. S.S. Cosmadakis, P. C. Kanellakis, Parallel evaluation of recursive rule queries, Proc. of 5th ACM PODS, ACM, New York, 1986, pp 280–293.
5. S.S. Cosmadakis, H. Gaifman, P. C. Kanellakis, M.Y. Vardi, Decidable Optimization Problems for Database Logic Programs, Proceedings of 20th ACM STOC (1988) pp. 477–490.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献