On infinite-finite tree-duality pairs of relational structures

Péter L. Erdös Dömötör Pálvölgyi Claude Tardif Gábor Tardos

Published in: CoRR (2012)

Keyphrases

relational structures
tree matching
association graph
tree nodes
maximal cliques
pattern matching
first order logic
relational data
relational databases
pairwise
databases
knowledge representation
machine learning
constraint satisfaction problems
database
point sets
datalog programs
search algorithm