Titlebook: Relational Methods in Computer Science; Chris Brink,Wolfram Kahl,Gunther Schmidt Book 1997 Springer-Verlag Wien 1997 algebra.algorithm.alg

阻碍

Relational Formalisation of Nonclassical Logics,The purpose of this chapter is to present and motivate the application of algebras of relations to the formalisation of nonclassical logics. It is shown that a suitably defined relational logic can serve as a general framework for developing nonclassical means of reasoning that are needed in many application areas.

ABYSS

Linear Logic,Linear logic, introduced by Jean-Yves Girard [Girard 1987], has aroused considerable interest among logicians and theoretical computer scientists. Among other things, linear logic is said to be a . and a .. According to Girard [Girard 1995], it should be viewed as an extension of classical logic, rather than as an alternative logic.

accomplishment

Algorithms from Relational Specifications,The purpose of a specification is to state a problem as clearly as possible. In many cases, the most direct and intuitive way to specify a problem is by writing down a logical predicate that describes its possible solutions. Here, we employ the calculus of relations for developing efficient algorithms from problem specifications.

lacrimal-gland

磨坊

https://doi.org/10.1007/978-3-7091-6510-2algebra; algorithm; algorithms; calculus; computer; computer science; database; databases; development; langu

小歌剧

978-3-211-82971-4Springer-Verlag Wien 1997

无目标

Refinement and Demonic Semantics,, which we view as computing an input-output relation on a set of states. We are interested here in programs that are meant to terminate, not in reactive programs. Our programming language is Dijkstra’s language of guarded commands [Dijkstra 1976], which allows the expression of nondeterminism, thus making a relational approach very natural.

Nmda-Receptor

Tabular Representations in Relational Documents,formal model of tabular expressions, defining the meaning of a large class of tabular forms, is presented. Finally, we discuss the transformation of tabular expressions from one form to another, and illustrate some useful transformations.

mortuary

Heterogeneous Relation Algebra,and, a variant of the theory has evolved that treats relations from the very beginning as . or ., i.e. as relations where the normal case is that they are relations between two different sets. The present chapter is devoted to this variant form.

Harness