Generating Test Data to Distinguish Conjunctive Queries with Equalities.
Preetham VemasaniAlexander BrodskyPaul AmmannPublished in: ICST Workshops (2014)
Keyphrases
- test data
- conjunctive queries
- query answering
- integrity constraints
- data complexity
- query evaluation
- np complete
- query language
- test cases
- training data
- data exchange
- special case
- test set
- query containment
- decision procedures
- query rewriting
- boolean expressions
- containment of conjunctive queries
- probabilistic databases
- bounded treewidth
- data sets
- training set
- datalog programs
- regular path queries
- data model
- search based testing
- dl lite
- relational queries
- conjunctive query containment
- conjunctive regular path queries
- training and test data
- relational databases
- objective function
- knowledge base
- learning algorithm