Conference paper
Decidable optimization problems for database logic programs
Stavros S. Cosmadakis, Paris C. Kanellakis, et al.
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
Hana Chockler, Orna Kupferman, et al.
Formal Methods in System Design
Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Moshe Y. Vardi
Information Processing Letters