Gabriel M. Kuper, Moshe Y. Vardi
Theoretical Computer Science
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
Conference paper
A temporal fixpoint calculus
Moshe Y. Vardi
POPL 1988
Moshe Y. Vardi
Information Processing Letters
Moshe Y. Vardi, Pierre Wolper
Journal of Computer and System Sciences