Yehoshua Sagiv :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Jean-Marie Nicolas :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Jean-Marie Nicolas cite Yehoshua Sagiv Ordered by citing publication [Change the order to 'ordered by cited' ]
Hervé Gallaire , Jack Minker , Jean-Marie Nicolas Logic and Databases: A Deductive Approach. [Citation Graph (131, 112)][DBLP ] ACM Comput. Surv., 1984, v:16, n:2, pp:153-185 [Journal ] Cites:
Yehoshua Sagiv An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. [Citation Graph (5, 0)][DBLP ] J. ACM, 1980, v:27, n:2, pp:250-262 [Journal ]
Yehoshua Sagiv , Claude Delobel , Douglas Stott Parker Jr. , Ronald Fagin An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. [Citation Graph (17, 0)][DBLP ] J. ACM, 1981, v:28, n:3, pp:435-453 [Journal ]
Alfred V. Aho , Yehoshua Sagiv , Jeffrey D. Ullman Equivalences Among Relational Expressions. [Citation Graph (104, 0)][DBLP ] SIAM J. Comput., 1979, v:8, n:2, pp:218-246 [Journal ]
David Maier , Alberto O. Mendelzon , Yehoshua Sagiv Testing Implications of Data Dependencies. [Citation Graph (86, 16)][DBLP ] ACM Trans. Database Syst., 1979, v:4, n:4, pp:455-469 [Journal ]