Publications

138 results for Ron Fagin

Decreasing the nesting depth of expressions involving square roots
- - Allan Borodin
  - Ronald Fagin
  - et al.
- 1985
- Journal of Symbolic Computation
Paper
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1983
- FOCS 1983
Conference paper
A model-theoretic analysis of knowledge: Preliminary report
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1984
- FOCS 1984
Conference paper
INTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- - Ronald Fagin
  - Moshe Y. Vardi
- 1984
- STOC 1984
Conference paper
Inclusion dependencies and their interaction with functional dependencies
- - Marco A. Casanova
  - Ronald Fagin
  - et al.
- 1984
- Journal of Computer and System Sciences
Paper
On the Structure of Armstrong Relations for Functional Dependencies
- - Catriel Beeri
  - Martin Dowd
  - et al.
- 1984
- Journal of the ACM
Paper
Degrees of acyclicity for hypergraphs and relational database schemes
- - Ronald Fagin
- 1983
- Journal of the ACM
Paper
On the Desirability of Acyclic Database Schemes
- - Catriel Beeri
  - Ronald Fagin
  - et al.
- 1983
- Journal of the ACM
Paper
Armstrong databases for functional and inclusion dependencies
- - Ronald Fagin
  - Moshe Y. Vardi
- 1983
- Information Processing Letters
Paper
Horn Clauses and Database Dependencies
- - Ronald Fagin
- 1982
- Journal of the ACM
Paper