✦ LIBER ✦

Polymorphic Type Inference for the Relational Algebra

✍ Scribed by Jan Van den Bussche; Emmanuel Waller

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 179 KB
Volume: 64
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.2001.1812

No coin nor oath required. For personal study only.

✦ Synopsis

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 specifies, in a clear and concise manner, all assignments of types (sets of attributes) to relation names, under which a given relational algebra expression is well-typed, as well as the output type that expression will have under each of these assignments. Topics discussed include complexity and polymorphic expressive power.

📜 SIMILAR VOLUMES

A Multiplication Rule for the Descent Al

A Multiplication Rule for the Descent Algebra of TypeD

✍ Nantel Bergeron; Stephanie van Willigenburg 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 107 KB

Here we give an interpretation of Solomon's rule for multiplication in the descent algebra of Coxeter groups of type D, ⌺ D . We describe an ideal I I such n that ⌺ D rI I is isomorphic to the descent algebra of the hyperoctahedral group, n ⌺ B .

Bayesian parameter inference for models

Bayesian parameter inference for models of the Black and Scholes type

✍ Henryk Gzyl; Enrique ter Horst; Samuel W. Malone 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 166 KB 👁 1 views

## Abstract In this paper, we describe a general method for constructing the posterior distribution of the mean and volatility of the return of an asset satisfying d__S__=__S__d__X__ for some simple models of __X__. Our framework takes as inputs the prior distributions of the parameters of the stoc

Relations Between the Matrix Algebraic F

Relations Between the Matrix Algebraic Factorized Type Solutions at Different Singular Points for Generalized Hypergeometric Functions of Type p+1Fp

✍ Metin Demi̇ralp; Gülşen Taşkin 📂 Article 📅 2005 🏛 John Wiley and Sons ⚖ 144 KB

Recently we have presented a matrix algebraic factorization scheme for multiplicative representations of generalized hypergeometric functions of type p+1Fp . The Method uses exponential functions with matrix arguments. We have shown that factorization is possible around any kind of point, regular or

Exact likelihood inference for the expon

Exact likelihood inference for the exponential distribution under generalized Type-I and Type-II hybrid censoring

✍ B. Chandrasekar; A. Childs; N. Balakrishnan 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 100 KB

## Abstract Chen and Bhattacharyya [Exact confidence bounds for an exponential parameter under hybrid censoring, Commun Statist Theory Methods 17 (1988), 1857–1870] considered a hybrid censoring scheme and obtained the exact distribution of the maximum likelihood estimator of the mean of an exponen

Vertex Representations for the ν +&

Vertex Representations for the ν + 1-Toroidal Lie Algebra of Type Bl

✍ Jiang Cuipo; Meng Daoji 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 239 KB

We give vertex operator constructions for the toroidal Lie algebra of type B l ν ≥ 1 l ≥ 2 . We prove that the subquotients of the modules are completely reducible, and give the irreducible decomposition.

Inference for a RPW-Type Clinical Trial

Inference for a RPW-Type Clinical Trial with Repeated Monitoring for the Treatment of Rheumatoid Arthritis

✍ Atanu Biswas; Anup Dewanji 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB 👁 1 views

## Abstract The present paper describes a controlled clinical trial to investigate the effect of Pulsed Electro‐Magnetic Field for the treatment of sequentially entering patients with Rheumatoid Arthritis. According to the study design, repeated monitorings of the patients are carried out to assess