Login / Signup
On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
Laurent Lyaudet
Pascal Koiran
Uffe Flarup
Published in:
CoRR (2007)
Keyphrases
</>
expressive power
bounded treewidth
query language
first order logic
np complete
data complexity
matching algorithm
conjunctive queries
relational algebra
relational calculus
transitive closure
pattern matching
computational properties
database
decision problems
boolean functions
search algorithm
databases