A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies in Object-Oriented Databases.

Anna Formica Michele Missikoff

Published in: SEBD (1995)

Keyphrases

model checking
object oriented databases
schema evolution
transaction management
schema integration
asynchronous circuits
real time
computer vision
image processing
multiscale
formal verification
verification method
functional verification