On Graph Refutation for Relational Inclusions
Paulo A. S. VelosoSheila R. M. VelosoPublished in: LSFA (2011)
Keyphrases
- relational databases
- random walk
- graph representation
- structured data
- graph search
- relational data
- bipartite graph
- theorem proving
- data model
- graph matching
- theorem prover
- directed acyclic graph
- stable set
- databases
- rewriting rules
- multi relational
- inductive inference
- graph theory
- directed graph
- search engine
- learning algorithm