Bidirectional graph transformations for Privacy management

• Một vấn đề mà hiện giờ tôi vẫn còn đang băn khoăn đó là khi tôi nghe những nhận xét từ thầy của mình. 

• Bài toán số 1 của tôi hiện giờ là nhằm trả lời câu hỏi: Liệu chuyển đổi hai chiều có thể dùng quản lý quyền riêng tư được không ? (Bidirectional graph transformation for Privacy management problem). Thầy có đưa một ví dụ về dùng trường hợp dùng bx quản lý privacy đơn giản:
• Cho trước một đồ thị G, dùng phép fwd_trans (có thể là identity fwd_trans), ta được V.
• Viết câu query với input là V sao cho với 1 giá trị xác định x (khi thành công có thể tổng quát hoá lên thành n giá trị), ta có được 1 kết quả tương ứng với 1 hoặc 2 trường hợp sau đây:
• Cho phép THAY ĐỔI giá trị x khi thực hiện bwd_trans.
• KHÔNG THAY ĐỔI giá trị x khi thực hiện bwd_trans.
• Demo:

• Làm thế nào để encode được cây query đó bằng:
• UnQL.
• UnCAL.
• Bài toán số 2 mà tôi cần giả quyết đó là bài toán scripting.
• Tôi sẽ trở lại bài toán này sau.
• Hiện giờ tôi vẫn đang làm song song cả 2 bài toán.
• Khi bí bài toán này, tôi sẽ chuyển sang bài toán kia để làm.
• Về mối liên hệ, bản chất 2 bài toán này có quan hệ mật thiết với nhau.
• Bài toán 1 là trường hợp cụ thể.
• Bài toán 2 là scripting, có thể dùng cho nhiều bài toán tương tự bài toán 1.