<form id="fjn3d"></form>

<address id="fjn3d"></address>

            11.1.?推理規則

            1. uxop用戶創建測試表test_infer:

              create table public.test_infer(id1 int,id2 int,id3 int);
              grant all on test_infer to public;
            2. uxop用戶添加推理規則id1->id2,并查看:

              select mac_create_fd('public','test_infer','id1','id2');
              select mac_list_fds('public','test_infer');
            3. uxop傳遞閉包計算,即添加推理規則id2->id3:

              select mac_create_fd('public','test_infer','id2','id3');
              select mac_list_fds('public','test_infer');

              由于之前有id1->id2,現在添加id2->id3,故有id1->id3。

            4. 去重檢測,添加推理規則id1->id3:

              select mac_create_fd('public','test_infer','id1','id3');
              select mac_list_fds('public','test_infer');

              由于id1->id2,id3實際上后者包含了id1->id3。故推理規則沒變。

            91竞彩之家