We present a formalization of the seminal paper by W. W. Armstrong [1] on functional dependencies in relational data bases. The paper is formalized in its entirety including examples and applications. The formalization was done with a routine effort albeit some new notions were defined which simplified formulation of some theorems and proofs. The definitive reference to the theory of relational...

treated; unfortunately, persistent misconceptions result in unnecessary stigmatization. Thus the present study aims to assess the knowledge and attitudes regarding leprosy in people with and without leprosy, factors affecting the same; and to study their relationship with treatment status in leprosy patients. Detailed knowledge and attitude questionnaires were administered to 260 subjects (100 ...

The articles [4], [3], [5], [2], and [1] provide the notation and terminology for this paper. For simplicity we follow the rules: a, x, y will be arbitrary, B, D, N , X, Y will denote sets, R, S, T will denote relations, F will denote a function, and W will denote a relation. We now state several propositions: (1) x ∈ fieldR if and only if there exists y such that 〈x, y〉 ∈ R or 〈y, x〉 ∈ R. (2) ...

Let L define a regular problem in the calculus of variations on a supermanifold. A necessary condition for a piecewise superdifferentiable supercurve C in the sense of Rogers be a week local minimum for L is that C be superdifferentiable and C̃ be an integral supercurve of X , where X is defined by X dσ = 0, ω = d L , 〈X, dt〉 = 1, the superform σ = L∗ω is defined on T (M) × BL and L is an immers...

The processes of the distributed system considered in this paper use loosely synchronized clocks. The paper describes a method of taking checkpoints by such processes in a truly distributed manner, that is, in the absence of a global checkpoint coordinator. The constituent processes take checkpoints according to their own clocks at predetermined checkpoint instants. A global consistent set of s...

Plasmids and cloning cDNA for human USP4 and USP8 was a gift from Hidde Ploegh and cDNA for USP39 was a gift from R. Medema. USP4CD (aa 296-954) and the D1 fragment (aa 296-490) of human USP4, USP39CD (aa 219-565) and USP8CD (aa 771-1118) were cloned using ligation independent cloning into pET-46 Ek/LIC vector (Novagen). The D2 fragment (aa 766-932) of USP4 was cloned into the pET-NKI b/3C (Lun...

A number of experimental studies has documented that S-nitrosoglutathione (GSNO), the main endogenous low-molecular-weight S-nitrosothiol, can exert modulatory effects on inflammatory processes, thus supporting its potential employment in medicine for the treatment of important disease conditions. At molecular level, GSNO effects have been shown to modulate the activity of a series of transcrip...