A Logic Programming E-Learning Tool for Teaching Database Electronic Conference Proceedings Dependency Theory

Paul Douglas
University of Westminster, London, UK

Steve Barker
King’s College, London, UK

Ladda ner artikelhttp://www.ep.liu.se/ecp_article/index.en.aspx?issue=012;article=006

Ingår i: Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Linköping Electronic Conference Proceedings 12:6, s. 71-80

Visa mer +

Publicerad: 2004-10-04


ISSN: 1650-3686 (tryckt), 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.


Inga nyckelord är tillgängliga


[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.

Citeringar i Crossref