Trong phần này, chúng tôi cung cấp một cái nhìn tổng quan của các bộ chức năng thực hiện các dữ liệu Ba mẫu viết lại dựa trên một tập hợp các ánh xạ. Những chức năng này thực viết lại các bước trong quá trình dữ liệu Ba mẫu viết lại. Chúng tôi đã chính thức được hiển thị [9] mà mỗi bước viết lại được thực hiện, để viết lại một mô hình ba, là ngữ nghĩa bảo quản, theo nghĩa là nó bảo tồn ngữ nghĩa lập bản đồ. Các bộ hoàn chỉnh các chức năng, bao gồm cả những người thực hiện Schema Ba mẫu viết lại, cũng như một tập hợp các ví dụ có sẵn trong [9].
đang được dịch, vui lòng đợi..
