Testability of Homomorphism Inadmissibility: Property Testing Meets Database Theory.

Hubie Chen Yuichi Yoshida

Published in: PODS (2019)

Keyphrases

database theory
open problems
normal form
databases
test data generation
software testing
decomposition methods
database design
international conference
conjunctive queries
genetic algorithm
finite model theory
database
objective function
computational complexity
relational database management systems