Yehoshua Sagiv

According to our database1, Yehoshua Sagiv
  • authored at least 176 papers between 1978 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Location-Based Distance Measures for Geosocial Similarity.
TWEB, 2017

2016
Constructing Data Graphs for Keyword Search.
CoRR, 2016

A Practically Efficient Algorithm for Generating Answers to Keyword Search Over Data Graphs.
Proceedings of the 19th International Conference on Database Theory, 2016

Virtual Documents and Answer Priors in Keyword Search over Data Graphs.
Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference, 2016

Constructing Data Graphs for Keyword Search.
Proceedings of the Database and Expert Systems Applications, 2016

2015
A Practically Efficient Algorithm for Generating Answers to Keyword Search over Data Graphs.
CoRR, 2015

A personalized GeoSocial app for surviving an earthquake.
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.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

2013
Ad hoc matching of vectorial road networks.
International Journal of Geographical Information Science, 2013

A personal perspective on keyword search over data graphs.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Extracting minimum-weight tree patterns from a schema with neighborhood constraints.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012
WISER: a web-based interactive route search system for smartphones.
Proceedings of the 21st World Wide Web Conference, 2012

Language models for keyword search over data graphs.
Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

2011
Optimizing and Parallelizing Ranked Enumeration.
PVLDB, 2011

KMV-peer: a robust and adaptive peer-selection algorithm.
Proceedings of the Forth International Conference on Web Search and Web Data Mining, 2011

Finding a minimal tree pattern under neighborhood constraints.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

IQ: The Case for Iterative Querying for Knowledge.
Proceedings of the CIDR 2011, 2011

2010
Interactive Route Search in the Presence of Order Constraints.
PVLDB, 2010

Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets.
International Journal of Geographical Information Science, 2010

Exploratory keyword search on data graphs.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

A peer-selection algorithm for information retrieval.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

2009
Query evaluation over probabilistic XML.
VLDB J., 2009

On the expressiveness of probabilistic XML models.
VLDB J., 2009

Incorporating constraints in probabilistic XML.
ACM Trans. Database Syst., 2009

Route Search over Probabilistic Geospatial Data.
Proceedings of the Advances in Spatial and Temporal Databases, 2009

ExQueX: exploring and querying XML documents.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

Running tree automata on probabilistic XML.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

An interactive approach to route search.
Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009

On rewriting XPath queries using views.
Proceedings of the EDBT 2009, 2009

A scalable and effective full-text search in P2P networks.
Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008
Modeling and querying probabilistic XML data.
SIGMOD Record, 2008

Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties.
J. Comput. Syst. Sci., 2008

Efficiently enumerating results of keyword search over data graphs.
Inf. Syst., 2008

Query efficiency in probabilistic XML models.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Keyword proximity search in complex data graphs.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Incorporating constraints in probabilistic XML.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Heuristic algorithms for route-search queries over geographical data.
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

Revisiting redundancy and minimization in an XPath fragment.
Proceedings of the EDBT 2008, 2008

2007
An incremental algorithm for computing ranked full disjunctions.
J. Comput. Syst. Sci., 2007

Deciding equivalences among conjunctive aggregate queries.
J. ACM, 2007

Matching Twigs in Probabilistic XML.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Computing a k -Route over Uncertain Geographical Data.
Proceedings of the Advances in Spatial and Temporal Databases, 2007

Maximally joining probabilistic data.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Combining Incompleteness and Ranking in Tree Queries.
Proceedings of the Database Theory, 2007

2006
Rewriting queries with arbitrary aggregation functions using views.
ACM Trans. Database Syst., 2006

Twig Patterns: From XML Trees to Graphs.
Proceedings of the Ninth International Workshop on the Web and Databases, 2006

Integrating Data from Maps on the World-Wide Web.
Proceedings of the Web and Wireless Geographical Information Systems, 2006

Full Disjunctions: Polynomial-Delay Iterators in Action.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Finding and approximating top-k answers in keyword proximity search.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Incrementally Computing Ordered Answers of Acyclic Conjunctive Queries.
Proceedings of the Next Generation Information Technologies and Systems, 2006

Using Language Models and the HITS Algorithm for XML Retrieval.
Proceedings of the Comparative Evaluation of XML Information Retrieval Systems, 2006

Efficient integration of road maps.
Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006

2005
Equivalences among aggregate queries with negation.
ACM Trans. Comput. Log., 2005

Efficient Engines for Keyword Proximity Search.
Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

An incremental algorithm for computing ranked full disjunctions.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

An Abstract Framework for Generating Maximal Answers to Queries.
Proceedings of the Database Theory, 2005

Finding corresponding objects when integrating several geo-spatial datasets.
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

Efficiently Enumerating Results of Keyword Search.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

Interconnection semantics for keyword search in XML.
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
CoRR, 2004

Object Fusion in Geographic Information Systems.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 2004

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.
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.
Proceedings of the VLDB 2003, 2003

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

Containment of Aggregate Queries.
Proceedings of the Database Theory, 2003

Generating Relations from XML Documents.
Proceedings of the Database Theory, 2003

2002
Querying Incomplete Information in Semistructured Data.
J. Comput. Syst. Sci., 2002

EquiX - A search and query language for XML.
JASIST, 2002

A Formal Yet Practical Approach to Electronic Commerce.
Int. J. Cooperative Inf. Syst., 2002

Equivalences Among Aggregate Queries with Negation
CoRR, 2002

Select-Project Queries over XML Documents.
Proceedings of the Next Generation Information Technologies and Systems, 2002

2001
Static analysis in datalog extensions.
J. ACM, 2001

EquiX - A Search and Query Language for XML
CoRR, 2001

A General Framework for Automatic Termination Analysis of Logic Programs.
Appl. Algebra Eng. Commun. Comput., 2001

Flexible Queries Over Semistructured Data.
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

Equivalences among Aggregate Queries with Negation.
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.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000
A General Framework for Automatic Termination Analysis of Logic Programs
CoRR, 2000

Automatic Termination Analysis of Programs Containing Arithmetic Predicates
CoRR, 2000

EquiX - A Search and Query Language for XML
CoRR, 2000

Combining the Power of Searching and Querying.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999
Automatic Termination Analysis of Programs Containing Arithmetic Predicates.
Electr. Notes Theor. Comput. Sci., 1999

Inference of monotonicity constraints in Datalog programs.
Ann. Math. Artif. Intell., 1999

EquiX Easy Querying in XML Databases.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Queries with Incomplete Answers over Semistructured Data.
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.
Proceedings of the Next Generation Information Technologies and Systems, 1999

Incomplete Answers for Queries over Semistructured Data.
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

A Formal Yet Practical Approach to Electronic Commerce.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
Utilizing the Multiple Facets of WWW Contents.
Data Knowl. Eng., 1998

WebSuite: A Tool Suite for Harnessing Web Data.
Proceedings of the World Wide Web and Databases, 1998

Deciding Equivalences Among Aggregate Queries.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

1997
Querying Semistructured Heterogeneous Information.
Journal of Systems Integration, 1997

The TSIMMIS Approach to Mediation: Data Models and Languages.
J. Intell. Inf. Syst., 1997

Monotonic Aggregation in Deductive Database.
J. Comput. Syst. Sci., 1997

Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.
Artif. Intell., 1997

Utilizing the Multiple Facets of WWW Contents.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

Unfolding the Mystery of Mergesort.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

Automatic Termination Analysis of Logic Programs.
Proceedings of the Logic Programming, 1997

Classification Rules for Semi-Structured Data.
Proceedings of the 1997 International Workshop on Description Logics, 1997

TermiLog: A System for Checking Termination of Queries to Logic Programs.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Decomposition of Relationships through Pivoting.
Proceedings of the Conceptual Modeling, 1996

1995
Argument Reduction by Factoring.
Theor. Comput. Sci., 1995

Editor's Forword.
J. Comput. Syst. Sci., 1995

Optimization of a Subclass of Conjunctive Queries.
Acta Inf., 1995

Answering Queries Using Templates with Binding Patterns.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Semantic Query Optimization in Datalog Programs.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Answering Queries Using Views.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

The TSIMMIS Approach to Mediation: Data Models and Languages.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

Querying Semistructured Heterogeneous Information.
Proceedings of the Deductive and Object-Oriented Databases, 1995

1994
Query Optimization by Predicate Move-Around.
Proceedings of the VLDB'94, 1994

Semantic Query Optimization in Datalog Programs.
Proceedings of the ILPS 1994, 1994

Efficient and Complete Tests for Database Integrity Constraint Checking.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Constraint Checking with Partial Information.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Validating Constraints with Partial Information: Research Overview.
DAISD, 1994

1993
Solving Queries by Tree Projections.
ACM Trans. Database Syst., 1993

Logical Query Optimization by Proff-Tree Transformation.
J. Comput. Syst. Sci., 1993

Undecidable Optimization Problems for Database Logic Programs.
J. ACM, 1993

Queries Independent of Updates.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Tools for Deductive Databases (Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Exploiting Irrelevance Reasoning to Guide Problem Solving.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Minimizing Restricted-Fanout Queries.
Discrete Applied Mathematics, 1992

Querying Object-Oriented Databases.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Monotonic Aggregation in Deductive Databases.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Constraints and Redundancy in Datalog.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.
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.
J. Log. Program., 1991

Evaluation of Queries in Independent Database Schemes.
J. ACM, 1991

A Termination Test for Logic Programs.
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.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

On Testing Effective Computability of Magic Programs.
DOOD, 1991

1990
Is There Anything Better than Magic?
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.
Proceedings of the ICDT'90, 1990

1989
A Characterization of Finite fd-Acyclicity.
J. Comput. Syst. Sci., 1989

On the Convergence of Query Evaluation.
J. Comput. Syst. Sci., 1989

Concurrency and Trie Hashing.
Acta Inf., 1989

Argument Reduction by Factoring.
Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31, 1989

Safety of Datalog Queries over Infinite Databases.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Proof-Tree Transformation Theorems and Their Applications.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Inference of Monotonicity Constraints in Datalog Programs.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

On Termination of Datalog Programs.
DOOD, 1989

1988
On Bounded Database Schemes and Bounded Horn-Clause Programs.
SIAM J. Comput., 1988

Optimizing Datalog Programs.
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".
J. ACM, 1987

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

A Decidable Class of Bounded Recursions.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Undecidable Optimization Problems for Database Logic Programs
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986
Concurrent Operations on B*-Trees with Overtaking.
J. Comput. Syst. Sci., 1986

Optimizing Datalog Programs.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

On Finite FD-Acyclicity.
Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

The Equivalence of Solving Queries and Production Tree Projections.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Magic Sets and Other Strange Ways to Implement Logic Programs.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Convergence of Sideways Query Evaluation.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

1985
On Computing Restricted Projections of Representative Instances.
Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

Concurrent Operations on B-Trees with Overtaking.
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.
ACM Trans. Database Syst., 1983

Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions.
SIAM J. Comput., 1983

Designing Globally Consistent Network Schemas.
Proceedings of the SIGMOD'83, 1983

1982
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies.
J. ACM, 1982

A Universal Relation Database System Implemented via the Network Model.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1981
Equivalence of Relational Database Schemes.
SIAM J. Comput., 1981

Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions.
SIAM J. Comput., 1981

An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic.
J. ACM, 1981

On the Complexity of Testing Implications of Functional and Join Dependencies.
J. ACM, 1981

Can We Use the Universal Instance Assumption Without Using Nulls?
Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, April 29, 1981

1980
Equivalences Among Relational Expressions with the Union and Difference Operators.
J. ACM, 1980

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic.
J. ACM, 1980

1979
Testing Implications of Data Dependencies.
ACM Trans. Database Syst., 1979

Efficient Optimization of a Class of Relational Expressions.
ACM Trans. Database Syst., 1979

Equivalences Among Relational Expressions.
SIAM J. Comput., 1979

Equivalence of Relational Database Schemes
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

Testing Implications of Data Dependencies (Abstract).
Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, May 30, 1979

1978
Report on ACM-SIGMOD International Conference on Management of Data.
IEEE Database Eng. Bull., 1978

Equivalence among Relational Expressions with the Union and Difference Operation.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

Efficient Optimization of a Class of Relational Expressions (Abstract).
Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 31, 1978


  Loading...