Conference paper
A temporal fixpoint calculus
Moshe Y. Vardi
POPL 1988
Paper
The Universal-Relation Data Model for Logical Independence
Abstract
This relational model keeps access-path independence by removing the need for logical navigation among relations. One benefit is a simple yet powerful query-language interface. © 1988 IEEE
Related
Johann A. Makowsky, Moshe Y. Vardi
Acta Informatica
Conference paper
A model-theoretic analysis of knowledge: Preliminary report
Ronald Fagin, Joseph Y. Halpern, et al.
FOCS 1984
Phokion G. Kolaitis, Moshe Y. Vardi
Journal of Computer and System Sciences