26 search results - page 1 / 6 » Isomorphism Checking in GROOVE |
ECEASST
2006
13 years 4 months ago
2006
AMW
2011
12 years 8 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
ICDE
2009
IEEE
13 years 2 months ago
2009
IEEE
Search over graph databases has attracted much attention recently due to its usefulness in many fields, such as the analysis of chemical compounds, intrusion detection in network t...
DAM
2011
12 years 11 months ago
2011
The \Cross Product" technique introduced by Even and Litman EL92] is extended into a fulldecompositiontheory enablinga unique (up to isomorphism)and polynomialfactorizationof...
POPL
1996
ACM
13 years 9 months ago
1996
ACM
