Moshe Y. Vardi
Annals of Pure and Applied Logic
We propose an object-oriented data model that generalizes the relational, hierarchical, and network models. A database scheme in this model is a directed graph, whose leaves represent data and whose internal nodes represent connections among the data. Instances are constructed from objects, which have separate names and values. We define a logic for the model, and describe a nonprocedural query language that is based on the logic. We also describe an algebraic query language and show that it is equivalent to the logical language. © 1993, ACM. All rights reserved.
Moshe Y. Vardi
Annals of Pure and Applied Logic
Ronald Fagin, Joseph Y. Halpern, et al.
Artificial Intelligence
Ronald Fagin, Moshe Y. Vardi
Information Processing Letters
Marc H. Graham, Moshe Y. Vardi
SIGMOD/PODS 1984