๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A new formalism for relational algebra

โœ Scribed by Kim S. Larsen; Michael I. Schwartzbach; Erik M. Schmidt

Book ID
107766019
Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
464 KB
Volume
41
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A complete temporal relational algebra
A complete temporal relational algebra
โœ Debabrata Dey; Terence M. Barron; Veda C. Storey ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 272 KB
An algebraic formalization of fuzzy rela
An algebraic formalization of fuzzy relations
โœ Yasuo Kawahara; Hitoshi Furusawa ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 621 KB

This paper provides an algebraic formalization of mathematical structures formed by fuzzy relations with sup min composition. A simple proof of a representation theorem for Boolean relation algebras satisfying Tarski rule and point axiom has been given by Schmidt and Str6hlein. Unlike Boolean relati

Polymorphic Type Inference for the Relat
Polymorphic Type Inference for the Relational Algebra
โœ Jan Van den Bussche; Emmanuel Waller ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 179 KB

We give a polymorphic account of the relational algebra. We introduce a formalism of ''type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ''principal'' type for a given expression. The principal type of an expression is a formula that sp