The operating systems in many existing systems are not well-matched to the backend database computer even if there are many services which a database management system (DBMS) requests to them, since they contain the many inefficient and redundant functions to support the DBMS due to their generality. A new operating system is proposed to provide minimal facilities which the DBMS needs.
In this thesis, we study and implement the kernel for the backend database computer which only performs the functions of a DBMS. The problems of a DBMS on top of the general-purpose operating system and their solutions are presented in detail. The basic requirements of the kernel are explained based on the solutions and the kernel is implemented in emphasizing on the buffer pool, network which manages the communication with the host computer, device and file management which are especially sensitive to the performance of the DBMS. Finally, the implemented kernel is tested and analyzed by the prototype of a DBMS and the correctness of the implementation are also proved.