Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Surajit Chaudhuri :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Surajit Chaudhuri cite Moshe Y. Vardi Ordered by citing publication [Change the order to 'ordered by cited' ]
Surajit Chaudhuri , Rakesh Agrawal , Klaus R. Dittrich , Andreas Reuter , Abraham Silberschatz , Gerhard Weikum New and Forgotten Dreams in Database Research (Panel). [Citation Graph (0, 1)][DBLP ] ICDE, 1997, pp:573- [Conf ] Cites:
Surajit Chaudhuri , Ashok K. Chandra , Umeshwar Dayal , Jim Gray , Michael Stonebraker , Gio Wiederhold , Moshe Y. Vardi Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract. [Citation Graph (1, 0)][DBLP ] ICDE, 1996, pp:190- [Conf ]
Surajit Chaudhuri Detecting Redundant Tuples During Query Evaluation. [Citation Graph (1, 9)][DBLP ] PODS, 1991, pp:115-126 [Conf ] Cites:
Surajit Chaudhuri Finding Nonrecursive Envelopes for Datalog Predicates. [Citation Graph (2, 13)][DBLP ] PODS, 1993, pp:135-146 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Surajit Chaudhuri , Phokion G. Kolaitis Can Datalog be Approximated? [Citation Graph (3, 15)][DBLP ] PODS, 1994, pp:86-96 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (9, 14)][DBLP ] PODS, 1990, pp:61-71 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ]
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP ] PODS, 1989, pp:172-181 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Moshe Y. Vardi , Pierre Wolper Automata-Theoretic Techniques for Modal Logics of Programs. [Citation Graph (3, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:2, pp:183-221 [Journal ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal ]
Surajit Chaudhuri , Moshe Y. Vardi On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. [Citation Graph (2, 23)][DBLP ] PODS, 1994, pp:107-116 [Conf ] Cites:
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:683-713 [Journal ]
Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Logical Query Optimization by Proff-Tree Transformation. [Citation Graph (2, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:47, n:1, pp:222-248 [Journal ]