Ronald Fagin, Larry J. Stockmeyer, et al.
Information and Computation
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
Ronald Fagin, Larry J. Stockmeyer, et al.
Information and Computation
Hana Chockler, Orna Kupferman, et al.
Formal Methods in System Design
Gabriel M. Kuper, Moshe Y. Vardi
Theoretical Computer Science
A. Prasad Sistla, Moshe Y. Vardi, et al.
Theoretical Computer Science