Tomás Feder, Moshe Y. Vardi
SIAM Journal on Computing
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
Hana Chockler, Orna Kupferman, et al.
Formal Methods in System Design
Ronald Fagin, Joseph Y. Halpern, et al.
Artificial Intelligence