Sains Ma1aysiana 25(2): 71-78 (1996)                                                                                          Pengajian Kuantitatif/

                                                                                                                                                                 Quantitative Studies

An Architecture of a Query Evaluation System

For Deductive Databases

Ali Mamat

Jabatan Sains Komputer

Universiti Pertanian Malaysia

43400 UPM Serdang Selangor D.E. Malaysia

ABSTRACT

The technology of deductive database is now mature enough due to the considerable research efforts that have been made on the field for the last ten years. This achievement is demonstrated by the emergence of efficient and easy to use systems with their capability of supporting a declarative, rule based style of expressing queries and applications on databases. This paper describes an overview of architecture of a query evaluation system for deductive databases that has been developed.

ABSTRAK

Teknologi pangkalan data deduktif sudah matang hasil daripada penyelidikan yang telah banyak dilakukan dalam tempoh 10 tahun yang lepas. Pencapaian ini dibuktikan melalui kemunculan sistem yang cekap dan mudah guna serta mempunyai keupayaan untuk mengungkap pertanyaan dan penggunaan ke atas pangkalan data secara deklaratif menerusi penggunaan petua. Dalam kertas ini diterangkan suatu ringkasan mengenai senibina sistem penilaian pertanyaan untuk pangkalan data deduktif yang sudah dibangunkan.

RUJUKAN/REFERENCES

Bancilhon, F., Maier, D., Sagiv, Y. & Ullman, J.D. 1986. Magic sets and other strange ways to implement logic programs. In Proceedings Fifth ACM Symposium on Principles of Database Systems, 1-15.

Bancilhon, F. & Ramakrishnan, R. 1988. Performance evaluation of data intensive logic programs. In Foundations of Deduvtive Databases and Logic Programming, ed. J. Minker. Morgan Kaufman, 439-517.

Ceri, S., G. Gottlob & Wiederhold, G. 1987. Interfacing relational databases and Prolog efficiently. In Expert Database Systems, ed. L. Kershberg, Benjamin/ Cummings.

Codd, E.F. 1970. A relational model of data for large shared data banks. Communications of ACM 13(6): 377-387.

Copeland, G. & Maier, D. 1984. Making Smalltalk a database system. In Proceedings 1984 ACM SIGMOD International Conference on management of Data, 316-325.

Gallaire, H. & Minker, J. 1978. Logic and Databases. New York: Plenum.

Gallaire, H., Minker, J. & Nicolas, J.M. 1984. Logic and Databases: a Deductive Approach. Computing Surveys 16(1): 154-185.

Jark, M., Clifford, J. & Vassi1iou, Y. 1986. An optimising Prolog front end to a relational query system. In Proceedings 1984 ACM-SlGMOD Conference on Management of Data, 296-306       

Kunifji, S. & Yokota, H. 1984. Prolog and relational databases for 5th Generation Computer Systems. In Advances in Logic and Databases, vol. 2, eds. H. Gallaire, J. Minker and Nicolas, J.M. New York: Plenum.

Kowalski, R.A. 1974. Predicate logic as a programming language. In Proceedings1974 IFIP Congres, 569-574. Amsterdam: North Holland.

Mamat, A. 1994. A technique for transforming rules in deductive databases. Journal Pertanika of Science and Technology 2(2): 121-135.

Moris, K. et al. 1987. YAWN! (Yet Another Window on NAILl). Data Engineering 10(4): 28-44.

Ullman, J.D. 1985. Implementation of logical query languages for databases. ACM Transacations on Database Systems 10(3): 289-321.

Ullman, J.D. 1990. 1989. Principles of Database and Knowledge-Base System, Vol 2. Computer Science Press.

Ullman, J.D. 1990. Deductive Databases: achievements and future directions. SIGMOD Record 19(4): 75-82.

Zainolo, C. 1988. Design and implementation of a logic based language for data intensive application. In Proceedings of the Itl. Conference on Logic Programming 1666-1687.

Zainolo, C. 1990. Deducative databases - theory meets practice. In Proceedings 2^nd International Conference on Extending Database Technology, 1-15.