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。故推理规则没变。

XML 地图 | Sitemap 地图