Verification of Endgame Databases.

Tsan-sheng Hsu Ping-Yi Liu

Published in: J. Int. Comput. Games Assoc. (2002)

Keyphrases

databases
database
data model
database applications
knowledge discovery
relational databases
model checking
formal verification
metadata
database systems
real world
data warehouse
data integration
evaluation function
data retrieval
information systems
learning algorithm
neural network
person identification