Phương phỏp ma tập (Magic sets) là phương phỏp viết lại hay phương phỏp tối ưu (logical rewriting method or optimization method). Cơ sở của phương phỏp ma tập là viết lại cỏc luật của CSDL suy diễn ban đầu thành một CSDL suy diễn tương đương cú tớnh tới cả cõu hỏi Q.
Thuật toỏn này kết hợp ưu điểm của hai phương phỏp ước lượng bottom-up và top-down, từ đú giảm thiểu được số cỏc bộ cần tớnh toỏn và tỡm kiếm trờn CSDL.
Cựng với phương phỏp định giỏ bảng, phương phỏp ma tập (magic set) cũng là phương phỏp hiệu quả để định giỏ cõu truy vấn trờn chương trỡnh Datalog. Sau đõy là một số khỏi niệm chớnh của phương phỏp ma tập.
2.3.1. Tụ điểm
Tụ điểm (adornment) là cỏch chỳ thớch trờn cỏc vị từ để cung cấp thụng tin về cỏc vị từ sẽ được sử dụng như thế nào trong quỏ trỡnh định giỏ cõu truy vấn.
Định nghĩa :
Một đối của một đớch con trong quy tắc r được gọi là buộc nếu trong suốt quỏ trỡnh định giỏ cõu truy vấn, mọi đớch được tạo ra từ đớch con này cú một tập cỏc hằng ở vị trớ của đối này. Ngược lại, đối được gọi là tự do.
Một tụ điểm α đối với vị từ p(t1,t2,...,tk) là một ỏnh xạ α:{1,2,...,k} → {b, f}. Ta thường ký hiệu tụ điểm là α(1)α(2)...α(k). Nếu ký hiệu thứ i của tụ điểm là b thỡ đối thứ i của p là buộc, nếu ký hiệu thứ i của tụ điểm là f thỡ đối thứ
i của p là tự do. Chỉ cú cỏc vị từ IDB là được tụ điểm.
Cho quy tắc p ← q1 ∧ q2 ∧...∧ qnvà β là tụ điểm của vị từ p, tụ điểm αi của cỏc đớch con qi(ti,1,...,ti,ni )được xỏc định như sau: Nếu ti,j là hằng hoặc biến đó xuất hiện trong đớch con qk trước đú (k < i) hoặc trong một vị trớ buộc của
p thỡ αi[j] = b, ngoài ra thỡ αi[j] = f (với αi[j] là ký hiệu ở vị trớ thứ j của tụ điểm).
Cho chương trỡnh P, chương trỡnh tụ điểm của P, ký hiệu là Pad, gồm cỏc quy tắc trong P đó được tụ điểm.
Tụ điểm α của cõu truy vấn p(t1,...,tn) được xỏc định bởi: α[i] = b nếu ti là hằng và α[i] = f nếu ngược lại.