Efficient Data Model Verification with Many-Sorted Logic (T).

Ivan Bocic Tevfik Bultan

Published in: ASE (2015)

Keyphrases

data model
model checking
database systems
search algorithm
cost effective
database design
query language
object model
semi structured
computationally expensive
lightweight
database management systems
multi dimensional
databases
evolutionary algorithm
expert systems
optimal solution
similarity measure
neural network