On Database Logic
scientific article