wiki_research

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

chase (371B)

      1 # Chase
      2 
      3 Given [database_dependencies] and an [instance], construct a (possibly infinite) [universal_model]
      4 
      5 - [chase_termination]
      6   - [gerlach2023general]:
      7     - cf [weakly_acyclic_TGDs] and other sufficient conditions for chase termination
      8 
      9 Variants:
     10 
     11 - [chase_restricted]
     12 - [chase_oblivious]
     13 - [chase_core]
     14 
     15 Can be used for [query_optimization]
     16 
     17 Up: [database_theory]