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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Orlowska, Ewa (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Szalas, Andrzej (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.