Specification and encoding of transaction interaction properties.

Divjyot Sethi Yogesh S. Mahajan Sharad Malik

Published in: Formal Methods Syst. Des. (2011)

Keyphrases

structural properties
high level
database
data sets
databases
neural network
multiresolution
desirable properties
formal language