- Yehoshua Sagiv. An
algorithm for inferring multivalued dependencies with an application to
propositional logic. Journal of the ACM, 27(2):250-262,
April 1980.
- Yehoshua Sagiv and Mihalis Yannakakis. Equivalences among relational
expressions with the union and difference operators. Journal
of the ACM, 27(4):633-655, October 1980.
Citations.
- Yehoshua Sagiv, Claude Delobel, D. Stott Parker, Jr., and Ronald Fagin.
An equivalence between
relational database dependencies and a fragment of propositional
logic. Journal of the ACM, 28(3):435-453, July 1981.
Citations.
- David Maier, Yehoshua Sagiv, and Mihalis Yannakakis. On the complexity of testing
implications of functional and join dependencies. Journal of
the ACM, 28(4):680-695, October 1981.
Citations.
- Yehoshua Sagiv and Scott F. Walecka. Subset dependencies and a
completeness result for a subclass of embedded multivalued
dependencies. Journal of the ACM, 29(1):103-117,
January 1982.
Citations.
- Y. Sagiv, C. Delobel, D. S. Parker, Jr., and Ronald Fagin. Correction to ``An equivalence
between relational database dependencies and a fragment of propositional
logic''. Journal of the ACM, 34(4):1016-1018, October
1987.
References.
- Yehoshua Sagiv. Evaluation
of queries in independent database schemes. Journal of the
ACM, 38(1):120-161, January 1991.
References,
Citations,
etc.
- 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.
Shortcuts: