Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 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
Conference paper
Decidable optimization problems for database logic programs
Stavros S. Cosmadakis, Paris C. Kanellakis, et al.
STOC 1988
Johann A. Makowsky, Moshe Y. Vardi
Acta Informatica
Phokion G. Kolaitis, Moshe Y. Vardi
Journal of Computer and System Sciences