Author:
Loveland Donald W.,Yahya Adnan H.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference25 articles.
1. Bancilhon, F., Sagiv, Y. and Ullman, J., “Magic Sets and Other Strange Ways to Implement Logic Programs,” inProc. of the Fifth ACM SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 1–15, 1986.
2. Bry, F. and Yahya, A., “Minimal Model Generation with Positive Unit Hyper-Resolution tableaux,”Journal of Automated Reasoning, 25, 1, pp. 35–82, 2000.
3. Bry, F., “Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled,”Data and Knowledge Engineering, 5, pp. 289–312, 1990.
4. Chang, C. L. and Lee, K. C.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.
5. Demolombe, R., “An Efficient Strategy for Non-horn Deductive Databases,”Theoretical Computer Science, 78, pp. 245–259, 1991.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献