Paper

01 Jan 1988

The Universal-Relation Data Model for Logical Independence

View publication

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

Paper

A nonstandard approach to the logical omniscience problem

Ronald Fagin, Joseph Y. Halpern, et al.

Artificial Intelligence

Paper

Endmarkers can make a difference

Moshe Y. Vardi

Information Processing Letters

Conference paper

THE COMPLEXITY OF ORDERING SUBGOALS

Jeffrey D. Ullman, Moshe Y. Vardi

SIGMOD/PODS/ 1988

Paper

Automata-theoretic techniques for modal logics of programs

Moshe Y. Vardi, Pierre Wolper

Journal of Computer and System Sciences

View all publications