Improving Refutational Completeness of Relational Search via Divergence Test.

Dmitri Rozplokhas Dmitri Boulytchev

Published in: PPDP (2018)

Keyphrases

theorem proving
search algorithm
search methods
search space
test data generation
search efficiency
search queries
keyword search
solution space
data model
optimal solution
relational data
search strategy
test cases
relational databases
digital libraries
bayesian networks