Abstract
Nested transactions (NTs) allow the decomposition of execution units and finer grained control over concurrency and recovery than conventional, flat transactions. Due to their characteristics, they provide adequate control structures for modeling transactions in several different environments. In this paper, we concentrate on the use of NTs in Knowledge Base Management Systems (KBMSs). With respect to those systems, the allowance for knowledge sharing is an important emerging point, which is going to be imperative for the complete success of KBMSs in the market. Nevertheless, to allow for knowledge sharing, special lock modes must be employed to adequately control the concurrency in KBMSs. We present enhanced lock modes tailored to the KBMS environment, which capture the abstraction relationships' semantics. Additionally, we couple these lock modes to an NT model allowing for upward as well as controlled downward inheritance of locks. Finally, on one hand, our NT model allows for an effective exploitation of intratransaction parallelism, on the other hand, our enhanced lock modes make feasible the exploitation of the inherent parallelism in a knowledge representation approach.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
