Database queries differ in one fudamentalaspect from regular functions - they are generic,that is invariant under daaabase isomorophisms.this property was first discussed in [AU79].At about the same time,[CH 80] posed the problem whether there is a complete query language,that is a language that experesses precisely the computable generic database funcitons,and presented an affirmative answer.
展开▼
