wiki_research

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

chase (226B)

      1 # Chase
      2 
      3 Process for [database_dependency] to construct [universal_model]
      4 
      5 - [chase_termination]
      6   - [gerlach2023general]:
      7     - cf "weakly acyclic" and other sufficient conditions for chase termination
      8 
      9 Up: [database_theory]