wiki_research

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

boundedness (283B)

      1 # Boundedness
      2 
      3 The [computational_problem], given a [query] in a [recursive_query] formalism, to determine if it is [query_equivalent] to a [query_nonrecursive]
      4 
      5 - [datalog_boundedness]
      6 - [CRPQ_boundedness]
      7 - [UCRPQ_boundedness]
      8 - [UC2RPQ_boundedness]
      9 
     10 Up: [database_theory_problem]