Magic sets and stratified databases

International Journal of Intelligent Systems

Volumn 12, Issue 3, 1997, Pages 203-231

  Chen, Yangjun ^a,b  

^a Changsha Institute of Technology   (China)

^b CHEMNITZ UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; OPTIMIZATION; SET THEORY;

MAGIC SETS; SIDEWAYS INFORMATION PASSING STRATEGY; STRATIFIED DATABASES;

DATABASE SYSTEMS;

EID: 0031103239     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199703)12:3<203::AID-INT3>3.0.CO;2-T     Document Type: Article

References (18)

1. F. Bancilhon, and R. Ramakrishnan, "Performance evaluation of data intensive logic programs," in Foundations of Deductive Databases and Logic Programming, J. Minker, Ed., Morgan Kaufman, Los Altos, CA, 1988, pp. 439-518.
2. F. Bancihon, D. Maier, Y. Sagiv, and J. Ullman, "Magic sets and other strange ways to implement logic programs," in Proceedings of the 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, Washington, 1986, pp. 1-15.
3. C. Beeri, and R. Ramakrishnan, "On the power of magic," in Proceedings of the 6th ACM SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, CA, 1987, pp. 269-283.
4. Y. Chen, "Processing of recursive rules in knowledge-based systems - Algorithms for handling recursive rules and negative information and performance measurements," Ph.D. Thesis, Computer Science Department, University of Kaiserslautern, Germany, Feb. 1995.
5. Y. Chen, "On the Bottom-up evaluation of recursive queries," Int. J. Intell. Syst., 1995, accepted.
6. D.B. Kemp, K. Ramamohanarao, I. Balbin, and K. Meenakshi, "Propagating constraints in recursive deductive databases," in Proceedings of the North American Conference on Logic Programming, Cleveland, OH, 1989.
7. K. Morris, J.F. Naughton, Y. Saraiya, J.D. Ullman, and A. van Gelder, "Yawn! (Yet another window on nail!)," IEEE Data Engrg., 10(4), 28-43 (Dec. 1987).
8. D. Sacca and C. Zaniolo, "Implementation of a simple class of logic queries for databases," in Proceedings of the 5th ACM Symposium on Principles of Database, Systems, WA, 1986, pp. 16-23.
9. J. Rohmer, R. Lescoeur, and J.-M. Kerisit, "The Alexander method - A technique for the proceeding of recursive axioms in deductive databases," New Generation Comput., 4(3), 273-286 (1986).
10. K.R. Apt, H.A. Blair, and A. Walker, "Towards a theory of declarative knowledge," in Foundations of Deductive Databases and Logic Programming, J. Minker, Ed., Morgan Kaufman, Los Altos, CA, 1988, pp. 89-148.
11. R. Topor and E. Sonenberg, "On domain independent database," in Foundations of Deductive Databases and Logic Programming, J. Minker, Ed., Morgan Kaufman, Los Altos, CA, 1988, 217-240.
12. K. Ross, "On negation in HILOG," J. Logic Programming, 18, 27-53 (1994).
13. C. Zaniolo, N. Arni, and K. Ong, "Negation and aggregates in recursive rules: The LDL++ approach," in Proc. of the 3th Int. Conf. on Deductive and Object-Oriented Databases, Phoenix, AZ, Dec. 1993.
14. L. Balbin, G.S. Port, K. Ramamohannarao, and K. Meenakshi, "Efficient bottom-up computation of queries on stratified databases," J. Logic Programming, 295-344 (Nov. 1991).
15. J.W. Lloyd, E.A. Sonenberg, and R.W. Topor, Integrity Constraint Checking in Stratified Databases, Technical Report 86/5, Dept. of Computer Science, Univ. of Melbourne, 1986.
16. A. Chandra and D. Harel, "Horn clause queries and generalization," J. Logic Programming, 2(1), 1-15 (1985).
17. M. van Emden and R. Kowalski, "The semantics of predicate logic as a programming language," J. Assoc. Comput. Mach., 23(4), 733-742 (1976).
18. C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmuelo, and S. Tsur, "Sets and negation in a logic database language (LDL1)," in Proc. of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, CA, 1987, pp. 21-37.