Department of Horticulture, Michigan State University, East Lansing, Michigan 48824 (C.S.B., Q.M.); Boyce Thompson Institute for Plant Research, Ithaca, New York 14853 (G.M.A., R.P.M., J.J.G.); Department of Genetics, Hebrew University of Jerusalem, Jerusalem 91904, Israel (G.H., J.H.); and United States Department of Agriculture, Agricultural Research Service, Robert W. Holley Center for Agric...

Department of Horticulture (Q.M., C.S.B.), Michigan State University-Department of Energy Plant Research Laboratory (W.D., F.B.), and Department of Plant Biology (W.D., F.B.), Michigan State University, East Lansing, Michigan 48824; and Boyce Thompson Institute for Plant Research, and United States Department of Agriculture-Agricultural Research Service, Robert W. Holley Center for Agriculture ...

We present previously unpublished elementary proofs by Dekker and Ottens (1991) and Boyce (private communication) of a special case of the Dinitz conjecture. We prove a special case of a related basis conjecture by Rota, and give a reformulation of Rota's conjecture using the Nullstellensatz. Finally we give an asymptotic result on a related Latin square conjecture.

Florencio Balboa Usabiaga, Rafael Delgado-Buscalioni, Boyce E. Griffith, 3 and Aleksandar Donev ∗ Departamento de F́ısica Teórica de la Materia Condensada, Condensed Matter Physics Center (IFIMAC), Univeridad Autónoma de Madrid, Madrid 28049, Spain Leon H. Charney Division of Cardiology, Department of Medicine, New York University School of Medicine, New York, NY 10016 Courant Institute of Mathe...

In this paper, based on equivalence classes of attributes there are formulated necessary and sufficient conditions that constraint a database schema to be in the second, third or Boyce-Codd normal forms. These conditions offer a polynomial complexity for the testing algorithms of the normalizations level.

Effectiveness of Vitamin P Compounds in Counteracting Anticoagulant Action of Dicoumarol: Gustav J. Martin and Vinton Swayne ............ 201 Effect of p-Chlorophenoxyacetic Acid on the Vitamin C Content of Snap Beans Following Harvest: John W. Mitchell, Boyce D. Ezell, andM arguerite S. Wilcox ....................................... 202 A Quantitative Hardness Tester for Food Products:Edward R...

A deductive system for automated database normalization is implemented by using a HiLog reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independency normal form (FINF). Examples of system usage are presented and discussed.

Boyce Thompson Institute for Plant Research, Ithaca, New York 14853 (K.W., A.C., D.S.); Centre National de la Recherche Scientifique/Université Pierre et Marie Curie, Unité Mixte de Recherche 7141, Institut de Biologie Physico-Chimique, 75005 Paris, France (K.W.); and Department of Agronomy and Horticulture, Center for Biotechnology, Center for Plant Science Innovation, University of Nebraska, ...