wiki_research

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

expansion (247B)

      1 # Expansion
      2 
      3 Given a [database_instance] I on a [relational_signature] σ, for a [supersignature] σ' of σ, the *reduct* of I on σ' is the [database_instance] J such that I is the [reduct] of J on σ
      4 
      5 See also: [reduct]
      6 
      7 Up: [database_instance]