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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Heidelberg :
Physica-Verlag HD : Imprint: Physica,
2001.
|
Έκδοση: | 1st ed. 2001. |
Σειρά: | Studies in Fuzziness and Soft Computing,
65 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Interpretation of Tabular Expressions Using Arrays of Relations
- Translating Relational Programs into Prolog
- A Calculus for Program Contstruction 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.