A Database Transaction Scheduling Tool in Prolog

Steve Barker
King’s College, London, UK

Paul Douglas
University of Westminster, London, UK

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

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

Linköping Electronic Conference Proceedings 12:7, s. 81-91

Visa mer +

Publicerad: 2004-10-04


ISSN: 1650-3686 (tryckt), 1650-3740 (online)


In this paper; we describe an item of “intelligent” educational software that is intended to help students taking university computer science courses to understand the fundamentals of transaction scheduling. The software; implemented in PROLOG; empowers students to construct their own learning environment and is able to provide tailored forms of feedback to different types of learner. We describe the development and evaluation of the software; and we present details of the analysis of the results of our investigation into the effectiveness of the software as a teaching and learning tool. Our results suggest that our learning tool provides students with a different and valuable type of learning experience; which traditional methods do not provide.


Inga nyckelord är tillgängliga


[1] Barker; S.; Proving Properties of Schedules; Proc. IEEE Workshop on Knowledge and Data Engineering; 174-180; 1998.

[2] Gray; J. and Reuter; A. (1993) Transaction Processing: Concepts and Techniques; San Mateo; CA: Morgan Kaufmann.

[3] Bratko; I. (1986) PROLOG Programming for Artificial Intelligence; Reading; MA: Addison-Wesley.

[4] Yazdani; M. (1983) New Horizons in Educational Computing; Chichester: Ellis Horwood.

[5] Nichol; J.; Briggs; J.; and Dean; J. (1988) Prolog; Children and Students; London: Kogan-Page.

[6] Gagne; R. M. (1970) The Conditions of Learning; NY: Holt; Reinhart and Winston.

[7] Bernstein; P.; Goodman; N.; and Hadzilacos; V. (1987) Concurrency Control and Recovery in Database Systems; Menlo Park; CA: Addison Wesley.

[8] Briebart; Y.; Georgakopoulos; D.; Rusinkiewicz; M.; and Silbershatz; A. (1991) On Rigorous Transaction Scheduling; IEEE Transactions on Software Engineering; 17; 954-960.

[9] El-Masri; R. and Navathe; S. (2003) Fundamentals of Database Systems; Redwood City; CA: Benjamin Cummings.

Citeringar i Crossref