UniKL Logo

Lehrgebiet Informationssysteme

FB Informatik
FB Informatik
 
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
  

Exploiting Abstraction Relationships' Semantics for Transaction Synchronization in KBMSs

Fernando de Ferreira Rezende, Theo Härder

University of Kaiserslautern
P.O. Box 3049, 67653 Kaiserslautern, Germany
e-mail: haerder@informatik.uni-kl.de

Full paper (postscript version compressed by gzip)

Abstract:

Currently, knowledge sharing is turning out to be a crucial point to be supported by Knowledge Base Management Systems (KBMSs). We propose an approach for transaction synchronization in KBMSs - LARS (Locks using Abstraction Relationships' Semantics). We show how we obtain serializability of transactions thereby providing different locking granules. The main benefit of our technique is the high degree of potential concurrency, which is obtained by means of a logical partitioning of the knowledge base (KB) grounded in the abstraction relationships, and the provision of many lock types to be used on the basis of each partition. By this way, we capture the abstraction relationships' semantics contained in a KB graph for transaction synchronization purposes and enable the exploitation of the inherent parallelism in a knowledge representation approach.

Published in Data & Knowledge Engineering 22 (1997) 233-259.