کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10332697 | 687746 | 2016 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the finite and general implication problems of independence atoms and keys
ترجمه فارسی عنوان
در مسائل محدود و کلی اثرات استقلال اتم ها و کلید
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ترجمه چکیده
ما در مورد مشکلات پیوند برای کلید ها و اتم های استقلال در پایگاه داده های رابطه ای تحقیق می کنیم. برای کلید ها و اتم های استقلال انسانی ما نشان می دهیم که پیامدهای محدودی به طور پیوسته مبنایی نیستند و یک معیار محدود برای معادله کلی ایجاد می کنند. همان عالیمه سازی نیز صحیح و کامل برای پیروی محدود و کلی از کلید های انفرادی و اتم های استقلال است که همزمان می شوند. ما نشان می دهیم که مفهوم عمومی کلیدها و اتم های استقلال انسانی و کلید های انفرادی و اتم های استقلال عمومی در زمان چندجملهای قابل حل است. برای این دو کلاس نیز نشان داده می شود که چگونه روابط آرمسترانگ را ایجاد کنیم. در نهایت، ما ایجاد شرایط قابل رفع است که برای کلاس های خاصی از کلید ها و اتم های استقلال مناسب نیستند.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We investigate implication problems for keys and independence atoms in relational databases. For keys and unary independence atoms we show that finite implication is not finitely axiomatizable, and establish a finite axiomatization for general implication. The same axiomatization is also sound and complete for finite and general implication of unary keys and independence atoms, which coincide. We show that the general implication of keys and unary independence atoms and of unary keys and general independence atoms is decidable in polynomial time. For these two classes we also show how to construct Armstrong relations. Finally, we establish tractable conditions that are sufficient for certain classes of keys and independence atoms not to interact.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 82, Issue 5, August 2016, Pages 856-877
Journal: Journal of Computer and System Sciences - Volume 82, Issue 5, August 2016, Pages 856-877
نویسندگان
Miika Hannula, Juha Kontinen, Sebastian Link,