Nondeterminism and communication in functional progamming systems: a study in formal program development

Abstract

In this thesis, a Relational Database Management System that supports a query/data manipulation language along with facilities like database creation is presented. A compiler model chosen for translating the input statements (a query/data manipulation language) is given. Optimization procedure used to evaluate an input statement is described. Database operators that access the underlying database and process it are detailed. Algorithms used are presented. An application of this system is described using a virus database. A query language which is an extension of the one already implemented is also described.