,

Relational Methods for Computer Science Applications

Paperback Engels 2012 9783662003626
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

The origins of relational theories can be found in the work of three 19th cen­ tury mathematicians: Augustus de Morgan (1864, On the syllogism IV and on the logic of relations), Charles Sanders Peirce (1882, Brief description of the algebra of relatives) and Ernst Schroder (1895, Vorlesungen iiber die Al­ gebra und Logik der Relative). The modern origins of the theory of relations are due to Alfred Tarski (14 January 1902, Warsaw -26 October 1983, Berke­ ley). His paper' On the calculus of Relations' published in 1941 gave rise to an algebraic theory of relations which is still extensively studied. In the 1970s, the applications of relational theories to various applied sciences emerged. Nowadays relational theories are experiencing a period of extensive development, with the emergence of new theories and systems allow­ ing better understanding and better use of such theories. Relational theories have been used, among others, in the following fields: • Theory of programs: program specification, program verification, mod­ elling concurrency, process calculi, semantics of programming languages; • Databases: relational databases, tabular methods, dependency theory, rectangular and difunctional decomposition of databases; • Computational linguistics: relational semantics of natural languages, re­ lational grammars, Lambek calculus; • Spatial reasoning: modelling of relationships between space regions; • Handling uncertainty: fuzzy relations, many-valued relations, information relations. Indeed, the concept of relation emerges again and again throughout computer science, from its theoretical foundations to very practical implementations.

Specificaties

ISBN13:9783662003626
Taal:Engels
Bindwijze:paperback
Aantal pagina's:297
Uitgever:Physica-Verlag HD
Druk:0

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

<B>Relations in Programming:</B> <I>J. Desharnais, R. Khédri, A.</I> <I>Mili:</I> Interpretation of Tabular Expressions Using Arrays of Relations.- <I>B. Dwyer:</I> Translating Relational Programs into Prolog.- <I>M.F. Frias, G.A. Baum, A.M. Haeberer:</I> A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms.- <I>M. Winter, P. Kempf:</I> Processes as Relations. <B>Relational Constraints:</B> <I>W. MacCaull:</I> A Tableaux Procedure for the Implication Problem for Association Rules.- <I>J. Kachniarz, A. Szalas:</I> On a Static Verification of Integrity Constraints in Relational Databases.- <B>Relations in</B> <B>Linguistics and Spatial Reasoning:</B> <I>I. Düntsch:</I> Contact Relation Algebras.- <I>J. Lambek:</I> Relations Old and New.- <I>M.</I> <I>Szczerba:</I> Relational Models for the Nonassociative Lambek Calculus.- <B>Relations and Uncertainty:</B> <I>S. Demri:</I> Coping with Semilattices of Relations in Logics with Relative Accessibility Relations.- <I>B. Konikowska, E. Orlowska:</I> A Relational Formalisation of a Generic Many-Valued Modal Logic.- <I>E.</I> <I>San</I> <I>Juan, L. Iturrioz:</I> An Application of Standard BAO Theory to Some Abstract Information Algebras.- <B>Theories of</B> <B>Relations:</B> <I>L. Gordeev:</I> Proof Systems in Relation Algebra.- <I>R.</I> <I>Hirsch,</I> <I>I. Hodkinson:</I> Connections Between Cylindric Algebras and Relation Algebras.- <I>Y. Kawahara:</I> Lattices in Dedekind Categories.- <B>Generalizations of Theories of Relations:</B> <I>I.</I> <I>Düntsch,</I> <I>E. Orlowska:</I> Beyond Modalities: Sufficiency and Mixed Algebras.- <I>A. Wolinski:</I> Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Relational Methods for Computer Science Applications