Loading...
Thumbnail Image
Item

Datalog as a parallel general purpose programming language

Abstract
The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers. This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Cleary, J.G., Utting, M. & Clayton, R. (2010). Datalog as a parallel general purpose programming language. (Working paper 06/2010). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
2010-08-27
Publisher
University of Waikato, Department of Computer Science
Degree
Supervisors
Rights