Exploiting Abstraction Relationships Semantics for Transaction Synchronization in KBMSs

Abstract Currently, knowledge sharing is turning out to be a crucial area that needs 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. In this way, we capture the abstraction relationships' semantics which are contained in a KB graph for transaction synchronization purposes and enable the exploitation of the inherent parallelism in a knowledge representation approach.

[1]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA '87.

[2]  Fernando de Freitas Rezende,et al.  Concurrency control techniques and the KBMS Enviroment: A critical analysis , 1995, RITA.

[3]  William E. Weihl.  Commutativity-based concurrency control for abstract data types , 1988 .

[4]  Thanasis Hadzilacos,et al.  Transaction Synchronisation in Object Bases , 1991, J. Comput. Syst. Sci..

[5]  Theo Härder,et al.  Concurrency Control in Nested Transactions with Enhanced Lock Models for KBMSs , 1995, DEXA.

[6]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[7]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[8]  Nelson Mendonça Mattos,et al.  The KRISYS Project: a Summary of Waht We Have Learned so far , 1993, BTW.

[9]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

[10]  H. T. Kung,et al.  An optimality theory of concurrency control for databases , 1979, SIGMOD '79.

[11]  Peter Dadam,et al.  Selective Deferred Index Maintenance & Concurrency Control in Integrated Information Systems , 1985, VLDB.

[12]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPSLA 1986.

[13]  Won Kim,et al.  Transaction management in an object-oriented database system , 1988, SIGMOD '88.

[14]  John Mylopoulos,et al.  Quantitative evaluation of a transaction facility for knowledge base management system , 1994, CIKM '94.

[15]  C. Mohan,et al.  ARIES/IM: an efficient and high concurrency index management method using write-ahead logging , 1992, SIGMOD '92.

[16]  C. Mohan,et al.  ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes , 1990, VLDB.

[17]  David Maier,et al.  The GemStone Data Management System , 1989, Object-Oriented Concepts, Databases, and Applications.

[18]  Elisa Bertino,et al.  Composite objects revisited , 1989, SIGMOD '89.

[19]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[20]  Won Kim,et al.  Features of the ORION Object-Oriented Database System , 1989, Object-Oriented Concepts, Databases, and Applications.

[21]  Theo Härder,et al.  A lock method for KBMSs using abstraction relationships' semantics , 1994, CIKM '94.

[22]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[23]  Andreas Reuter,et al.  Empirical Comparison of Database Concurrency Schemes , 1983, Very Large Data Bases Conference.

[24]  Marco A. Casanova,et al.  General Purpose Schedulers for Database System , 1981, Acta Informatica.

[25]  John Mylopoulos,et al.  Knowledge Bases and Databases: Current Trends and Future Directions , 1990, IS/KI.

[26]  Irving L. Traiger,et al.  Granularity of Locks and Degrees of Consistency in a Shared Data Base , 1998, IFIP Working Conference on Modelling in Data Base Management Systems.

[27]  Divyakant Agrawal,et al.  A Non-Restrictive Concurrency Control for Object Oriented Databases , 1992, EDBT.

[28]  Panos K. Chrysanthis,et al.  Extracting concurrency from objects: a methodology , 1991, SIGMOD '91.

[29]  Nancy A. Lynch,et al.  Global States of a Distributed System , 1982, IEEE Transactions on Software Engineering.

[30]  Abraham Silberschatz,et al.  Consistency in Hierarchical Database Systems , 1980, JACM.

[31]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

[32]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[33]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

[34]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA 1987.

[35]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[36]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

[37]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[38]  Brian Randell,et al.  Operating Systems, An Advanced Course , 1978 .

[39]  Won Kim,et al.  Architecture of the ORION Next-Generation Database System , 1990, IEEE Trans. Knowl. Data Eng..

[40]  Nelson Mendonça Mattos.  An Approach to Knowledge Base Management , 1991, Lecture Notes in Computer Science.

[41]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[42]  Jacob Stein,et al.  The GemStone object database management system , 1991, CACM.

[43]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[44]  Jacob Stein,et al.  Class modification in the GemStone object-oriented DBMS , 1987, OOPSLA '87.

[45]  O. Deux,et al.  The story of O 2 , 1992 .

[46]  Peter Dadam,et al.  A Lock Technique for Disjoint and Non-Disjoint Complex Objects , 1990, EDBT.

[47]  Nelson Mendonça Mattos,et al.  Abstraction Concepts: The Basis for Data and Knowledge Modeling , 1988, ER.

[48]  John Mylopoulos,et al.  Concurrency Control for Knowledge Bases , 1993, HPTS.

[49]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[50]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[51]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[52]  Erich J. Neuhold,et al.  Serializability in object-oriented database systems , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[53]  John Mylopoulos,et al.  Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation , 1995 .

[54]  Jean Ferrié,et al.  Integrating Concurrency Control into an Object-Oriented Database System , 1990, Building an Object-Oriented Database System, The Story of O2.

[55]  Gerhard Weikum,et al.  Semantic concurrency control in object-oriented database systems , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.