4 citations · 12 across the 7 of their papers we have counts for
7 papers
Few Rows Tell Them Apart: Equivalence of Queries Mixing Set and Bag Semantics
Sara Cohen
Bounded SQL equivalence checkers search for a counter-example database of bounded size, and a search that comes back empty proves nothing. We supply missing theory: computable boun…
Database Perspectives on Blockchains
Sara Cohen, Aviv Zohar
Modern blockchain systems are a fresh look at the paradigm of distributed computing, applied under assumptions of large-scale public networks. They can be used to store and share i…
Generating All Maximal Induced Subgraphs for Hereditary, Connected-Hereditary and Rooted-Hereditary Properties
Sara Cohen, Yehoshua Sagiv
The problem of computing all maximal induced subgraphs of a graph G that have a graph property P, also called the maximal P-subgraphs problem, is considered. This problem is studie…
Equivalences Among Aggregate Queries with Negation
Sara Cohen, Werner Nutt, Yehoshua Sagiv
Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggreg…
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…
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…