Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Tính cận trên bộ nhớ Log của chương trình sử dụng giao dịch
Luận văn này tập trung nghiên cứu các lý thuyết về hệ thống kiểu; các khái niệm cơ bản cũng như tính chất của giao dịch; nghiên cứu cú pháp và ngữ nghĩa của ngôn ngữ TM (Transactional Memory) - Một ngôn ngữ để viết các chương trình giao dịch. Từ việc nắm được giải pháp xây dựng hệ thống kiểu đề cập trong bài báo, một công cụ sẽ được cài đặt dựa trên ngôn ngữ C#.