reduct (272B)
1 # Reduct 2 3 Given a [database_instance] I on a [relational_signature] σ, for a [subsignature] σ' of σ, the *reduct* of I on σ' is the [subdatabase] J of I obtained by keeping precisely the [facts] of I on the [relations] of σ' 4 5 Up: [subdatabase] 6 7 See also: [expansion]