Article | Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 | A Database Transaction Scheduling Tool in Prolog

Title:
A Database Transaction Scheduling Tool in Prolog
Author:
Steve Barker: King’s College, London, UK Paul Douglas: University of Westminster, London, UK
Download:
Full text (pdf)
Year:
2004
Conference:
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Issue:
012
Article no.:
007
Pages:
81-91
No. of pages:
11
Publication type:
Abstract and Fulltext
Published:
2004-10-04
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Steve Barker, Paul Douglas
Title:
A Database Transaction Scheduling Tool in Prolog
References:

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

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Steve Barker, Paul Douglas
Title:
A Database Transaction Scheduling Tool in Prolog
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment