Deductive Search for Errors in Free Data Type Specifications Using Model Generation.

Wolfgang Ahrendt

Published in: CADE (2002)

Keyphrases

data types
data model
data structure
search algorithm
search space
search strategy
user defined
database systems
abstract data types
database management systems
delay insensitive
data sets
data formats
data sources
relational databases
high level
real world