Moshe Y. Vardi
Information Processing Letters
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
Hana Chockler, Orna Kupferman, et al.
Formal Methods in System Design
Conference paper
A model-theoretic analysis of knowledge: Preliminary report
Ronald Fagin, Joseph Y. Halpern, et al.
FOCS 1984
Conference paper
A temporal fixpoint calculus
Moshe Y. Vardi
POPL 1988