Jadwal Sholat

Memuat jadwal sholatโ€ฆ

Editorial ilmu komputer

Open AccessOA2026

Decoding Terkondisi Kebijakan untuk Kontrol Akses Tingkat Kolom pada Text-to-SQL

PCC-SQL: Penegakan Kebijakan Penggunaan Kolom secara Deterministik melalui Masking Logits Selaras Tata Bahasa
Ryoto Miyamoto; Xin Fan; Hayato Yamanaยท 2026ยท DOI 10.48550/arXiv.2607.12341

Masalah inti

Sistem text-to-SQL semakin banyak diterapkan melintasi batas kepercayaan antara penyedia data dan pengguna, sehingga menuntut keseimbangan di antara tiga kebutuhan yang saling bersaing: kepatuhan kebijakan, cakupan jawaban, dan biaya yang terbatas. Pendekatan yang ada biasanya memutuskan penolakan berdasarkan kolom mana yang disebutkan oleh suatu query dan menegakkannya secara stokastik. Namun, apakah suatu query patuh tidak hanya bergantung pada kolom mana yang muncul, tetapi pada bagaimana kolom itu digunakan. Penegakan stokastik tidak dapat secara deterministik menyingkirkan pelanggaran. Penelitian ini memformalkan kebutuhan tersebut sebagai kebijakan penggunaan kolom atas penggunaan semantik: output, kondisi filter, dan argumen agregasi. Sistem yang diusulkan, PCC-SQL, mengintegrasikan kebijakan dengan menyelaraskan setiap peran dengan produksi tata bahasa yang dilacak oleh decoder, menerapkan mask logits per token yang secara deterministik menghilangkan pelanggaran penggunaan kolom dalam satu query pada fragmen SQL yang didukung dalam satu lintasan decoding.

Inovasi

PCC-SQL dievaluasi pada tiga benchmark dan tiga model open-source. Pada Spider-CU, sistem ini mencapai Leakage Rate 0% dan Coverage hingga 88,7%, sambil tetap berada dalam +10% token dari direct prompting. Sistem juga menilai keselarasan semantik dengan akurasi eksekusi. Hasil ini menunjukkan bahwa penegakan kebijakan deterministik dapat dicapai tanpa overhead biaya yang signifikan. Tingkat kebocoran 0% menunjukkan bahwa tidak ada pelanggaran kebijakan yang terjadi pada query yang dihasilkan, dan cakupan yang tinggi menunjukkan bahwa sistem masih dapat menjawab sebagian besar query. Efisiensi token sangat penting untuk penerapan praktis, karena memastikan sistem tetap hemat biaya.
Sistem text-to-SQL semakin banyak diterapkan melintasi batas kepercayaan antara penyedia data dan pengguna, sehingga menuntut keseimbangan di antara tiga kebutuhan yang saling bersaing: kepatuhan kebijakan, cakupan jawaban, dan biaya yang terbatas. Pendekatan yang ada biasanya memutuskan penolakan berdasarkan kolom mana yang disebutkan oleh suatu query dan menegakkannya secara stokastik. Namun, apakah suatu query patuh tidak hanya bergantung pada kolom mana yang muncul, tetapi pada bagaimana kolom itu digunakan. Penegakan stokastik tidak dapat secara deterministik menyingkirkan pelanggaran. Penelitian ini memformalkan kebutuhan tersebut sebagai kebijakan penggunaan kolom atas penggunaan semantik: output, kondisi filter, dan argumen agregasi. Sistem yang diusulkan, PCC-SQL, mengintegrasikan kebijakan dengan menyelaraskan setiap peran dengan produksi tata bahasa yang dilacak oleh decoder, menerapkan mask logits per token yang secara deterministik menghilangkan pelanggaran penggunaan kolom dalam satu query pada fragmen SQL yang didukung dalam satu lintasan decoding.
PCC-SQL memformalkan kebijakan penggunaan kolom atas tiga peran semantik: output, kondisi filter, dan argumen agregasi. Peran-peran ini diselaraskan dengan produksi tata bahasa yang dilacak oleh decoder. Selama decoding, mask logits per token diterapkan untuk menghilangkan token apa pun yang akan menyebabkan pelanggaran kebijakan untuk query saat ini. Mask ini dihitung berdasarkan keadaan tata bahasa saat ini dan kebijakan, sehingga hanya query SQL yang patuh yang dihasilkan. Pendekatan ini deterministik, artinya tidak ada pengambilan sampel stokastik yang terlibat dalam penegakan. Sistem beroperasi pada fragmen SQL yang didukung, yang mencakup klausa SELECT, FROM, WHERE, GROUP BY, dan HAVING, serta fungsi agregasi. Proses decoding adalah satu lintasan, mengintegrasikan penegakan kebijakan secara mulus dengan generasi.

Mengapa penting

Inovasi utama PCC-SQL adalah integrasi penegakan kebijakan ke dalam proses decoding melalui masking logits yang selaras tata bahasa. Pendekatan ini memastikan kepatuhan deterministik, berbeda dari metode stokastik yang tidak dapat menjamin nol pelanggaran. Formalisasi kebijakan penggunaan kolom atas peran semantik memungkinkan kontrol yang tepat atas bagaimana kolom digunakan, mengatasi batasan pendekatan yang hanya mempertimbangkan penyebutan kolom. Hasil menunjukkan bahwa PCC-SQL mencapai keseimbangan yang kuat antara kepatuhan dan cakupan. Namun, pendekatan ini terbatas pada fragmen SQL yang didukung; memperluasnya ke SQL penuh akan memerlukan penanganan konstruksi yang lebih kompleks. Penelitian selanjutnya dapat mengeksplorasi strategi masking adaptif untuk lebih mengurangi overhead token dan mengintegrasikan kebijakan yang lebih ekspresif. Keselarasan semantik dengan akurasi eksekusi menunjukkan bahwa query yang dihasilkan tidak hanya patuh tetapi juga benar, yang penting untuk kepercayaan pengguna.

Siapa yang sebaiknya membaca

Praktisi dan peneliti ilmu komputer

Membuka konten memberโ€ฆ