Yehoshua Sagiv

178 papers A* 44A 16B 8C 2Journal 61Unranked 44

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Location-Based Distance Measures for Geosocial Similarity. ACM Trans. Web Yaron Kanza, Elad Kravi, Eliyahu Safra, Yehoshua Sagiv
2016	A	`conf`	A Practically Efficient Algorithm for Generating Answers to Keyword Search Over Data Graphs. ICDT Konstantin Golenberg, Yehoshua Sagiv
2016	—	`conf`	Constructing Data Graphs for Keyword Search. DEXA (2) Konstantin Golenberg, Yehoshua Sagiv
2016	J	`jnl`	Constructing Data Graphs for Keyword Search. CoRR Konstantin Golenberg, Yehoshua Sagiv
2016	—	`conf`	Virtual Documents and Answer Priors in Keyword Search over Data Graphs. EDBT/ICDT Workshops Yosi Mass, Yehoshua Sagiv
2015	J	`jnl`	A Practically Efficient Algorithm for Generating Answers to Keyword Search over Data Graphs. CoRR Konstantin Golenberg, Yehoshua Sagiv
2015	—	`conf`	A personalized GeoSocial app for surviving an earthquake. EM-GIS Shlomo Bekhor, Sara Cohen, Yerach Doytsher, Yaron Kanza, Yehoshua Sagiv
2014	A	`conf`	Knowledge Management for Keyword Search over Data Graphs. CIKM Yosi Mass, Yehoshua Sagiv
2013	A	`conf`	A personal perspective on keyword search over data graphs. ICDT Yehoshua Sagiv
2013	A	`conf`	Extracting minimum-weight tree patterns from a schema with neighborhood constraints. ICDT Benny Kimelfeld, Yehoshua Sagiv
2012	A	`conf`	Language models for keyword search over data graphs. WSDM Yosi Mass, Yehoshua Sagiv
2012	—	`conf`	WISER: a web-based interactive route search system for smartphones. WWW (Companion Volume) Roi Friedman, Itsik Hefez, Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv
2011	A*	`conf`	Finding a minimal tree pattern under neighborhood constraints. PODS Benny Kimelfeld, Yehoshua Sagiv
2011	A	`conf`	IQ: The Case for Iterative Querying for Knowledge. CIDR Yosi Mass, Maya Ramanath, Yehoshua Sagiv, Gerhard Weikum
2011	A	`conf`	KMV-peer: a robust and adaptive peer-selection algorithm. WSDM Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer
2011	J	`jnl`	Optimizing and Parallelizing Ranked Enumeration. Proc. VLDB Endow. Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv
2010	A	`conf`	A peer-selection algorithm for information retrieval. CIKM Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer
2010	—	`conf`	Exploratory keyword search on data graphs. SIGMOD Conference Hilit Achiezra, Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv
2010	J	`jnl`	Interactive Route Search in the Presence of Order Constraints. Proc. VLDB Endow. Roy Levin, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2010	J	`jnl`	Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets. Int. J. Geogr. Inf. Sci. Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher
2009	A	`conf`	A scalable and effective full-text search in P2P networks. CIKM Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer
2009	—	`conf`	An interactive approach to route search. GIS Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv
2009	—	`conf`	ExQueX: exploring and querying XML documents. SIGMOD Conference Benny Kimelfeld, Yehoshua Sagiv, Gidi Weber
2009	J	`jnl`	Incorporating constraints in probabilistic XML. ACM Trans. Database Syst. Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv
2009	B	`conf`	On rewriting XPath queries using views. EDBT Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Benny Kimelfeld, Vassia Pavlaki, Yehoshua Sagiv
2009	J	`jnl`	On the expressiveness of probabilistic XML models. VLDB J. Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart
2009	J	`jnl`	Query evaluation over probabilistic XML. VLDB J. Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv
2009	B	`conf`	Route Search over Probabilistic Geospatial Data. SSTD Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2009	A*	`conf`	Running tree automata on probabilistic XML. PODS Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv
2008	J	`jnl`	Efficiently enumerating results of keyword search over data graphs. Inf. Syst. Benny Kimelfeld, Yehoshua Sagiv
2008	J	`jnl`	Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties. J. Comput. Syst. Sci. Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv
2008	—	`conf`	Heuristic algorithms for route-search queries over geographical data. GIS Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv, Yerach Doytsher
2008	A*	`conf`	Incorporating constraints in probabilistic XML. PODS Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv
2008	—	`conf`	Keyword proximity search in complex data graphs. SIGMOD Conference Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv
2008	J	`jnl`	Modeling and querying probabilistic XML data. SIGMOD Rec. Benny Kimelfeld, Yehoshua Sagiv
2008	—	`conf`	Query efficiency in probabilistic XML models. SIGMOD Conference Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv
2008	B	`conf`	Revisiting redundancy and minimization in an XPath fragment. EDBT Benny Kimelfeld, Yehoshua Sagiv
2007	J	`jnl`	An incremental algorithm for computing ranked full disjunctions. J. Comput. Syst. Sci. Sara Cohen, Yehoshua Sagiv
2007	A	`conf`	Combining Incompleteness and Ranking in Tree Queries. ICDT Benny Kimelfeld, Yehoshua Sagiv
2007	B	`conf`	Computing a SSTD Eliyahu Safra, Yaron Kanza, Nir Dolev, Yehoshua Sagiv, Yerach Doytsher
2007	J	`jnl`	Deciding equivalences among conjunctive aggregate queries. J. ACM Sara Cohen, Werner Nutt, Yehoshua Sagiv
2007	A*	`conf`	Matching Twigs in Probabilistic XML. VLDB Benny Kimelfeld, Yehoshua Sagiv
2007	A*	`conf`	Maximally joining probabilistic data. PODS Benny Kimelfeld, Yehoshua Sagiv
2006	—	`conf`	Efficient integration of road maps. GIS Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher
2006	A*	`conf`	Finding and approximating top-k answers in keyword proximity search. PODS Benny Kimelfeld, Yehoshua Sagiv
2006	A*	`conf`	Full Disjunctions: Polynomial-Delay Iterators in Action. VLDB Sara Cohen, Itzhak Fadida, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv
2006	—	`conf`	Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries. NGITS Benny Kimelfeld, Yehoshua Sagiv
2006	C	`conf`	Integrating Data from Maps on the World-Wide Web. W2GIS Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher
2006	J	`jnl`	Rewriting queries with arbitrary aggregation functions using views. ACM Trans. Database Syst. Sara Cohen, Werner Nutt, Yehoshua Sagiv
2006	—	`conf`	Twig Patterns: From XML Trees to Graphs. WebDB Benny Kimelfeld, Yehoshua Sagiv
2006	—	`conf`	Using Language Models and the HITS Algorithm for XML Retrieval. INEX Benny Kimelfeld, Eitan Kovacs, Yehoshua Sagiv, Dan Yahav
2005	A	`conf`	An Abstract Framework for Generating Maximal Answers to Queries. ICDT Sara Cohen, Yehoshua Sagiv
2005	A*	`conf`	An incremental algorithm for computing ranked full disjunctions. PODS Sara Cohen, Yehoshua Sagiv
2005	—	`conf`	Efficient Engines for Keyword Proximity Search. WebDB Benny Kimelfeld, Yehoshua Sagiv
2005	—	`conf`	Efficiently Enumerating Results of Keyword Search. DBPL Benny Kimelfeld, Yehoshua Sagiv
2005	J	`jnl`	Equivalences among aggregate queries with negation. ACM Trans. Comput. Log. Sara Cohen, Yehoshua Sagiv, Werner Nutt
2005	—	`conf`	Finding corresponding objects when integrating several geo-spatial datasets. GIS Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2005	A	`conf`	Interconnection semantics for keyword search in XML. CIKM Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv
2004	J	`jnl`	Generating All Maximal Induced Subgraphs for Hereditary Connected-Hereditary and Rooted-Hereditary Properties CoRR Sara Cohen, Yehoshua Sagiv
2004	A*	`conf`	Object Fusion in Geographic Information Systems. VLDB Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2004	—	`ch.`	Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2003	A*	`conf`	Computing full disjunctions. PODS Yaron Kanza, Yehoshua Sagiv
2003	A	`conf`	Containment of Aggregate Queries. ICDT Sara Cohen, Werner Nutt, Yehoshua Sagiv
2003	A	`conf`	Generating Relations from XML Documents. ICDT Sara Cohen, Yaron Kanza, Yehoshua Sagiv
2003	—	`conf`	Searching in an XML Corpus Using Content and Structure. INEX Yiftah Ben-Aharon, Sara Cohen, Yael Grumbach, Yaron Kanza, Jonathan Mamou, Yehoshua Sagiv, Benjamin Sznajder, Efrat Twito
2003	A*	`conf`	XSEarch: A Semantic Search Engine for XML. VLDB Sara Cohen, Jonathan Mamou, Yaron Kanza, Yehoshua Sagiv
2002	J	`jnl`	A Formal Yet Practical Approach to Electronic Commerce. Int. J. Cooperative Inf. Syst. David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv
2002	J	`jnl`	EquiX - A search and query language for XML. J. Assoc. Inf. Sci. Technol. Sara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik
2002	J	`jnl`	Equivalences Among Aggregate Queries with Negation CoRR Sara Cohen, Werner Nutt, Yehoshua Sagiv
2002	J	`jnl`	Querying Incomplete Information in Semistructured Data. J. Comput. Syst. Sci. Yaron Kanza, Werner Nutt, Yehoshua Sagiv
2002	—	`conf`	Select-Project Queries over XML Documents. NGITS Sara Cohen, Yaron Kanza, Yehoshua Sagiv
2001	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2001	J	`jnl`	EquiX - A Search and Query Language for XML CoRR Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
2001	A*	`conf`	Equivalences among Aggregate Queries with Negation. PODS Sara Cohen, Werner Nutt, Yehoshua Sagiv
2001	A*	`conf`	Flexible Queries Over Semistructured Data. PODS Yaron Kanza, Yehoshua Sagiv
2001	—	`conf`	SQL4X: A Flexible Query Language for XML and Relational Databases. DBPL Sara Cohen, Yaron Kanza, Yehoshua Sagiv
2001	J	`jnl`	Static analysis in datalog extensions. J. ACM Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
2000	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000	J	`jnl`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000	B	`conf`	Combining the Power of Searching and Querying. CoopIS Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	J	`jnl`	EquiX - A Search and Query Language for XML CoRR Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
1999	B	`conf`	A Formal Yet Practical Approach to Electronic Commerce. CoopIS David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv
1999	—	`conf`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Verification of Logic Programs@ICLP Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999	—	`conf`	EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
1999	—	`conf`	Incomplete Answers for Queries over Semistructured Data. KRDB Yaron Kanza, Werner Nutt, Yehoshua Sagiv
1999	J	`jnl`	Inference of monotonicity constraints in Datalog programs. Ann. Math. Artif. Intell. Alexander Brodsky, Yehoshua Sagiv
1999	A*	`conf`	Queries with Incomplete Answers over Semistructured Data. PODS Yaron Kanza, Werner Nutt, Yehoshua Sagiv
1999	—	`conf`	Querying Semantically Tagged Documents on the World-Wide Web. NGITS Ziv Bar-Yossef, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv
1998	A*	`conf`	Deciding Equivalences Among Aggregate Queries. PODS Werner Nutt, Yehoshua Sagiv, Sara Shurin
1998	J	`jnl`	Utilizing the Multiple Facets of WWW Contents. Data Knowl. Eng. Yakov A. Kogan, David Michaeli, Yehoshua Sagiv, Oded Shmueli
1998	—	`conf`	WebSuite: A Tool Suite for Harnessing Web Data. WebDB Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim
1997	B	`conf`	Automatic Termination Analysis of Logic Programs. ICLP Naomi Lindenstrauss, Yehoshua Sagiv
1997	—	`conf`	Classification Rules for Semi-Structured Data. Description Logics David Michaeli, Werner Nutt, Yehoshua Sagiv
1997	J	`jnl`	Monotonic Aggregation in Deductive Database. J. Comput. Syst. Sci. Kenneth A. Ross, Yehoshua Sagiv
1997	J	`jnl`	Querying Semistructured Heterogeneous Information. J. Syst. Integr. Dallan Quass, Anand Rajaraman, Jeffrey D. Ullman, Jennifer Widom, Yehoshua Sagiv
1997	J	`jnl`	Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Artif. Intell. Alon Y. Levy, Richard Fikes, Yehoshua Sagiv
1997	A*	`conf`	TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997	J	`jnl`	The TSIMMIS Approach to Mediation: Data Models and Languages. J. Intell. Inf. Syst. Hector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Vasilis Vassalos, Jennifer Widom
1997	C	`conf`	Unfolding the Mystery of LOPSTR Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997	—	`conf`	Utilizing the Multiple Facets of WWW Contents. NGITS Yakov A. Kogan, David Michaeli, Yehoshua Sagiv, Oded Shmueli
1996	A	`conf`	Decomposition of Relationships through Pivoting. ER Joachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv
1995	A*	`conf`	Answering Queries Using Templates with Binding Patterns. PODS Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman
1995	A*	`conf`	Answering Queries Using Views. PODS Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, Divesh Srivastava
1995	J	`jnl`	Argument Reduction by Factoring. Theor. Comput. Sci. Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman
1995	J	`jnl`	Editor's Forword. J. Comput. Syst. Sci. Yehoshua Sagiv
1995	J	`jnl`	Optimization of a Subclass of Conjunctive Queries. Acta Informatica Joachim Biskup, Pratul Dublish, Yehoshua Sagiv
1995	—	`conf`	Querying Semistructured Heterogeneous Information. DOOD Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
1995	A*	`conf`	Semantic Query Optimization in Datalog Programs. PODS Alon Y. Levy, Yehoshua Sagiv
1995	—	`conf`	The TSIMMIS Approach to Mediation: Data Models and Languages. NGITS Hector Garcia-Molina, Dallan Quass, Yannis Papakonstantinou, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
1994	A*	`conf`	Constraint Checking with Partial Information. PODS Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
1994	—	`conf`	Efficient and Complete Tests for Database Integrity Constraint Checking. PPCP Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
1994	A*	`conf`	Query Optimization by Predicate Move-Around. VLDB Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv
1994	—	`conf`	Semantic Query Optimization in Datalog Programs. ILPS Workshop: Constraints and Databases Alon Y. Levy, Yehoshua Sagiv
1994	—	`conf`	Validating Constraints with Partial Information: Research Overview. DAISD Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman
1993	A*	`conf`	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
1993	A*	`conf`	Exploiting Irrelevance Reasoning to Guide Problem Solving. IJCAI Alon Y. Levy, Yehoshua Sagiv
1993	J	`jnl`	Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi
1993	A*	`conf`	Queries Independent of Updates. VLDB Alon Y. Levy, Yehoshua Sagiv
1993	J	`jnl`	Solving Queries by Tree Projections. ACM Trans. Database Syst. Yehoshua Sagiv, Oded Shmueli
1993	B	`conf`	Tools for Deductive Databases (Abstract). LPNMR Yehoshua Sagiv
1993	J	`jnl`	Undecidable Optimization Problems for Database Logic Programs. J. ACM Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
1992	A*	`conf`	Constraints and Redundancy in Datalog. PODS Alon Y. Levy, Yehoshua Sagiv
1992	—	`conf`	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. Workshop on Deductive Databases, JICSLP Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
1992	J	`jnl`	Minimizing Restricted-Fanout Queries. Discret. Appl. Math. Yehoshua Sagiv, Yatin P. Saraiya
1992	A*	`conf`	Monotonic Aggregation in Deductive Databases. PODS Kenneth A. Ross, Yehoshua Sagiv
1992	—	`conf`	Querying Object-Oriented Databases. SIGMOD Conference Michael Kifer, Won Kim, Yehoshua Sagiv
1991	J	`jnl`	A Simple Characterization of Uniform Boundedness for a Class of Recursions. J. Log. Program. Jeffrey F. Naughton, Yehoshua Sagiv
1991	—	`conf`	A Termination Test for Logic Programs. ISLP Yehoshua Sagiv
1991	J	`jnl`	Evaluation of Queries in Independent Database Schemes. J. ACM Yehoshua Sagiv
1991	A*	`conf`	Inference of Inequality Constraints in Logic Programs. PODS Alexander Brodsky, Yehoshua Sagiv
1991	—	`conf`	On Testing Effective Computability of Magic Programs. DOOD Yehoshua Sagiv
1990	—	`conf`	Is There Anything Better than Magic? NACLP Yehoshua Sagiv
1990	A	`conf`	Optimizatioin of a Subclass of Conjunctive Queries. ICDT Pratul Dublish, Joachim Biskup, Yehoshua Sagiv
1990	A*	`ed.`	Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA Daniel J. Rosenkrantz, Yehoshua Sagiv
1989	J	`jnl`	A Characterization of Finite fd-Acyclicity. J. Comput. Syst. Sci. Yehoshua Sagiv, Oded Shmueli
1989	A*	`conf`	Argument Reduction by Factoring. VLDB Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman
1989	J	`jnl`	Concurrency and Trie Hashing. Acta Informatica Witold Litwin, Yehoshua Sagiv, K. Vidyasankar
1989	—	`conf`	Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules. SIGMOD Conference Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman
1989	A*	`conf`	Inference of Monotonicity Constraints in Datalog Programs. PODS Alexander Brodsky, Yehoshua Sagiv
1989	—	`conf`	On Termination of Datalog Programs. DOOD Alexander Brodsky, Yehoshua Sagiv
1989	J	`jnl`	On the Convergence of Query Evaluation. J. Comput. Syst. Sci. Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman
1989	A*	`conf`	Proof-Tree Transformation Theorems and Their Applications. PODS Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi
1989	A*	`conf`	Safety of Datalog Queries over Infinite Databases. PODS Yehoshua Sagiv, Moshe Y. Vardi
1988	J	`jnl`	On Bounded Database Schemes and Bounded Horn-Clause Programs. SIAM J. Comput. Yehoshua Sagiv
1988	—	`ch.`	Optimizing Datalog Programs. Foundations of Deductive Databases and Logic Programming. Yehoshua Sagiv
1987	A*	`conf`	A Decidable Class of Bounded Recursions. PODS Jeffrey F. Naughton, Yehoshua Sagiv
1987	J	`jnl`	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". J. ACM Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin
1987	A*	`conf`	Optimizing Datalog Programs. PODS Yehoshua Sagiv
1987	A*	`conf`	Undecidable Optimization Problems for Database Logic Programs LICS Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
1986	J	`jnl`	Concurrent Operations on B*-Trees with Overtaking. J. Comput. Syst. Sci. Yehoshua Sagiv
1986	A*	`conf`	Convergence of Sideways Query Evaluation. PODS Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman
1986	A*	`conf`	Magic Sets and Other Strange Ways to Implement Logic Programs. PODS François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman
1986	A*	`conf`	On Finite FD-Acyclicity. PODS Yehoshua Sagiv, Oded Shmueli
1986	—	`conf`	Optimizing Datalog Programs. XP7.52 Workshop on Database Theory Yehoshua Sagiv
1986	A*	`conf`	The Equivalence of Solving Queries and Production Tree Projections. PODS Yehoshua Sagiv, Oded Shmueli
1985	A*	`conf`	Concurrent Operations on B-Trees with Overtaking. PODS Yehoshua Sagiv
1985	A*	`conf`	On Computing Restricted Projections of Representative Instances. PODS Yehoshua Sagiv
1983	J	`jnl`	A Characterization of Globally Consistent Databases and Their Correct Access Paths. ACM Trans. Database Syst. Yehoshua Sagiv
1983	—	`conf`	Designing Globally Consistent Network Schemas. SIGMOD Conference Sharon McCure Kuck, Yehoshua Sagiv
1983	J	`jnl`	Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions. SIAM J. Comput. Yehoshua Sagiv
1982	A*	`conf`	A Universal Relation Database System Implemented via the Network Model. PODS Sharon McCure Kuck, Yehoshua Sagiv
1982	J	`jnl`	Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies. J. ACM Yehoshua Sagiv, Scott F. Walecka
1981	J	`jnl`	An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin
1981	—	`conf`	Can We Use the Universal Instance Assumption Without Using Nulls? SIGMOD Conference Yehoshua Sagiv
1981	J	`jnl`	Equivalence of Relational Database Schemes. SIAM J. Comput. Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman
1981	J	`jnl`	Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions. SIAM J. Comput. Alfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, Jeffrey D. Ullman
1981	J	`jnl`	On the Complexity of Testing Implications of Functional and Join Dependencies. J. ACM David Maier, Yehoshua Sagiv, Mihalis Yannakakis
1980	J	`jnl`	An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. J. ACM Yehoshua Sagiv
1980	J	`jnl`	Equivalences Among Relational Expressions with the Union and Difference Operators. J. ACM Yehoshua Sagiv, Mihalis Yannakakis
1979	J	`jnl`	Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
1979	A*	`conf`	Equivalence of Relational Database Schemes STOC Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman
1979	J	`jnl`	Equivalences Among Relational Expressions. SIAM J. Comput. Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
1979	—	`conf`	Testing Implications of Data Dependencies (Abstract). SIGMOD Conference David Maier, Alberto O. Mendelzon, Yehoshua Sagiv
1979	J	`jnl`	Testing Implications of Data Dependencies. ACM Trans. Database Syst. David Maier, Alberto O. Mendelzon, Yehoshua Sagiv
1978	—	`conf`	Efficient Optimization of a Class of Relational Expressions (Abstract). SIGMOD Conference Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
1978	A*	`conf`	Equivalence among Relational Expressions with the Union and Difference Operation. VLDB Yehoshua Sagiv, Mihalis Yannakakis
1978	J	`jnl`	Report on ACM-SIGMOD International Conference on Management of Data. IEEE Database Eng. Bull. Yehoshua Sagiv