Search the dblp DataBase
Yehoshua Sagiv :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
François Bancilhon , David Maier , Yehoshua Sagiv , Jeffrey D. Ullman Magic Sets and Other Strange Ways to Implement Logic Programs. [Citation Graph (156, 3)][DBLP ] PODS, 1986, pp:1-15 [Conf ] Alfred V. Aho , Yehoshua Sagiv , Jeffrey D. Ullman Equivalences Among Relational Expressions. [Citation Graph (104, 0)][DBLP ] SIAM J. Comput., 1979, v:8, n:2, pp:218-246 [Journal ] David Maier , Alberto O. Mendelzon , Yehoshua Sagiv Testing Implications of Data Dependencies. [Citation Graph (86, 16)][DBLP ] ACM Trans. Database Syst., 1979, v:4, n:4, pp:455-469 [Journal ] Alon Y. Levy , Alberto O. Mendelzon , Yehoshua Sagiv , Divesh Srivastava Answering Queries Using Views. [Citation Graph (64, 19)][DBLP ] PODS, 1995, pp:95-104 [Conf ] Yehoshua Sagiv , Mihalis Yannakakis Equivalences Among Relational Expressions with the Union and Difference Operators. [Citation Graph (56, 0)][DBLP ] J. ACM, 1980, v:27, n:4, pp:633-655 [Journal ] Alfred V. Aho , Yehoshua Sagiv , Jeffrey D. Ullman Efficient Optimization of a Class of Relational Expressions. [Citation Graph (52, 18)][DBLP ] ACM Trans. Database Syst., 1979, v:4, n:4, pp:435-454 [Journal ] Yehoshua Sagiv Can We Use the Universal Instance Assumption Without Using Nulls? [Citation Graph (49, 23)][DBLP ] SIGMOD Conference, 1981, pp:108-120 [Conf ] Yehoshua Sagiv A Characterization of Globally Consistent Databases and Their Correct Access Paths. [Citation Graph (49, 21)][DBLP ] ACM Trans. Database Syst., 1983, v:8, n:2, pp:266-286 [Journal ] Michael Kifer , Won Kim , Yehoshua Sagiv Querying Object-Oriented Databases. [Citation Graph (47, 13)][DBLP ] SIGMOD Conference, 1992, pp:393-402 [Conf ] Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman Answering Queries Using Templates with Binding Patterns. [Citation Graph (32, 11)][DBLP ] PODS, 1995, pp:105-112 [Conf ] Yehoshua Sagiv Optimizing Datalog Programs. [Citation Graph (30, 22)][DBLP ] PODS, 1987, pp:349-362 [Conf ] Jeffrey F. Naughton , Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules. [Citation Graph (29, 12)][DBLP ] SIGMOD Conference, 1989, pp:235-242 [Conf ] 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 ] Alon Y. Levy , Yehoshua Sagiv Queries Independent of Updates. [Citation Graph (24, 9)][DBLP ] VLDB, 1993, pp:171-181 [Conf ] Catriel Beeri , Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman Equivalence of Relational Database Schemes. [Citation Graph (24, 0)][DBLP ] SIAM J. Comput., 1981, v:10, n:2, pp:352-370 [Journal ] Hector 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. [Citation Graph (22, 0)][DBLP ] J. Intell. Inf. Syst., 1997, v:8, n:2, pp:117-132 [Journal ] Ashish Gupta , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom Constraint Checking with Partial Information. [Citation Graph (20, 17)][DBLP ] PODS, 1994, pp:45-55 [Conf ] Jeffrey F. Naughton , Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman Argument Reduction by Factoring. [Citation Graph (20, 11)][DBLP ] VLDB, 1989, pp:173-182 [Conf ] Dallan Quass , Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom Querying Semistructured Heterogeneous Information. [Citation Graph (19, 0)][DBLP ] DOOD, 1995, pp:319-344 [Conf ] Jeffrey F. Naughton , Yehoshua Sagiv A Decidable Class of Bounded Recursions. [Citation Graph (19, 9)][DBLP ] PODS, 1987, pp:227-236 [Conf ] Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv Query Optimization by Predicate Move-Around. [Citation Graph (18, 16)][DBLP ] VLDB, 1994, pp:96-107 [Conf ] Yehoshua Sagiv Concurrent Operations on B*-Trees with Overtaking. [Citation Graph (18, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:33, n:2, pp:275-296 [Journal ] Yehoshua Sagiv , Claude Delobel , Douglas Stott Parker Jr. , Ronald Fagin An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. [Citation Graph (17, 0)][DBLP ] J. ACM, 1981, v:28, n:3, pp:435-453 [Journal ] Yehoshua Sagiv On Computing Restricted Projections of Representative Instances. [Citation Graph (16, 24)][DBLP ] PODS, 1985, pp:171-180 [Conf ] Alon Y. Levy , Yehoshua Sagiv Constraints and Redundancy in Datalog. [Citation Graph (15, 12)][DBLP ] PODS, 1992, pp:67-80 [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 ] Sharon McCure Kuck , Yehoshua Sagiv A Universal Relation Database System Implemented via the Network Model. [Citation Graph (13, 22)][DBLP ] PODS, 1982, pp:147-157 [Conf ] Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. [Citation Graph (13, 9)][DBLP ] PODS, 1993, pp:109-122 [Conf ] Yehoshua Sagiv Concurrent Operations on B-Trees with Overtaking. [Citation Graph (13, 7)][DBLP ] PODS, 1985, pp:28-37 [Conf ] David Maier , Yehoshua Sagiv , Mihalis Yannakakis On the Complexity of Testing Implications of Functional and Join Dependencies. [Citation Graph (13, 0)][DBLP ] J. ACM, 1981, v:28, n:4, pp:680-695 [Journal ] Alexander Brodsky , Yehoshua Sagiv Inference of Monotonicity Constraints in Datalog Programs. [Citation Graph (10, 5)][DBLP ] PODS, 1989, pp:190-199 [Conf ] Yehoshua Sagiv Evaluation of Queries in Independent Database Schemes. [Citation Graph (10, 0)][DBLP ] J. ACM, 1991, v:38, n:1, pp:120-161 [Journal ] Hector Garcia-Molina , Dallan Quass , Yannis Papakonstantinou , Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom The TSIMMIS Approach to Mediation: Data Models and Languages. [Citation Graph (9, 0)][DBLP ] NGITS, 1995, pp:0-0 [Conf ] Catriel Beeri , Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman Equivalence of Relational Database Schemes [Citation Graph (9, 0)][DBLP ] STOC, 1979, pp:319-329 [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 ] Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ] Yehoshua Sagiv Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions. [Citation Graph (8, 0)][DBLP ] SIAM J. Comput., 1983, v:12, n:2, pp:316-328 [Journal ] Foto N. Afrati , Christos H. Papadimitriou , George Papageorgiou , Athena Roussou , Yehoshua Sagiv , Jeffrey D. Ullman Convergence of Sideways Query Evaluation. [Citation Graph (7, 1)][DBLP ] PODS, 1986, pp:24-30 [Conf ] Yehoshua Sagiv On Bounded Database Schemes and Bounded Horn-Clause Programs. [Citation Graph (6, 0)][DBLP ] SIAM J. Comput., 1988, v:17, n:1, pp:1-22 [Journal ] Alexander Brodsky , Yehoshua Sagiv On Termination of Datalog Programs. [Citation Graph (5, 0)][DBLP ] DOOD, 1989, pp:47-64 [Conf ] Alexander Brodsky , Yehoshua Sagiv Inference of Inequality Constraints in Logic Programs. [Citation Graph (5, 17)][DBLP ] PODS, 1991, pp:227-240 [Conf ] Alon Y. Levy , Yehoshua Sagiv Semantic Query Optimization in Datalog Programs. [Citation Graph (5, 11)][DBLP ] PODS, 1995, pp:163-173 [Conf ] Yehoshua Sagiv Is There Anything Better than Magic? [Citation Graph (5, 0)][DBLP ] NACLP, 1990, pp:235-254 [Conf ] Yehoshua Sagiv An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. [Citation Graph (5, 0)][DBLP ] J. ACM, 1980, v:27, n:2, pp:250-262 [Journal ] Foto N. Afrati , Christos H. Papadimitriou , George Papageorgiou , Athena Roussou , Yehoshua Sagiv , Jeffrey D. Ullman On the Convergence of Query Evaluation. [Citation Graph (5, 0)][DBLP ] J. Comput. Syst. Sci., 1989, v:38, n:2, pp:341-359 [Journal ] Yehoshua Sagiv , Mihalis Yannakakis Equivalence among Relational Expressions with the Union and Difference Operation. [Citation Graph (4, 16)][DBLP ] VLDB, 1978, pp:535-548 [Conf ] Werner Nutt , Yehoshua Sagiv , Sara Shurin Deciding Equivalences Among Aggregate Queries. [Citation Graph (3, 12)][DBLP ] PODS, 1998, pp:214-223 [Conf ] Kenneth A. Ross , Yehoshua Sagiv Monotonic Aggregation in Deductive Databases. [Citation Graph (3, 10)][DBLP ] PODS, 1992, pp:114-126 [Conf ] Alfred V. Aho , Yehoshua Sagiv , Jeffrey D. Ullman Efficient Optimization of a Class of Relational Expressions (Abstract). [Citation Graph (3, 0)][DBLP ] SIGMOD Conference, 1978, pp:39- [Conf ] Catriel 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. [Citation Graph (3, 0)][DBLP ] WebDB, 1998, pp:152-171 [Conf ] Yehoshua Sagiv , Scott F. Walecka Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies. [Citation Graph (3, 0)][DBLP ] J. ACM, 1982, v:29, n:1, pp:103-117 [Journal ] Alfred 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. [Citation Graph (3, 0)][DBLP ] SIAM J. Comput., 1981, v:10, n:3, pp:405-421 [Journal ] Yehoshua Sagiv On Testing Effective Computability of Magic Programs. [Citation Graph (2, 0)][DBLP ] DOOD, 1991, pp:244-262 [Conf ] Pratul Dublish , Joachim Biskup , Yehoshua Sagiv Optimizatioin of a Subclass of Conjunctive Queries. [Citation Graph (2, 6)][DBLP ] ICDT, 1990, pp:455-469 [Conf ] Yehoshua Sagiv , Oded Shmueli The Equivalence of Solving Queries and Production Tree Projections. [Citation Graph (2, 24)][DBLP ] PODS, 1986, pp:160-172 [Conf ] Sharon McCure Kuck , Yehoshua Sagiv Designing Globally Consistent Network Schemas. [Citation Graph (2, 15)][DBLP ] SIGMOD Conference, 1983, pp:185-195 [Conf ] Yakov A. Kogan , David Michaeli , Yehoshua Sagiv , Oded Shmueli Utilizing the Multiple Facets of WWW Contents. [Citation Graph (2, 0)][DBLP ] Data Knowl. Eng., 1998, v:28, n:3, pp:255-275 [Journal ] Yehoshua Sagiv , Claude Delobel , Douglas Stott Parker Jr. , Ronald Fagin Correction to ``An equivalence between relational database dependencies and a fragment of propositional logic''. [Citation Graph (2, 0)][DBLP ] J. ACM, 1987, v:34, n:4, pp:1016-1018 [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 ] Ziv Bar-Yossef , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv Querying Semantically Tagged Documents on the World-Wide Web. [Citation Graph (1, 0)][DBLP ] NGITS, 1999, pp:2-19 [Conf ] Yakov A. Kogan , David Michaeli , Yehoshua Sagiv , Oded Shmueli Utilizing the Multiple Facets of WWW Contents. [Citation Graph (1, 0)][DBLP ] NGITS, 1997, pp:0-0 [Conf ] Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik EquiX Easy Querying in XML Databases. [Citation Graph (1, 0)][DBLP ] WebDB (Informal Proceedings), 1999, pp:43-48 [Conf ] Yehoshua Sagiv , Oded Shmueli A Characterization of Finite fd-Acyclicity. [Citation Graph (1, 0)][DBLP ] J. Comput. Syst. Sci., 1989, v:38, n:2, pp:380-404 [Journal ] Jeffrey F. Naughton , Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman Argument Reduction by Factoring. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1995, v:146, n:1&2, pp:269-310 [Journal ] Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik TermiLog: A System for Checking Termination of Queries to Logic Programs. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:444-447 [Conf ] Sara Cohen , Yaron Kanza , Benny Kimelfeld , Yehoshua Sagiv Interconnection semantics for keyword search in XML. [Citation Graph (0, 0)][DBLP ] CIKM, 2005, pp:389-396 [Conf ] Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik Combining the Power of Searching and Querying. [Citation Graph (0, 4)][DBLP ] CoopIS, 2000, pp:54-65 [Conf ] David Konopnicki , Lior Leiba , Oded Shmueli , Yehoshua Sagiv A Formal Yet Practical Approach to Electronic Commerce. [Citation Graph (0, 0)][DBLP ] CoopIS, 1999, pp:197-208 [Conf ] Jennifer Widom , Ashish Gupta , Yehoshua Sagiv , Jeffrey D. Ullman Validating Constraints with Partial Information: Research Overview. [Citation Graph (0, 0)][DBLP ] DAISD, 1994, pp:375-385 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Efficiently Enumerating Results of Keyword Search. [Citation Graph (0, 0)][DBLP ] DBPL, 2005, pp:58-73 [Conf ] Sara Cohen , Yaron Kanza , Yehoshua Sagiv SQL4X: A Flexible Query Language for XML and Relational Databases. [Citation Graph (0, 0)][DBLP ] DBPL, 2001, pp:263-280 [Conf ] Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. [Citation Graph (0, 0)][DBLP ] Workshop on Deductive Databases, JICSLP, 1992, pp:1-10 [Conf ] David Michaeli , Werner Nutt , Yehoshua Sagiv Classification Rules for Semi-Structured Data. [Citation Graph (0, 0)][DBLP ] Description Logics, 1997, pp:- [Conf ] Joachim Biskup , Ralf Menzel , Torsten Polle , Yehoshua Sagiv Decomposition of Relationships through Pivoting. [Citation Graph (0, 18)][DBLP ] ER, 1996, pp:28-41 [Conf ] Catriel Beeri , Yerach Doytsher , Yaron Kanza , Eliyahu Safra , Yehoshua Sagiv Finding corresponding objects when integrating several geo-spatial datasets. [Citation Graph (0, 0)][DBLP ] GIS, 2005, pp:87-96 [Conf ] Eliyahu Safra , Yaron Kanza , Yehoshua Sagiv , Yerach Doytsher Efficient integration of road maps. [Citation Graph (0, 0)][DBLP ] GIS, 2006, pp:59-66 [Conf ] Sara Cohen , Yehoshua Sagiv An Abstract Framework for Generating Maximal Answers to Queries. [Citation Graph (0, 0)][DBLP ] ICDT, 2005, pp:129-143 [Conf ] Sara Cohen , Yaron Kanza , Yehoshua Sagiv Generating Relations from XML Documents. [Citation Graph (0, 0)][DBLP ] ICDT, 2003, pp:282-296 [Conf ] Sara Cohen , Werner Nutt , Yehoshua Sagiv Containment of Aggregate Queries. [Citation Graph (0, 0)][DBLP ] ICDT, 2003, pp:111-125 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Combining Incompleteness and Ranking in Tree Queries. [Citation Graph (0, 0)][DBLP ] ICDT, 2007, pp:329-343 [Conf ] Naomi Lindenstrauss , Yehoshua Sagiv Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:63-77 [Conf ] Alon Y. Levy , Yehoshua Sagiv Exploiting Irrelevance Reasoning to Guide Problem Solving. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:138-145 [Conf ] Yaron Kanza , Werner Nutt , Yehoshua Sagiv Incomplete Answers for Queries over Semistructured Data. [Citation Graph (0, 0)][DBLP ] KRDB, 1999, pp:21-25 [Conf ] Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:453-498 [Conf ] Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik Unfolding the Mystery of Mergesort . [Citation Graph (0, 0)][DBLP ] LOPSTR, 1997, pp:206-225 [Conf ] Yehoshua Sagiv Tools for Deductive Databases (Abstract). [Citation Graph (0, 0)][DBLP ] LPNMR, 1993, pp:333- [Conf ] Benny Kimelfeld , Yehoshua Sagiv Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries. [Citation Graph (0, 0)][DBLP ] NGITS, 2006, pp:141-152 [Conf ] Sara Cohen , Yaron Kanza , Yehoshua Sagiv Select-Project Queries over XML Documents. [Citation Graph (0, 0)][DBLP ] NGITS, 2002, pp:2-13 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Finding and approximating top-k answers in keyword proximity search. [Citation Graph (0, 0)][DBLP ] PODS, 2006, pp:173-182 [Conf ] Sara Cohen , Werner Nutt , Yehoshua Sagiv Equivalences among Aggregate Queries with Negation. [Citation Graph (0, 0)][DBLP ] PODS, 2001, pp:- [Conf ] Sara Cohen , Yehoshua Sagiv An incremental algorithm for computing ranked full disjunctions. [Citation Graph (0, 0)][DBLP ] PODS, 2005, pp:98-107 [Conf ] Yaron Kanza , Werner Nutt , Yehoshua Sagiv Queries with Incomplete Answers over Semistructured Data. [Citation Graph (0, 33)][DBLP ] PODS, 1999, pp:227-236 [Conf ] Yaron Kanza , Yehoshua Sagiv Flexible Queries Over Semistructured Data. [Citation Graph (0, 0)][DBLP ] PODS, 2001, pp:- [Conf ] Yaron Kanza , Yehoshua Sagiv Computing full disjunctions. [Citation Graph (0, 0)][DBLP ] PODS, 2003, pp:78-89 [Conf ] Yehoshua Sagiv , Oded Shmueli On Finite FD-Acyclicity. [Citation Graph (0, 18)][DBLP ] PODS, 1986, pp:173-182 [Conf ] Ashish Gupta , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom Efficient and Complete Tests for Database Integrity Constraint Checking. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:173-180 [Conf ] David Maier , Alberto O. Mendelzon , Yehoshua Sagiv Testing Implications of Data Dependencies (Abstract). [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 1979, pp:152- [Conf ] Yehoshua Sagiv A Termination Test for Logic Programs. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:518-532 [Conf ] Catriel Beeri , Yaron Kanza , Eliyahu Safra , Yehoshua Sagiv Object Fusion in Geographic Information Systems. [Citation Graph (0, 0)][DBLP ] VLDB, 2004, pp:816-827 [Conf ] Sara Cohen , Itzhak Fadida , Yaron Kanza , Benny Kimelfeld , Yehoshua Sagiv Full Disjunctions: Polynomial-Delay Iterators in Action. [Citation Graph (0, 0)][DBLP ] VLDB, 2006, pp:739-750 [Conf ] Sara Cohen , Jonathan Mamou , Yaron Kanza , Yehoshua Sagiv XSEarch: A Semantic Search Engine for XML. [Citation Graph (0, 0)][DBLP ] VLDB, 2003, pp:45-56 [Conf ] Eliyahu Safra , Yaron Kanza , Yehoshua Sagiv , Yerach Doytsher Integrating Data from Maps on the World-Wide Web. [Citation Graph (0, 0)][DBLP ] W2GIS, 2006, pp:180-191 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Efficient Engines for Keyword Proximity Search. [Citation Graph (0, 0)][DBLP ] WebDB, 2005, pp:67-72 [Conf ] Yehoshua Sagiv Optimizing Datalog Programs. [Citation Graph (0, 0)][DBLP ] XP7.52 Workshop on Database Theory, 1986, pp:- [Conf ] Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik A General Framework for Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:1/2, pp:117-156 [Journal ] Joachim Biskup , Pratul Dublish , Yehoshua Sagiv Optimization of a Subclass of Conjunctive Queries [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:1, pp:1-26 [Journal ] Witold Litwin , Yehoshua Sagiv , K. Vidyasankar Concurrency and Trie Hashing. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1989, v:26, n:7, pp:597-614 [Journal ] Alon Y. Levy , Richard Fikes , Yehoshua Sagiv Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1997, v:97, n:1-2, pp:83-136 [Journal ] Alexander Brodsky , Yehoshua Sagiv Inference of monotonicity constraints in Datalog programs. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:29-57 [Journal ] Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik EquiX - A Search and Query Language for XML [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik EquiX - A Search and Query Language for XML [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Sara Cohen , Werner Nutt , Yehoshua Sagiv Equivalences Among Aggregate Queries with Negation [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Sara Cohen , Yehoshua Sagiv Generating All Maximal Induced Subgraphs for Hereditary Connected-Hereditary and Rooted-Hereditary Properties [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik Automatic Termination Analysis of Programs Containing Arithmetic Predicates [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik A General Framework for Automatic Termination Analysis of Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Yehoshua Sagiv , Yatin P. Saraiya Minimizing Restricted-Fanout Queries. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 1992, v:40, n:2, pp:245-264 [Journal ] David Konopnicki , Lior Leiba , Oded Shmueli , Yehoshua Sagiv A Formal Yet Practical Approach to Electronic Commerce. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2002, v:11, n:1-2, pp:93-117 [Journal ] Alon Y. Halevy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli Static analysis in datalog extensions. [Citation Graph (0, 0)][DBLP ] J. ACM, 2001, v:48, n:5, pp:971-1012 [Journal ] Sara Cohen , Werner Nutt , Yehoshua Sagiv Deciding equivalences among conjunctive aggregate queries. [Citation Graph (0, 0)][DBLP ] J. ACM, 2007, v:54, n:2, pp:- [Journal ] Sara Cohen , Yaron Kanza , Yakov A. Kogan , Yehoshua Sagiv , Werner Nutt , Alexander Serebrenik EquiX - A search and query language for XML. [Citation Graph (0, 0)][DBLP ] JASIST, 2002, v:53, n:6, pp:454-466 [Journal ] Yaron Kanza , Werner Nutt , Yehoshua Sagiv Querying Incomplete Information in Semistructured Data. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2002, v:64, n:3, pp:655-693 [Journal ] Kenneth A. Ross , Yehoshua Sagiv Monotonic Aggregation in Deductive Database. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1997, v:54, n:1, pp:79-97 [Journal ] Yehoshua Sagiv Editor's Forword. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1995, v:51, n:1, pp:1- [Journal ] Sara Cohen , Yehoshua Sagiv An incremental algorithm for computing ranked full disjunctions. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2007, v:73, n:4, pp:648-668 [Journal ] Jeffrey F. Naughton , Yehoshua Sagiv A Simple Characterization of Uniform Boundedness for a Class of Recursions. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1991, v:10, n:1/2/3&4, pp:233-252 [Journal ] Dallan Quass , Anand Rajaraman , Jeffrey D. Ullman , Jennifer Widom , Yehoshua Sagiv Querying Semistructured Heterogeneous Information. [Citation Graph (0, 0)][DBLP ] Journal of Systems Integration, 1997, v:7, n:3/4, pp:381-407 [Journal ] Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik Automatic Termination Analysis of Programs Containing Arithmetic Predicates. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal ] Sara Cohen , Yehoshua Sagiv , Werner Nutt Equivalences among aggregate queries with negation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2005, v:6, n:2, pp:328-360 [Journal ] Sara Cohen , Werner Nutt , Yehoshua Sagiv Rewriting queries with arbitrary aggregation functions using views. [Citation Graph (0, 0)][DBLP ] ACM Trans. Database Syst., 2006, v:31, n:2, pp:672-715 [Journal ] Yehoshua Sagiv , Oded Shmueli Solving Queries by Tree Projections. [Citation Graph (0, 25)][DBLP ] ACM Trans. Database Syst., 1993, v:18, n:3, pp:487-511 [Journal ] Benny Kimelfeld , Eitan Kovacs , Yehoshua Sagiv , Dan Yahav Using Language Models and the HITS Algorithm for XML Retrieval. [Citation Graph (0, 0)][DBLP ] INEX, 2006, pp:253-260 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Maximally joining probabilistic data. [Citation Graph (0, 0)][DBLP ] PODS, 2007, pp:303-312 [Conf ] Eliyahu Safra , Yaron Kanza , Nir Dolev , Yehoshua Sagiv , Yerach Doytsher Computing a k -Route over Uncertain Geographical Data. [Citation Graph (0, 0)][DBLP ] SSTD, 2007, pp:276-293 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Matching Twigs in Probabilistic XML. [Citation Graph (0, 0)][DBLP ] VLDB, 2007, pp:27-38 [Conf ] Benny Kimelfeld , Yehoshua Sagiv Twig Patterns: From XML Trees to Graphs. [Citation Graph (0, 0)][DBLP ] WebDB, 2006, pp:- [Conf ] A scalable and effective full-text search in P2P networks. [Citation Graph (, )][DBLP ] Revisiting redundancy and minimization in an XPath fragment. [Citation Graph (, )][DBLP ] On rewriting XPath queries using views. [Citation Graph (, )][DBLP ] Heuristic algorithms for route-search queries over geographical data. [Citation Graph (, )][DBLP ] An interactive approach to route search. [Citation Graph (, )][DBLP ] Incorporating constraints in probabilistic XML. [Citation Graph (, )][DBLP ] Running tree automata on probabilistic XML. [Citation Graph (, )][DBLP ] Query efficiency in probabilistic XML models. [Citation Graph (, )][DBLP ] Keyword proximity search in complex data graphs. [Citation Graph (, )][DBLP ] ExQueX: exploring and querying XML documents. [Citation Graph (, )][DBLP ] Exploratory keyword search on data graphs. [Citation Graph (, )][DBLP ] Route Search over Probabilistic Geospatial Data. [Citation Graph (, )][DBLP ] Report on ACM-SIGMOD International Conference on Management of Data. [Citation Graph (, )][DBLP ] Search in 0.036secs, Finished in 0.044secs