- Catriel Beeri and Moshe Y. Vardi. A proof procedure for data
dependencies. Journal of the ACM, 31(4):718-741,
October 1984.
Citations.
- Marc H. Graham, Alberto O. Mendelzon, and Moshe Y. Vardi. Notions of dependency
satisfaction. Journal of the ACM, 33(1):105-129,
January 1986.
Citations.
- Stavros S. Cosmadakis, Paris C. Kanellakis, and Moshe Y. Vardi. Polynomial-time implication
problems for unary inclusion dependencies. Journal of the
ACM, 37(1):15-46, January 1990.
Citations.
- Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A model-theoretic analysis of
knowledge. Journal of the ACM, 38(2):382-428, April
1991.
References,
Citations,
etc.
- Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. What can machines know? on the
properties of knowledge in distributed systems. Journal of the
ACM, 39(2):328-376, April 1992.
References
and Citations.
- Haim Gaifman, Harry Mairson, Yehoshua Sagiv, and Moshe Y. Vardi. Undecidable optimization
problems for database logic programs. Journal of the
ACM, 40(3):683-713, July 1993.
References
and Citations.
- Serge Abiteboul, Moshe Y. Vardi, and Victor Vianu. Fixpoint logics, relational
machines, and computational complexity. Journal of the
ACM, 44(1):30-56, January 1997.
Abstract,
References,
Citations,
etc.
Shortcuts: