wiki_research

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

datalog_boundedness (229B)

      1 # Datalog boundedness
      2 
      3 The [boundedness] problem for [Datalog]
      4 
      5 - [undecidable] for general [Datalog]
      6 - [decidable] for:
      7   - [datalog_guarded]
      8   - [datalog_frontier_guarded]
      9   - [datalog_monadic]
     10 
     11 Up: [boundedness] for [datalog]