Logic Library

Group in Logic and the Methodology of Science
University of California, Berkeley

Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Fagin, Ronald, Generalized First-Order Spectra and Polynomial-Time Recognizable Sets (1974)

Fagin, Ronald, A Counterintuitive Example of Computer Paging (1976)

Fagin, Ronald, Functional Dependencies in a Relational Database and Propositional Logic (1977)

Fagin, Ronald, Multivalued Dependencies and a New Normal Form for Relational Databases (1977)

Fagin, Ronald, The Decomposition Versus the Synthetic Approach to Relational Database Design (1977)

Fagin, Ronald, Extendible Hashing - A Fast Access Method for Dynamic Files (1978)

Fagin, Ronald, On an Authorization Mechanism (1978)

Fagin, Ronald, Publications of Ronald Fagin (1978)

Fagin, Ronald, Horn Clauses and Database Dependencies (1979)

Fagin, Ronald, Types of Acyclicity for Hypergraphs and Relational Database Schemes (1981)

The Group in Logic and the Methodology of Science at the University of California, Berkeley maintains an extensive collection of reprints, dissertations, project reports, course and seminar notes, and other materials not readily available elsewhere. These items, now numbering about 5,000, as well as a small collection of key texts, monographs, and journals, are available in the Alfred Tarski Room (727 Evans Hall) for use by faculty and graduate students.

If you notice mistakes, please notify the Curator of the Logic Library: steel (at) math (dot) berkeley (dot) edu

© 2005 Regents of the University of California

Logic Group | UC Berkeley | College of Letters & Science