wiki_research

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

tuple_generating_dependency_multi_head (447B)

      1 # Tuple generating dependency multi head
      2 
      3 A [tuple_generating_dependency] with multiple [atoms] in the [head] of the [TGDs]
      4 
      5 Studied in [gottlob2020multi]
      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