Exploiting Abstraction Relationships Semantics for Transaction Synchronization in KBMSs.

Fernando de Ferreira Rezende Theo Härder

Published in: Data Knowl. Eng. (1997)

Keyphrases

semantic relationships
concurrent processes
database
formal semantics
correctness criterion
logic programming
semantic information
transaction processing
semantic aspects
data structure
data model
concurrency control
object oriented databases
semantic structure
nested transactions
object oriented data models