Yehoshua Sagiv

According to our database, Yehoshua Sagiv authored at least 156 papers between 1978 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Location-Based Distance Measures for Geosocial Similarity.

Yaron Kanza, Elad Kravi, Eliyahu Safra, Yehoshua Sagiv

ACM Trans. Web, 2017

2016

A Practically Efficient Algorithm for Generating Answers to Keyword Search Over Data Graphs.

Konstantin Golenberg, Yehoshua Sagiv

Proceedings of the 19th International Conference on Database Theory, 2016

Virtual Documents and Answer Priors in Keyword Search over Data Graphs.

Yosi Mass, Yehoshua Sagiv

Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference, 2016

Constructing Data Graphs for Keyword Search.

Konstantin Golenberg, Yehoshua Sagiv

Proceedings of the Database and Expert Systems Applications, 2016

2015

A personalized GeoSocial app for surviving an earthquake.

Shlomo Bekhor, Sara Cohen, Yerach Doytsher, Yaron Kanza, Yehoshua Sagiv

Proceedings of the 1st ACM SIGSPATIAL International Workshop on the Use of GIS in Emergency Management, 2015

2014

Knowledge Management for Keyword Search over Data Graphs.

Yosi Mass, Yehoshua Sagiv

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

2013

<i>Ad hoc</i> matching of vectorial road networks.

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher

Int. J. Geogr. Inf. Sci., 2013

A personal perspective on keyword search over data graphs.

Yehoshua Sagiv

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Extracting minimum-weight tree patterns from a schema with neighborhood constraints.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

WISER: a web-based interactive route search system for smartphones.

Roi Friedman, Itsik Hefez, Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 21st World Wide Web Conference, 2012

Language models for keyword search over data graphs.

Yosi Mass, Yehoshua Sagiv

Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

2011

Optimizing and Parallelizing Ranked Enumeration.

Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv

Proc. VLDB Endow., 2011

KMV-peer: a robust and adaptive peer-selection algorithm.

Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer

Proceedings of the Forth International Conference on Web Search and Web Data Mining, 2011

Finding a minimal tree pattern under neighborhood constraints.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

IQ: The Case for Iterative Querying for Knowledge.

Yosi Mass, Maya Ramanath, Yehoshua Sagiv, Gerhard Weikum

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

2010

Interactive Route Search in the Presence of Order Constraints.

Roy Levin, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proc. VLDB Endow., 2010

Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets.

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher

Int. J. Geogr. Inf. Sci., 2010

Exploratory keyword search on data graphs.

Hilit Achiezra, Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

A peer-selection algorithm for information retrieval.

Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer

Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

2009

Query evaluation over probabilistic XML.

Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv

VLDB J., 2009

On the expressiveness of probabilistic XML models.

Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart

VLDB J., 2009

Incorporating constraints in probabilistic XML.

Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv

ACM Trans. Database Syst., 2009

Route Search over Probabilistic Geospatial Data.

Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the Advances in Spatial and Temporal Databases, 2009

ExQueX: exploring and querying XML documents.

Benny Kimelfeld, Yehoshua Sagiv, Gidi Weber

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

Running tree automata on probabilistic XML.

Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

An interactive approach to route search.

Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009

On rewriting XPath queries using views.

Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Benny Kimelfeld, Vassia Pavlaki, Yehoshua Sagiv

Proceedings of the EDBT 2009, 2009

A scalable and effective full-text search in P2P networks.

Yosi Mass, Yehoshua Sagiv, Michal Shmueli-Scheuer

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

Modeling and querying probabilistic XML data.

Benny Kimelfeld, Yehoshua Sagiv

SIGMOD Rec., 2008

Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties.

Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv

J. Comput. Syst. Sci., 2008

Efficiently enumerating results of keyword search over data graphs.

Benny Kimelfeld, Yehoshua Sagiv

Inf. Syst., 2008

Query efficiency in probabilistic XML models.

Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Keyword proximity search in complex data graphs.

Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Heuristic algorithms for route-search queries over geographical data.

Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv, Yerach Doytsher

Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

Revisiting redundancy and minimization in an XPath fragment.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the EDBT 2008, 2008

2007

An incremental algorithm for computing ranked full disjunctions.

Sara Cohen, Yehoshua Sagiv

J. Comput. Syst. Sci., 2007

Deciding equivalences among conjunctive aggregate queries.

Sara Cohen, Werner Nutt, Yehoshua Sagiv

J. ACM, 2007

Matching Twigs in Probabilistic XML.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Computing a <i>k</i> -Route over Uncertain Geographical Data.

Eliyahu Safra, Yaron Kanza, Nir Dolev, Yehoshua Sagiv, Yerach Doytsher

Proceedings of the Advances in Spatial and Temporal Databases, 2007

Maximally joining probabilistic data.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Combining Incompleteness and Ranking in Tree Queries.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Database Theory, 2007

2006

Rewriting queries with arbitrary aggregation functions using views.

Sara Cohen, Werner Nutt, Yehoshua Sagiv

ACM Trans. Database Syst., 2006

Twig Patterns: From XML Trees to Graphs.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Ninth International Workshop on the Web and Databases, 2006

Integrating Data from Maps on the World-Wide Web.

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher

Proceedings of the Web and Wireless Geographical Information Systems, 2006

Full Disjunctions: Polynomial-Delay Iterators in Action.

Sara Cohen, Itzhak Fadida, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Finding and approximating top-k answers in keyword proximity search.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Next Generation Information Technologies and Systems, 2006

Using Language Models and the HITS Algorithm for XML Retrieval.

Benny Kimelfeld, Eitan Kovacs, Yehoshua Sagiv, Dan Yahav

Proceedings of the Comparative Evaluation of XML Information Retrieval Systems, 2006

Efficient integration of road maps.

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach Doytsher

Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006

2005

Equivalences among aggregate queries with negation.

Sara Cohen, Yehoshua Sagiv, Werner Nutt

ACM Trans. Comput. Log., 2005

Efficient Engines for Keyword Proximity Search.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

An Abstract Framework for Generating Maximal Answers to Queries.

Sara Cohen, Yehoshua Sagiv

Proceedings of the Database Theory, 2005

Finding corresponding objects when integrating several geo-spatial datasets.

Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

Efficiently Enumerating Results of Keyword Search.

Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the Database Programming Languages, 10th International Symposium, 2005

Interconnection semantics for keyword search in XML.

Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv

Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 2005

2004

Generating All Maximal Induced Subgraphs for Hereditary Connected-Hereditary and Rooted-Hereditary Properties

Sara Cohen, Yehoshua Sagiv

CoRR, 2004

Object Fusion in Geographic Information Systems.

Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

XSEarch: A Semantic Search Engine for XML.

Sara Cohen, Jonathan Mamou, Yaron Kanza, Yehoshua Sagiv

Proceedings of 29th International Conference on Very Large Data Bases, 2003

Computing full disjunctions.

Yaron Kanza, Yehoshua Sagiv

Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

Searching in an XML Corpus Using Content and Structure.

Yiftah Ben-Aharon, Sara Cohen, Yael Grumbach, Yaron Kanza, Jonathan Mamou, Yehoshua Sagiv, Benjamin Sznajder, Efrat Twito

Proceedings of the INEX 2003 Workshop Proceedings, 2003

Containment of Aggregate Queries.

Sara Cohen, Werner Nutt, Yehoshua Sagiv

Proceedings of the Database Theory, 2003

Generating Relations from XML Documents.

Sara Cohen, Yaron Kanza, Yehoshua Sagiv

Proceedings of the Database Theory, 2003

2002

Querying Incomplete Information in Semistructured Data.

Yaron Kanza, Werner Nutt, Yehoshua Sagiv

J. Comput. Syst. Sci., 2002

EquiX - A search and query language for XML.

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik

J. Assoc. Inf. Sci. Technol., 2002

A Formal Yet Practical Approach to Electronic Commerce.

David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv

Int. J. Cooperative Inf. Syst., 2002

Select-Project Queries over XML Documents.

Sara Cohen, Yaron Kanza, Yehoshua Sagiv

Proceedings of the Next Generation Information Technologies and Systems, 2002

2001

Static analysis in datalog extensions.

Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli

J. ACM, 2001

A General Framework for Automatic Termination Analysis of Logic Programs.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Appl. Algebra Eng. Commun. Comput., 2001

Flexible Queries Over Semistructured Data.

Yaron Kanza, Yehoshua Sagiv

Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

SQL4X: A Flexible Query Language for XML and Relational Databases.

Sara Cohen, Yaron Kanza, Yehoshua Sagiv

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

Combining the Power of Searching and Querying.

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999

Automatic Termination Analysis of Programs Containing Arithmetic Predicates.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Inference of monotonicity constraints in Datalog programs.

Alexander Brodsky, Yehoshua Sagiv

Ann. Math. Artif. Intell., 1999

EquiX Easy Querying in XML Databases.

Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Queries with Incomplete Answers over Semistructured Data.

Yaron Kanza, Werner Nutt, Yehoshua Sagiv

Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Querying Semantically Tagged Documents on the World-Wide Web.

Ziv Bar-Yossef, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv

Proceedings of the Next Generation Information Technologies and Systems, 1999

Incomplete Answers for Queries over Semistructured Data.

Yaron Kanza, Werner Nutt, Yehoshua Sagiv

Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

1998

Utilizing the Multiple Facets of WWW Contents.

Yakov A. Kogan, David Michaeli, Yehoshua Sagiv, Oded Shmueli

Data Knowl. Eng., 1998

WebSuite: A Tool Suite for Harnessing Web Data.

Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim

Proceedings of the World Wide Web and Databases, 1998

Deciding Equivalences Among Aggregate Queries.

Werner Nutt, Yehoshua Sagiv, Sara Shurin

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

1997

Querying Semistructured Heterogeneous Information.

Dallan Quass, Anand Rajaraman, Jeffrey D. Ullman, Jennifer Widom, Yehoshua Sagiv

J. Syst. Integr., 1997

The TSIMMIS Approach to Mediation: Data Models and Languages.

Hector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Vasilis Vassalos, Jennifer Widom

J. Intell. Inf. Syst., 1997

Monotonic Aggregation in Deductive Database.

Kenneth A. Ross, Yehoshua Sagiv

J. Comput. Syst. Sci., 1997

Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.

Alon Y. Levy, Richard Fikes, Yehoshua Sagiv

Artif. Intell., 1997

Unfolding the Mystery of <i>Mergesort</i>.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Automatic Termination Analysis of Logic Programs.

Naomi Lindenstrauss, Yehoshua Sagiv

Proceedings of the Logic Programming, 1997

Classification Rules for Semi-Structured Data.

David Michaeli, Werner Nutt, Yehoshua Sagiv

Proceedings of the 1997 International Workshop on Description Logics, 1997

TermiLog: A System for Checking Termination of Queries to Logic Programs.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Decomposition of Relationships through Pivoting.

Joachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv

Proceedings of the Conceptual Modeling, 1996

1995

Argument Reduction by Factoring.

Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman

Theor. Comput. Sci., 1995

Editor's Forword.

Yehoshua Sagiv

J. Comput. Syst. Sci., 1995

Optimization of a Subclass of Conjunctive Queries.

Joachim Biskup, Pratul Dublish, Yehoshua Sagiv

Acta Informatica, 1995

Answering Queries Using Templates with Binding Patterns.

Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Answering Queries Using Views.

Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, Divesh Srivastava

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

The TSIMMIS Approach to Mediation: Data Models and Languages.

Hector Garcia-Molina, Dallan Quass, Yannis Papakonstantinou, Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom

Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

1994

Query Optimization by Predicate Move-Around.

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv

Proceedings of the VLDB'94, 1994

Semantic Query Optimization in Datalog Programs.

Alon Y. Levy, Yehoshua Sagiv

Proceedings of the ILPS 1994, 1994

Efficient and Complete Tests for Database Integrity Constraint Checking.

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom

Proceedings of the Principles and Practice of Constraint Programming, 1994

Constraint Checking with Partial Information.

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Validating Constraints with Partial Information: Research Overview.

Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

1993

Solving Queries by Tree Projections.

Yehoshua Sagiv, Oded Shmueli

ACM Trans. Database Syst., 1993

Logical Query Optimization by Proff-Tree Transformation.

Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi

J. Comput. Syst. Sci., 1993

Undecidable Optimization Problems for Database Logic Programs.

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi

J. ACM, 1993

Queries Independent of Updates.

Alon Y. Levy, Yehoshua Sagiv

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Tools for Deductive Databases (Abstract).

Yehoshua Sagiv

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Exploiting Irrelevance Reasoning to Guide Problem Solving.

Alon Y. Levy, Yehoshua Sagiv

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Minimizing Restricted-Fanout Queries.

Yehoshua Sagiv, Yatin P. Saraiya

Discret. Appl. Math., 1992

Querying Object-Oriented Databases.

Michael Kifer, Won Kim, Yehoshua Sagiv

Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Monotonic Aggregation in Deductive Databases.

Kenneth A. Ross, Yehoshua Sagiv

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Constraints and Redundancy in Datalog.

Alon Y. Levy, Yehoshua Sagiv

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli

Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992

1991

A Simple Characterization of Uniform Boundedness for a Class of Recursions.

Jeffrey F. Naughton, Yehoshua Sagiv

J. Log. Program., 1991

Evaluation of Queries in Independent Database Schemes.

Yehoshua Sagiv

J. ACM, 1991

A Termination Test for Logic Programs.

Yehoshua Sagiv

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Inference of Inequality Constraints in Logic Programs.

Alexander Brodsky, Yehoshua Sagiv

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

On Testing Effective Computability of Magic Programs.

Yehoshua Sagiv

Proceedings of the Deductive and Object-Oriented Databases, 1991

1990

Is There Anything Better than Magic?

Yehoshua Sagiv

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Optimizatioin of a Subclass of Conjunctive Queries.

Pratul Dublish, Joachim Biskup, Yehoshua Sagiv

Proceedings of the ICDT'90, 1990

1989

A Characterization of Finite fd-Acyclicity.

Yehoshua Sagiv, Oded Shmueli

J. Comput. Syst. Sci., 1989

On the Convergence of Query Evaluation.

Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman

J. Comput. Syst. Sci., 1989

Concurrency and Trie Hashing.

Witold Litwin, Yehoshua Sagiv, K. Vidyasankar

Acta Informatica, 1989

Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules.

Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Safety of Datalog Queries over Infinite Databases.

Yehoshua Sagiv, Moshe Y. Vardi

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Proof-Tree Transformation Theorems and Their Applications.

Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

On Termination of Datalog Programs.

Alexander Brodsky, Yehoshua Sagiv

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

On Bounded Database Schemes and Bounded Horn-Clause Programs.

Yehoshua Sagiv

SIAM J. Comput., 1988

Optimizing Datalog Programs.

Yehoshua Sagiv

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin

J. ACM, 1987

A Decidable Class of Bounded Recursions.

Jeffrey F. Naughton, Yehoshua Sagiv

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Concurrent Operations on B*-Trees with Overtaking.

Yehoshua Sagiv

J. Comput. Syst. Sci., 1986

Optimizing Datalog Programs.

Yehoshua Sagiv

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

On Finite FD-Acyclicity.

Yehoshua Sagiv, Oded Shmueli

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

The Equivalence of Solving Queries and Production Tree Projections.

Yehoshua Sagiv, Oded Shmueli

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Magic Sets and Other Strange Ways to Implement Logic Programs.

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Convergence of Sideways Query Evaluation.

Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

1985

On Computing Restricted Projections of Representative Instances.

Yehoshua Sagiv

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

1983

A Characterization of Globally Consistent Databases and Their Correct Access Paths.

Yehoshua Sagiv

ACM Trans. Database Syst., 1983

Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions.

Yehoshua Sagiv

SIAM J. Comput., 1983

Designing Globally Consistent Network Schemas.

Sharon McCure Kuck, Yehoshua Sagiv

Proceedings of the SIGMOD'83, 1983

1982

Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies.

Yehoshua Sagiv, Scott F. Walecka

J. ACM, 1982

A Universal Relation Database System Implemented via the Network Model.

Sharon McCure Kuck, Yehoshua Sagiv

Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1981

Equivalence of Relational Database Schemes.

Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman

SIAM J. Comput., 1981

Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions.

Alfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, Jeffrey D. Ullman

SIAM J. Comput., 1981

An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic.

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin

J. ACM, 1981

On the Complexity of Testing Implications of Functional and Join Dependencies.

David Maier, Yehoshua Sagiv, Mihalis Yannakakis

J. ACM, 1981

Can We Use the Universal Instance Assumption Without Using Nulls?

Yehoshua Sagiv

Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981

1980

Equivalences Among Relational Expressions with the Union and Difference Operators.

Yehoshua Sagiv, Mihalis Yannakakis

J. ACM, 1980

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic.

Yehoshua Sagiv

J. ACM, 1980

1979

Testing Implications of Data Dependencies.

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv

ACM Trans. Database Syst., 1979

Efficient Optimization of a Class of Relational Expressions.

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman

ACM Trans. Database Syst., 1979

Equivalences Among Relational Expressions.

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman

SIAM J. Comput., 1979

Testing Implications of Data Dependencies (Abstract).

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv

Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30, 1979

1978

Report on ACM-SIGMOD International Conference on Management of Data.

Yehoshua Sagiv

IEEE Database Eng. Bull., 1978

Equivalence among Relational Expressions with the Union and Difference Operation.

Yehoshua Sagiv, Mihalis Yannakakis

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

Efficient Optimization of a Class of Relational Expressions (Abstract).

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman

Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31, 1978