Skip to main content
SpringerLink
Log in
Book cover

Relational Methods for Computer Science Applications

  • Book
  • © 2001

Overview

Editors:
  1. Ewa Orłowska

    1. Institute of Telecommunications, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrzej Szałas

    1. Institute of Informatics, University of Warsaw, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Relations in Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Interpretation of Tabular Expressions Using Arrays of Relations

      • Jules Desharnais, Ridha Khédri, Ali Mili
      Pages 3-14

    3. Translating Relational Programs into Prolog

      • Barry Dwyer
      Pages 15-35

    4. 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

    5. Processes as Relations

      • Michael Winter, Peter Kempf
      Pages 59-73

  3. Relational Constraints

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. A Tableaux Procedure for the Implication Problem for Association Rules

      • Wendy MacCaull
      Pages 77-95

    3. 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
      Download chapter PDF

    2. Contact Relation Algebras

      • Ivo Düntsch
      Pages 113-133

    3. Relations Old and New

      • Joachim Lambek
      Pages 135-147

    4. Relational Models for the Nonassociative Lambek Calculus

      • Marek Szczerba
      Pages 149-159

  5. Relations and Uncertainty

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Coping with Semilattices of Relations in Logics with Relative Accessibility Relations

      • Stéphane Demri
      Pages 163-181

    3. A Relational Formalisation of a Generic Many—Valued Modal Logic

      • Beata Konikowska, Ewa Orłowska
      Pages 183-202

    4. An Application of Standard BAO Theory to Some Abstract Information Algebras

      • Eric SanJuan, Luisa Iturrioz
      Pages 203-215

  6. Theories of Relations

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    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
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation