wiki_research

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

datalog_symmetric_linear (270B)

      1 # Datalog symmetric linear
      2 
      3 introduced in [egri2007symmetric]
      4 
      5 [datalog_linear] but where we impose that for every rule having an IDB in the body, the symmetric rule also occurs (exchanging the body predicate and the head predicate)
      6 
      7 connections to [CSP]
      8 
      9 Up: [datalog]