A logic programming e-learning tool for teaching database dependency theory

Douglas, P. and Barker, S. 2004. A logic programming e-learning tool for teaching database dependency theory. Linkoping Electronic Conference Proceedings ; Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004. 12, pp. 71-80.

TitleA logic programming e-learning tool for teaching database dependency theory
AuthorsDouglas, P. and Barker, S.
Abstract

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.

JournalLinkoping Electronic Conference Proceedings ; Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004
Journal citation12, pp. 71-80
ISSN1650-3686
Year2004
Web address (URL)http://www.ep.liu.se/ecp/012/006/
Publication dates
Published2004
Event1st International Workshop on Teaching Logic Programming: TeachLP 2004
File

Related outputs

Criteria for successful MSc research projects in computer forensics
Myers, C. and Douglas, P. 2010. Criteria for successful MSc research projects in computer forensics. CFET 2010: 4th International Conference on Cybercrime Forensics Education & Training. Canterbury Christ Church University 02 - 03 Sep 2010

Managing diverse expectations on a new MSc in computer forensics
Myers, C. and Douglas, P. 2008. Managing diverse expectations on a new MSc in computer forensics. Computer Forensics. University of Glamorgan 27 Nov 2008

The un-structured student
Myers, C. and Douglas, P. 2007. The un-structured student. in: Proceedings of the 24th British National Conference on Databases (BNCOD 2007): University of Glasgow, UK, July 3-5, 2007 Los Alamitos, USA IEEE . pp. 3-9

An e-learning tool for database administration
Douglas, P. and Barker, S. 2005. An e-learning tool for database administration. in: Selvaraj, H. and Srimani, P.K. (ed.) ITCC 2005: International Conference on Information Technology: Coding and Computing Los Alamitos, California, USA IEEE .

An intelligent tutoring system for program semantics
Barker, S. and Douglas, P. 2005. An intelligent tutoring system for program semantics. in: Selvaraj, H. and Srimani, P.K. (ed.) ITCC 2005: International Conference on Information Technology: Coding and Computing Los Alamitos, California, USA IEEE .

Dependency theory e-learning tool
Douglas, P. and Barker, S. 2004. Dependency theory e-learning tool. in: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) USA IEEE .

An intelligent tutoring system for database transaction processing
Barker, S. and Douglas, P. 2004. An intelligent tutoring system for database transaction processing. ICEIS 2004: 6th International Conference on Enterprise Information Systems. Porto, Portugal 14-17 Apr 2004

A database transaction scheduling tool in Prolog
Barker, S. and Douglas, P. 2004. A database transaction scheduling tool in Prolog. Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004. 12, pp. 81-91.

Protecting federated databases using a practical implementation of a formal RBAC policy
Barker, S. and Douglas, P. 2004. Protecting federated databases using a practical implementation of a formal RBAC policy. in: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) USA IEEE .

Practical RBAC policy implementation for SQL databases
Barker, S. and Douglas, P. 2004. Practical RBAC policy implementation for SQL databases. in: De Capitani Di Vimercati, S., Indrakshi, R. and Indrajit, R. (ed.) Data and applications security XVII: status and prospects Boston, USA Kluwer Academic.

Implementing RBAC policies in PL/SQL
Barker, S., Douglas, P. and Fanning, T. 2003. Implementing RBAC policies in PL/SQL. in: Gudes, E. and Shenoi, S. (ed.) Research directions in data and applications security: IFIP TC11/WG11.3 16th Annual Conference on Data and Applications Security, July 28-31, 2002, Cambridge, UK Cambridge, UK Kluwer Academic Publishers.

An intelligent teaching tool for CRAS property satisfaction
Barker, S. and Douglas, P. 2003. An intelligent teaching tool for CRAS property satisfaction. BCS, Teaching, Learning and Assessment in Databases Seminar, part of Twentieth British National Conference on Databases: New Horizons in Information Management. Coventry, UK 14 Jul 2003

An e-learning tool for understanding schedule properties
Barker, S. and Douglas, P. 2003. An e-learning tool for understanding schedule properties. in: ITCC 2003: International Conference on Information Technology: Computers and Communications USA IEEE . pp. 53-59

Extended protected databases: a practical implementation
Barker, S. and Douglas, P. 2003. Extended protected databases: a practical implementation. in: Proceedings of 5th International Conference on Enterprise Information Systems (ICEIS2003): Angers, France, April 23-26, 2003 ICEIS Press.

SPITS: an intelligent tutorial systems for schedule properties
Barker, S. and Douglas, P. 2002. SPITS: an intelligent tutorial systems for schedule properties. in: Santana Torrellas, G.A. and Uskov, V. (ed.) Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education (CATE 2002): May 20-22, 2002, Cancun, Mexico Canada Acta Press.

Permalink - https://westminsterresearch.westminster.ac.uk/item/93214/a-logic-programming-e-learning-tool-for-teaching-database-dependency-theory


Share this

Usage statistics

124 total views
75 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.