A Relational Theory of Computing

Authors:

ISBN: 978-3-540-09987-1 (Print) 978-3-540-39256-9 (Online)

Table of contents (10 chapters)

  1. No Access

    Book Chapter

    Pages 1-6

    Introduction

  2. No Access

    Book Chapter

    Pages 7-22

    The components of a relational calculus

  3. No Access

    Book Chapter

    Pages 23-34

    A comparison of some relational calculi

  4. No Access

    Book Chapter

    Pages 35-56

    Properties of relators

  5. No Access

    Book Chapter

    Pages 57-71

    The extension of a calculus

  6. No Access

    Book Chapter

    Pages 72-88

    Types and structures

  7. No Access

    Book Chapter

    Pages 89-107

    Programs

  8. No Access

    Book Chapter

    Pages 108-123

    Assignment and efficiency

  9. No Access

    Book Chapter

    Pages 124-134

    Metatheory

  10. No Access

    Book Chapter

    Pages 135-138

    Conclusions