This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model.

This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model.

There are hardly any theorems in this book which are older than 20 years and at least fifty percent of the material is younger than 10 years.

Consists of three consecutive parts: 1. Basic Concepts of Computability. 2. Traditional Recursion Theory. 3. Unified Type 2 theory of constructivity and computability on Baire's space including a general the- ory of representations.

In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods.

The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas.

The first book to integrate various model-based software specification approaches.