The decision problem for database dependencies
scientific article; zbMATH DE number 3757754