Skip to main content
  • Book
  • © 2001

Relational Methods for Computer Science Applications

  • Interdisciplinary spectrum of the state of the art of relational methods
  • New and original developments in the various fields of relational methods

Part of the book series: Studies in Fuzziness and Soft Computing (STUDFUZZ, volume 65)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XIII
  2. Relations in Programming

    1. Front Matter

      Pages 1-1
    2. Interpretation of Tabular Expressions Using Arrays of Relations

      • Jules Desharnais, Ridha Khédri, Ali Mili
      Pages 3-14
    3. A Calculus for Program Construction Based on Fork Algebras, Design Strategies and Generic Algorithms

      • Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer
      Pages 37-58
    4. Processes as Relations

      • Michael Winter, Peter Kempf
      Pages 59-73
  3. Relational Constraints

    1. Front Matter

      Pages 75-75
    2. On a Static Verification of Integrity Constraints in Relational Databases

      • Jarosław Kachniarz, Andrzej Szałas
      Pages 97-109
  4. Relations in Linguistics and Spatial Reasoning

    1. Front Matter

      Pages 111-111
    2. Contact Relation Algebras

      • Ivo Düntsch
      Pages 113-133
    3. Relations Old and New

      • Joachim Lambek
      Pages 135-147
  5. Relations and Uncertainty

    1. Front Matter

      Pages 161-161
    2. A Relational Formalisation of a Generic Many—Valued Modal Logic

      • Beata Konikowska, Ewa Orłowska
      Pages 183-202
  6. Theories of Relations

    1. Front Matter

      Pages 217-217
    2. Proof Systems in Relation Algebra

      • Lev Gordeev
      Pages 219-237
    3. Connections Between Cylindric Algebras and Relation Algebras

      • Robin Hirsch, Ian Hodkinson
      Pages 239-246

About this book

This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.

Editors and Affiliations

  • Institute of Telecommunications, Warsaw, Poland

    Ewa Orłowska

  • Institute of Informatics, University of Warsaw, Warsaw, Poland

    Andrzej Szałas

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access