Relational methods for computer science applications /
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 programm...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
[2001]
|
| Series: | Studies in fuzziness and soft computing ;
v. 65. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Interpretation of tabular expressions using arrays of relations
- Translating relational programs into Prolog
- A calculus for program construction based on fork algebras, design strategies and generic algorithms
- Processes as relations
- A tableaux procedure for the implication problem for association rules
- On a static verification of integrity constraints in relational databases
- Contact relation algebras
- Relations old and new
- Relational models for the nonassociative Lambek calculus
- Coping with semilattices of relations in logics with relative accessibility relations
- A relational formalisation of a generic many-valued modal logic
- An application of standard BAO theory to some abstract information algebras
- Proof systems in relation algebra
- Connections between cylindric algebras and relation algebras
- Lattices in dedekind categories
- Beyond modalities: sufficiency and mixed algebras
- Cylindric algebras for partial relational systems, quasicylindric algebras.