Author:
Bagai Rajiv,Sunderraman Rajshekhar
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann, Los Altos, 1988.
2. R. Bagai, M Bezem, and M. H. van Emden. On downward closure ordinals of logic programs. Fundamenta Informaticae, XIII(1):67–83, March 1990.
3. R. Bagai and R. Sunderraman. Algebraic computation of the Fitting model for general deductive databases. Technical Report WSUCS-93-2, Department of Computer Science, Wichita State University, April 1993.
4. N. Bidoit. Negation in rule-based database languages: a survey. Theoretical Computer Science, 78:3–83, 1991.
5. N. Bidoit and P. Legay. Well!: An evaluation procedure for all logic programs. In Proceedings of International Conference on Database Theory, pages 335–345. Lecture Notes in Computer Science, 470, Springer-Verlag, 1990.