Automatic test case generation from relational algebra queries.
Wei-Tek TsaiDmitry VolovikThomas F. KeefeMohamed E. FayadPublished in: COMPSAC (1988)
Keyphrases
- relational algebra
- query language
- relational calculus
- test case generation
- database query languages
- relational database systems
- probabilistic databases
- expressive power
- relational operators
- relational data model
- duplicate elimination
- aggregate functions
- data model
- relational model
- recursive queries
- join operator
- normal form
- complex objects
- test cases
- database
- null values
- first order logic
- summary tables
- object oriented
- software testing
- query evaluation
- test suite
- object oriented systems
- transitive closure
- functional dependencies
- relational algebra expressions
- test data generation
- user defined
- data sources
- query processing
- static analysis
- regular expressions
- incomplete information
- artificial intelligence