Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Stavros S. Cosmadakis :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Stavros S. Cosmadakis cite Moshe Y. Vardi Ordered by cited publication [Change the order to 'ordered by citing' ]
Moshe Y. Vardi On Decomposition of Relational Databases [Citation Graph (8, 0)][DBLP ] FOCS, 1982, pp:176-185 [Conf ] Is cited by:
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 ] Is cited by:
Marc H. Graham , Moshe Y. Vardi On the Complexity and Axiomatizability of Consistent Database States. [Citation Graph (7, 15)][DBLP ] PODS, 1984, pp:281-289 [Conf ] Is cited by:
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 ] Is cited by:
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ] Is cited by:
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 ] Is cited by:
Paris C. Kanellakis , Stavros S. Cosmadakis , Moshe Y. Vardi Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) [Citation Graph (11, 0)][DBLP ] STOC, 1983, pp:264-277 [Conf ] Is cited by:
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ] Is cited by:
Moshe Y. Vardi Inferring Multivalued Dependencies From Functional and Join Dependencies. [Citation Graph (4, 0)][DBLP ] Acta Inf., 1983, v:19, n:, pp:305-324 [Journal ] Is cited by:
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (5, 0)][DBLP ] J. Comput. Syst. Sci., 1995, v:51, n:1, pp:110-134 [Journal ] Is cited by:
Catriel Beeri , Moshe Y. Vardi Formal Systems for Tuple and Equality Generating Dependencies. [Citation Graph (20, 0)][DBLP ] SIAM J. Comput., 1984, v:13, n:1, pp:76-98 [Journal ] Is cited by:
Ashok K. Chandra , Moshe Y. Vardi The Implication Problem for Functional and Inclusion Dependencies is Undecidable. [Citation Graph (15, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:3, pp:671-677 [Journal ] Is cited by:
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 ] Is cited by: