92 citations · 154 across the 17 of their papers we have counts for
3 papers · 1 filter
EquiX---A Search and Query Language for XML
Sara Cohen, Yaron Kanza, Yakov Kogan +3
EquiX is a search language for XML that combines the power of querying with the simplicity of searching. Requirements for such languages are discussed and it is shown that EquiX me…
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in the…
Algorithms for Rewriting Aggregate Queries Using Views
Sara Cohen, Werner Nutt, Alexander Serebrenik
Queries involving aggregation are typical in database applications. One of the main ideas to optimize the execution of an aggregate query is to reuse results of previously answered…