On the finite and general implication problems of independence atoms and keys

ما در مورد مشکلات پیوند برای کلید ها و اتم های استقلال در پایگاه داده های رابطه ای تحقیق می کنیم. برای کلید ها و اتم های استقلال انسانی ما نشان می دهیم که پیامدهای محدودی به طور پیوسته مبنایی نیستند و یک معیار محدود برای معادله کلی ایجاد می کنند. همان عالیمه سازی نیز صحیح و کامل برای پیروی محدود و کلی از کلید های انفرادی و اتم های استقلال است که همزمان می شوند. ما نشان می دهیم که مفهوم عمومی کلیدها و اتم های استقلال انسانی و کلید های انفرادی و اتم های استقلال عمومی در زمان چندجملهای قابل حل است. برای این دو کلاس نیز نشان داده می شود که چگونه روابط آرمسترانگ را ایجاد کنیم. در نهایت، ما ایجاد شرایط قابل رفع است که برای کلاس های خاصی از کلید ها و اتم های استقلال مناسب نیستند.