wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

tuple_generating_dependency_multi_head (632B)

      1 # Multi head tuple generating dependency
      2 
      3 A [tuple_generating_dependency] with multiple [atoms] in the [head] of the [TGDs]
      4 
      5 Studied in [gottlob2020multi] and [gerlach2025multi]
      6 
      7 Some open questions about [chase_termination], cf [gogacz2014all]
      8 
      9 Classes:
     10 
     11 - [tuple_generating_dependency_linear_multi_head]
     12 
     13 Up: [tuple_generating_dependency]
     14 
     15 Aliases: TGD multi head, TGDs multi head, multi head TGD, multi head TGDs, multiheaded rules, multi head rules, multihead rules, Multi head tuple generating dependency, Multi head tuple generating dependencies, Multihead tuple generating dependency, Multihead tuple generating dependencies