Ronald Fagin, Joseph Y. Halpern, et al.
Journal of the ACM
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
Ronald Fagin, Joseph Y. Halpern, et al.
Distributed Computing
Conference paper
A temporal fixpoint calculus
Moshe Y. Vardi
POPL 1988
Conference paper
Decidable optimization problems for database logic programs
Stavros S. Cosmadakis, Paris C. Kanellakis, et al.
STOC 1988