✦ LIBER ✦

On keys and normal forms

✍ Scribed by Wai Yin Mok

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 313 KB
Volume: 62
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(97)00076-8

No coin nor oath required. For personal study only.

✦ Synopsis

In. this paper, we give a necessary and sufficient condition for a Boyce-Co$d Normal Form (BCNF) relation scheme to be in Fourth Normal Form (4NF). We also give a necessary and sufficient condition for a 4NF relation scheme to be in Projection-Join Normal Form (PJNF). From these results, we derive necessary and sufficient conditions for a BCNF relation scheme to be in PJNF. In addition, we give a less stringent condition for a Third Normal Form (3NF) relation scheme to be in BCNF. Finally, we show that our theorems generalize the results by Date and Fagin (1992).

📜 SIMILAR VOLUMES

On normal forms in Łukasiewicz logic

✍ A. Di Nola; A. Lettieri 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 300 KB

Remarks on Herbrand normal forms and Her

Remarks on Herbrand normal forms and Herbrand realizations

✍ Ulrich Kohlenbach 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 674 KB

On averaged and normal form equations

✍ P. R. Sethna 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 469 KB

The method of averaging has long been an important method for the analysis of nonlinear systems. One method using normal forms has more recently become a tool in applied mathematics. Both methods convert systems of ordinary differential equations to simpler equations by using a sequence of change of

Boyce–Codd normal form and object normal

Boyce–Codd normal form and object normal forms

✍ Joachim Biskup 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 415 KB

Normal Forms and Quantization Formulae

✍ Dario Bambusi; Sandro Graffi; Thierry Paul 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 176 KB

A remark on normal forms of matrices

✍ Vlastimil Dlab; Claus Michael Ringel 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 293 KB