Paul Douglas
University of Westminster, London, UK
Steve Barker
King’s College, London, UK
Download article
Published in: Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Linköping Electronic Conference Proceedings 12:6, p. 71-80
Published: 2004-10-04
ISBN:
ISSN: 1650-3686 (print), 1650-3740 (online)
In this paper; we describe an “intelligent” tool for helping to teach the principles of database design. The software that we present uses PROLOG to implement a teaching tool with which students can explore the concepts of dependency theory; and the normalization process. Students are able to construct their own learning environment and can develop their understanding of the material at a pace that is controlled by the individual student.
[1] J. Ullman; Principles of Database and Knowledge-base Systems; Computer Science Press; 1989.
[2] Yazdani; M.; New Horizons in Educational Computing; Chichester: Ellis Horwood; 1983.
[3] Nichol; J.; Briggs; J.; and Dean; J.; Prolog; Children and Students; London: Kogan-Page; 1988.
[4] B. Byrne; Top Down Approaches to Database Design Tend to Produce Fully Normalised Designs Anyway; Proceedings of TLAD; 2003.
[5] F. Marton and P. Ramsden; What does it take to improve learning?; Improving Learning: New Perspectives; Kogan Page; 1988.
[6] R. M. Gagne; The Conditions of Learning; Holt; Reinhart and Winston; 1970.
[7] C. Beeri and P. Honeyman; Preserving Functional Dependencies; SIAM Journal of Computing; 10(3); 1981.
[8] G. Loizou and P. Thanisch; Testing a Dependency-preserving Decomposition for Losslessness; Information Systems; 8(1); 1983.
[9] G. Gottlob; Computing Covers for Embedded Functional Dependencies; PODS; 1987.
[10] C. Lucchesi and S. Osborn; Candidate Keys for Relations; Journal of Computer and System Sciences; 17(2); 1978.
[11] D. Tsou and P. Fischer; Decomposition of a Relation Scheme into Boyce- Codd Normal Form; SIGACT News 14(3); 1982
[12] K Sagonas; T. Swift; D. Warren; J. Freire and P. Rao.; The XSB System Version 2.0; Programmer’s Manual; 1999.
[13] K Sagonas; T. Swift; and D. Warren.; XSB as an Efficient Deductive Database Engine; ACM SIGMOD Proceedings; 1994.
[14] S. Decker; Yet Another Java XSB Bridge; http://wwwdb. stanford.edu/%7Estefan/rdf/yajxb/
[15] M. Tessmer; Planning and Conducting Formative Evaluations; Kogan-Page; 1993.
