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
Moshe Y. Vardi
Information Processing Letters
Conference paper
Parametric real-Time reasoning
Rajeev Alur, Thomas A. Henzinger, et al.
STOC 1993
Conference paper
A temporal fixpoint calculus
Moshe Y. Vardi
POPL 1988