Yehoshua Sagiv Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer: A scalable and effective full-text search in P2P networks. CIKM 2009: 1979-1982
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFoto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Benny Kimelfeld, Vassia Pavlaki, Yehoshua Sagiv: On rewriting XPath queries using views. EDBT 2009: 168-179
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv: An interactive approach to route search. GIS 2009: 408-411
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Benny Kimelfeld, Yehoshua Sagiv: Running tree automata on probabilistic XML. PODS 2009: 227-236
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv, Gidi Weber: ExQueX: exploring and querying XML documents. SIGMOD Conference 2009: 1103-1106
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Route Search over Probabilistic Geospatial Data. SSTD 2009: 153-170
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Benny Kimelfeld, Yehoshua Sagiv: Incorporating constraints in probabilistic XML. ACM Trans. Database Syst. 34(3): (2009)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart: On the expressiveness of probabilistic XML models. VLDB J. 18(5): 1041-1064 (2009)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv: Query evaluation over probabilistic XML. VLDB J. 18(5): 1117-1140 (2009)
2008
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Revisiting redundancy and minimization in an XPath fragment. EDBT 2008: 61-72
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Eliyahu Safra, Yehoshua Sagiv, Yerach Doytsher: Heuristic algorithms for route-search queries over geographical data. GIS 2008: 11
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Benny Kimelfeld, Yehoshua Sagiv: Incorporating constraints in probabilistic XML. PODS 2008: 109-118
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv: Query efficiency in probabilistic XML models. SIGMOD Conference 2008: 701-714
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv: Keyword proximity search in complex data graphs. SIGMOD Conference 2008: 927-940
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Efficiently enumerating results of keyword search over data graphs. Inf. Syst. 33(4-5): 335-359 (2008)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Benny Kimelfeld, Yehoshua Sagiv: Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties. J. Comput. Syst. Sci. 74(7): 1147-1159 (2008)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Modeling and querying probabilistic XML data. SIGMOD Record 37(4): 69-77 (2008)
2007
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Combining Incompleteness and Ranking in Tree Queries. ICDT 2007: 329-343
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Maximally joining probabilistic data. PODS 2007: 303-312
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliyahu Safra, Yaron Kanza, Nir Dolev, Yehoshua Sagiv, Yerach Doytsher: Computing a k -Route over Uncertain Geographical Data. SSTD 2007: 276-293
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Matching Twigs in Probabilistic XML. VLDB 2007: 27-38
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Yehoshua Sagiv: Deciding equivalences among conjunctive aggregate queries. J. ACM 54(2): (2007)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yehoshua Sagiv: An incremental algorithm for computing ranked full disjunctions. J. Comput. Syst. Sci. 73(4): 648-668 (2007)
2006
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher: Efficient integration of road maps. GIS 2006: 59-66
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Eitan Kovacs, Yehoshua Sagiv, Dan Yahav: Using Language Models and the HITS Algorithm for XML Retrieval. INEX 2006: 253-260
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries. NGITS 2006: 141-152
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Finding and approximating top-k answers in keyword proximity search. PODS 2006: 173-182
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Itzhak Fadida, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv: Full Disjunctions: Polynomial-Delay Iterators in Action. VLDB 2006: 739-750
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher: Integrating Data from Maps on the World-Wide Web. W2GIS 2006: 180-191
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Twig Patterns: From XML Trees to Graphs. WebDB 2006
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Yehoshua Sagiv: Rewriting queries with arbitrary aggregation functions using views. ACM Trans. Database Syst. 31(2): 672-715 (2006)
2005
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv: Interconnection semantics for keyword search in XML. CIKM 2005: 389-396
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Efficiently Enumerating Results of Keyword Search. DBPL 2005: 58-73
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Finding corresponding objects when integrating several geo-spatial datasets. GIS 2005: 87-96
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yehoshua Sagiv: An Abstract Framework for Generating Maximal Answers to Queries. ICDT 2005: 129-143
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yehoshua Sagiv: An incremental algorithm for computing ranked full disjunctions. PODS 2005: 98-107
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Kimelfeld, Yehoshua Sagiv: Efficient Engines for Keyword Proximity Search. WebDB 2005: 67-72
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yehoshua Sagiv, Werner Nutt: Equivalences among aggregate queries with negation. ACM Trans. Comput. Log. 6(2): 328-360 (2005)
2004
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic 2004: 453-498
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Object Fusion in Geographic Information Systems. VLDB 2004: 816-827
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yehoshua Sagiv: Generating All Maximal Induced Subgraphs for Hereditary Connected-Hereditary and Rooted-Hereditary Properties CoRR cs.DS/0410039: (2004)
2003
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Yehoshua Sagiv: Containment of Aggregate Queries. ICDT 2003: 111-125
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yehoshua Sagiv: Generating Relations from XML Documents. ICDT 2003: 282-296
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Yehoshua Sagiv: Computing full disjunctions. PODS 2003: 78-89
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Jonathan Mamou, Yaron Kanza, Yehoshua Sagiv: XSEarch: A Semantic Search Engine for XML. VLDB 2003: 45-56
2002
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yehoshua Sagiv: Select-Project Queries over XML Documents. NGITS 2002: 2-13
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Yehoshua Sagiv: Equivalences Among Aggregate Queries with Negation CoRR cs.DB/0210028: (2002)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv: A Formal Yet Practical Approach to Electronic Commerce. Int. J. Cooperative Inf. Syst. 11(1-2): 93-117 (2002)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Werner Nutt, Yehoshua Sagiv: Querying Incomplete Information in Semistructured Data. J. Comput. Syst. Sci. 64(3): 655-693 (2002)
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik: EquiX - A search and query language for XML. JASIST 53(6): 454-466 (2002)
2001
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yehoshua Sagiv: SQL4X: A Flexible Query Language for XML and Relational Databases. DBPL 2001: 263-280
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Werner Nutt, Yehoshua Sagiv: Equivalences among Aggregate Queries with Negation. PODS 2001
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Yehoshua Sagiv: Flexible Queries Over Semistructured Data. PODS 2001
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 117-156 (2001)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX - A Search and Query Language for XML CoRR cs.DB/0110044: (2001)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Static analysis in datalog extensions. J. ACM 48(5): 971-1012 (2001)
2000
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000: 54-65
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX - A Search and Query Language for XML CoRR cs.DB/0011041: (2000)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR cs.PL/0011036: (2000)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs CoRR cs.PL/0012008: (2000)
1999
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv: A Formal Yet Practical Approach to Electronic Commerce. CoopIS 1999: 197-208
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Werner Nutt, Yehoshua Sagiv: Incomplete Answers for Queries over Semistructured Data. KRDB 1999: 21-25
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZiv Bar-Yossef, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv: Querying Semantically Tagged Documents on the World-Wide Web. NGITS 1999: 2-19
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaron Kanza, Werner Nutt, Yehoshua Sagiv: Queries with Incomplete Answers over Semistructured Data. PODS 1999: 227-236
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999: 43-48
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Yehoshua Sagiv: Inference of monotonicity constraints in Datalog programs. Ann. Math. Artif. Intell. 26(1-4): 29-57 (1999)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1998
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Nutt, Yehoshua Sagiv, Sara Shurin: Deciding Equivalences Among Aggregate Queries. PODS 1998: 214-223
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim: WebSuite: A Tool Suite for Harnessing Web Data. WebDB 1998: 152-171
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYakov A. Kogan, David Michaeli, Yehoshua Sagiv, Oded Shmueli: Utilizing the Multiple Facets of WWW Contents. Data Knowl. Eng. 28(3): 255-275 (1998)
1997
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997: 444-447
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Michaeli, Werner Nutt, Yehoshua Sagiv: Classification Rules for Semi-Structured Data. Description Logics 1997
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv: Automatic Termination Analysis of Logic Programs. ICLP 1997: 63-77
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Unfolding the Mystery of Mergesort. LOPSTR 1997: 206-225
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYakov A. Kogan, David Michaeli, Yehoshua Sagiv, Oded Shmueli: Utilizing the Multiple Facets of WWW Contents. NGITS 1997: 0-
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Richard Fikes, Yehoshua Sagiv: Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Artif. Intell. 97(1-2): 83-136 (1997)
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth A. Ross, Yehoshua Sagiv: Monotonic Aggregation in Deductive Database. J. Comput. Syst. Sci. 54(1): 79-97 (1997)
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Vasilis Vassalos, Jennifer Widom: The TSIMMIS Approach to Mediation: Data Models and Languages. J. Intell. Inf. Syst. 8(2): 117-132 (1997)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDallan Quass, Anand Rajaraman, Jeffrey D. Ullman, Jennifer Widom, Yehoshua Sagiv: Querying Semistructured Heterogeneous Information. Journal of Systems Integration 7(3/4): 381-407 (1997)
1996
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv: Decomposition of Relationships through Pivoting. ER 1996: 28-41
1995
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Querying Semistructured Heterogeneous Information. DOOD 1995: 319-344
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHector Garcia-Molina, Dallan Quass, Yannis Papakonstantinou, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: The TSIMMIS Approach to Mediation: Data Models and Languages. NGITS 1995: 0-
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman: Answering Queries Using Templates with Binding Patterns. PODS 1995: 105-112
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Yehoshua Sagiv: Semantic Query Optimization in Datalog Programs. PODS 1995: 163-173
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, Divesh Srivastava: Answering Queries Using Views. PODS 1995: 95-104
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, Pratul Dublish, Yehoshua Sagiv: Optimization of a Subclass of Conjunctive Queries Acta Inf. 32(1): 1-26 (1995)
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Editor's Forword. J. Comput. Syst. Sci. 51(1): 1 (1995)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Argument Reduction by Factoring. Theor. Comput. Sci. 146(1&2): 269-310 (1995)
1994
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman: Validating Constraints with Partial Information: Research Overview. DAISD 1994: 375-385
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Constraint Checking with Partial Information. PODS 1994: 45-55
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Efficient and Complete Tests for Database Integrity Constraint Checking. PPCP 1994: 173-180
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv: Query Optimization by Predicate Move-Around. VLDB 1994: 96-107
1993
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Yehoshua Sagiv: Exploiting Irrelevance Reasoning to Guide Problem Solving. IJCAI 1993: 138-145
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Tools for Deductive Databases (Abstract). LPNMR 1993: 333
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS 1993: 109-122
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Yehoshua Sagiv: Queries Independent of Updates. VLDB 1993: 171-181
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Oded Shmueli: Solving Queries by Tree Projections. ACM Trans. Database Syst. 18(3): 487-511 (1993)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. 47(1): 222-248 (1993)
1992
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth A. Ross, Yehoshua Sagiv: Monotonic Aggregation in Deductive Databases. PODS 1992: 114-126
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Yehoshua Sagiv: Constraints and Redundancy in Datalog. PODS 1992: 67-80
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. Workshop on Deductive Databases, JICSLP 1992: 1-10
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Yatin P. Saraiya: Minimizing Restricted-Fanout Queries. Discrete Applied Mathematics 40(2): 245-264 (1992)
1991
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: On Testing Effective Computability of Magic Programs. DOOD 1991: 244-262
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: A Termination Test for Logic Programs. ISLP 1991: 518-532
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Yehoshua Sagiv: Inference of Inequality Constraints in Logic Programs. PODS 1991: 227-240
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Evaluation of Queries in Independent Database Schemes. J. ACM 38(1): 120-161 (1991)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey F. Naughton, Yehoshua Sagiv: A Simple Characterization of Uniform Boundedness for a Class of Recursions. J. Log. Program. 10(1/2/3&4): 233-252 (1991)
1990
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPratul Dublish, Joachim Biskup, Yehoshua Sagiv: Optimizatioin of a Subclass of Conjunctive Queries. ICDT 1990: 455-469
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Is There Anything Better than Magic? NACLP 1990: 235-254
1989
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Yehoshua Sagiv: On Termination of Datalog Programs. DOOD 1989: 47-64
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their Applications. PODS 1989: 172-181
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Brodsky, Yehoshua Sagiv: Inference of Monotonicity Constraints in Datalog Programs. PODS 1989: 190-199
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules. SIGMOD Conference 1989: 235-242
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Argument Reduction by Factoring. VLDB 1989: 173-182
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWitold Litwin, Yehoshua Sagiv, K. Vidyasankar: Concurrency and Trie Hashing. Acta Inf. 26(7): 597-614 (1989)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFoto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman: On the Convergence of Query Evaluation. J. Comput. Syst. Sci. 38(2): 341-359 (1989)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Oded Shmueli: A Characterization of Finite fd-Acyclicity. J. Comput. Syst. Sci. 38(2): 380-404 (1989)
1988
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Optimizing Datalog Programs. Foundations of Deductive Databases and Logic Programming. 1988: 659-698
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: On Bounded Database Schemes and Bounded Horn-Clause Programs. SIAM J. Comput. 17(1): 1-22 (1988)
1987
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs LICS 1987: 106-115
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey F. Naughton, Yehoshua Sagiv: A Decidable Class of Bounded Recursions. PODS 1987: 227-236
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: Correction to ``An equivalence between relational database dependencies and a fragment of propositional logic''. J. ACM 34(4): 1016-1018 (1987)
1986
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Oded Shmueli: The Equivalence of Solving Queries and Production Tree Projections. PODS 1986: 160-172
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Oded Shmueli: On Finite FD-Acyclicity. PODS 1986: 173-182
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFoto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman: Convergence of Sideways Query Evaluation. PODS 1986: 24-30
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Optimizing Datalog Programs. XP7.52 Workshop on Database Theory 1986
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Concurrent Operations on B*-Trees with Overtaking. J. Comput. Syst. Sci. 33(2): 275-296 (1986)
1985
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: On Computing Restricted Projections of Representative Instances. PODS 1985: 171-180
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Concurrent Operations on B-Trees with Overtaking. PODS 1985: 28-37
1983
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharon McCure Kuck, Yehoshua Sagiv: Designing Globally Consistent Network Schemas. SIGMOD Conference 1983: 185-195
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: A Characterization of Globally Consistent Databases and Their Correct Access Paths. ACM Trans. Database Syst. 8(2): 266-286 (1983)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions. SIAM J. Comput. 12(2): 316-328 (1983)
1982
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharon McCure Kuck, Yehoshua Sagiv: A Universal Relation Database System Implemented via the Network Model. PODS 1982: 147-157
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Scott F. Walecka: Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies. J. ACM 29(1): 103-117 (1982)
1981
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Can We Use the Universal Instance Assumption Without Using Nulls? SIGMOD Conference 1981: 108-120
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM 28(3): 435-453 (1981)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Maier, Yehoshua Sagiv, Mihalis Yannakakis: On the Complexity of Testing Implications of Functional and Join Dependencies. J. ACM 28(4): 680-695 (1981)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. SIAM J. Comput. 10(2): 352-370 (1981)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, Jeffrey D. Ullman: Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions. SIAM J. Comput. 10(3): 405-421 (1981)
1980
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. J. ACM 27(2): 250-262 (1980)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Mihalis Yannakakis: Equivalences Among Relational Expressions with the Union and Difference Operators. J. ACM 27(4): 633-655 (1980)
1979
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies (Abstract). SIGMOD Conference 1979: 152
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes STOC 1979: 319-329
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. 4(4): 435-454 (1979)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4): 455-469 (1979)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246 (1979)
1978
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Optimization of a Class of Relational Expressions (Abstract). SIGMOD Conference 1978: 39
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv, Mihalis Yannakakis: Equivalence among Relational Expressions with the Union and Difference Operation. VLDB 1978: 535-548
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehoshua Sagiv: Report on ACM-SIGMOD International Conference on Management of Data. IEEE Database Eng. Bull. 2(2): 11 (1978)

Coauthor Index

1Serge Abiteboul [148]
2Foto N. Afrati [25] [36] [154]
3Alfred V. Aho [3] [4] [6] [11]
4François Bancilhon [28]
5Ziv Bar-Yossef [92]
6Catriel Beeri [7] [12] [86] [116] [122]
7Joachim Biskup [45] [69] [75]
8Alexander Brodsky [40] [43] [48] [89]
9Rada Chirkova [154]
10Sara Cohen (Sara Shurin) [87] [90] [97] [98] [101] [104] [105] [106] [109] [110] [111] [113] [114] [115] [118] [120] [121] [124] [125] [128] [133] [134] [140] [144] [149] [152]
11Verónica Dahl [99]
12Claude Delobel [14] [29]
13Nachum Dershowitz [88] [95] [96] [102]
14Nir Dolev [136]
15Yerach Doytsher [122] [127] [132] [136] [145]
16Pratul Dublish [45] [69]
17Gershon Elber [86]
18Itzhak Fadida [128]
19Ronald Fagin [14] [29]
20Richard Fikes [79]
21Ulrich Furbach [99]
22Haim Gaifman [32] [57]
23Hector Garcia-Molina [73] [77]
24Manolis Gergatsoulis [154]
25Konstantin Golenberg [142]
26Ashish Gupta [64] [65] [66]
27Alon Y. Halevy (Alon Y. Levy) [52] [54] [59] [60] [62] [63] [70] [71] [79] [100]
28Yaron Kanza [90] [91] [92] [93] [97] [98] [101] [103] [105] [106] [107] [110] [111] [112] [113] [116] [122] [124] [127] [128] [132] [136] [145] [150] [153]
29Manfred Kerber [99]
30Michael Kifer [53]
31Won Kim [53]
32Benny Kimelfeld [119] [123] [124] [126] [128] [129] [130] [131] [135] [137] [138] [139] [140] [141] [142] [143] [144] [146] [147] [148] [149] [151] [152] [154]
33Yakov A. Kogan [80] [85] [86] [90] [92] [97] [98] [101] [106]
34David Konopnicki [86] [94] [108]
35Yuri Kosharovsky [143] [147]
36Eitan Kovacs [131]
37Sharon McCure Kuck [17] [20]
38Kung-Kiu Lau [99]
39Lior Leiba [94] [108]
40Roy Levin [153]
41Naomi Lindenstrauss [81] [82] [84] [88] [95] [96] [102] [117]
42Witold Litwin [37]
43John W. Lloyd [99]
44David Maier [5] [8] [13] [28]
45Harry G. Mairson [32] [57]
46Jonathan Mamou [111]
47Yosi Mass [155]
48Alberto O. Mendelzon [5] [7] [8] [12] [70]
49Ralf Menzel [75]
50David Michaeli [80] [83] [85]
51Tova Milo [86]
52Pini Mogilevski [86]
53Inderpal Singh Mumick [52] [60] [63] [100]
54Jeffrey F. Naughton [31] [38] [39] [46] [67]
55Werner Nutt [83] [87] [90] [91] [92] [93] [97] [98] [101] [104] [106] [107] [109] [114] [118] [125] [134]
56Catuscia Palamidessi [99]
57Christos H. Papadimitriou [25] [36]
58George Papageorgiou [25] [36]
59Yannis Papakonstantinou [73] [77]
60Douglas Stott Parker Jr. [14] [29]
61Vassia Pavlaki [154]
62Luís Moniz Pereira (Luíz Moniz Pereira) [99]
63Torsten Polle [75]
64Dallan Quass [73] [74] [76] [77]
65Anand Rajaraman [72] [73] [74] [76] [77]
66Raghu Ramakrishnan [38] [39] [41] [56] [67]
67Kenneth A. Ross [55] [78]
68Athena Roussou [25] [36]
69Eliyahu Safra [116] [122] [127] [132] [136] [145] [150] [153]
70Yatin P. Saraiya [51]
71Pierre Senellart [148]
72Alexander Serebrenik [81] [84] [88] [90] [95] [96] [97] [98] [101] [102] [106] [117]
73Oded Shmueli [26] [27] [35] [52] [58] [60] [80] [85] [86] [94] [100] [108]
74Michal Shmueli-Scheuer (Michal Shmueli) [155]
75Noam Slonim [86]
76Divesh Srivastava [70]
77Peter J. Stuckey [99]
78Thomas G. Szymanski [11]
79Naftali Tishby [86]
80Jeffrey D. Ullman [3] [4] [6] [7] [11] [12] [25] [28] [36] [38] [39] [41] [56] [64] [65] [66] [67] [72] [73] [74] [76] [77]
81Moshe Y. Vardi [32] [41] [42] [56] [57]
82Vasilis Vassalos [77]
83Krishnamurthy Vidyasankar (K. Vidyasankar) [37]
84Scott F. Walecka [16]
85Gidi Weber [151]
86Jennifer Widom [64] [65] [66] [73] [74] [76] [77]
87Dan Yahav [131]
88Mihalis Yannakakis [2] [9] [13]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)