Formal specification synthesis for relational database model.

Wiwat Vatanawood Wanchai Rivepiboon

Published in: Int. J. Intell. Syst. (2004)

Keyphrases

formal specification
relational databases
databases
high level
specification language
metamodel
process algebra
database
reverse engineering