Decidable Integration Graphs.

Yonit Kesten Amir Pnueli Joseph Sifakis Sergio Yovine

Published in: Inf. Comput. (1999)

Keyphrases

graph theoretic
first order logic
graph matching
data integration
graph theory
relational databases
directed graph
graph mining
datalog programs
database
bayesian networks
pattern recognition
special case
weighted graph
graph databases
series parallel