An update protocol for an OODB with integrity.

Richard Bigelow Patrick Thompson Carl Tsai Hirohisa Yamaguchi

Published in: COMPSAC (1991)

Keyphrases

object oriented databases
query language
lightweight
integrity constraints
coloured petri nets
formal analysis
communication protocol
tcp ip
cryptographic protocols
network protocols
object oriented
data integrity
communication protocols
file transfer