کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333722 | 689170 | 2016 | 34 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Relational lattices: From databases to universal algebra
ترجمه فارسی عنوان
شبکه های ارتباطی: از پایگاه داده ها به جبر جهانی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
شبکه های ارتباطی، جبر ارتباطی، نظریه بانک اطلاعاتی، منطق جبری، نظریه شبکه
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Relational lattices are obtained by interpreting lattice connectives as natural join and inner union between database relations. Our study of their equational theory reveals that the variety generated by relational lattices has not been discussed in the existing literature. Furthermore, we show that addition of just the header constant to the lattice signature leads to undecidability of the quasiequational theory. Nevertheless, we also demonstrate that relational lattices are not as intangible as one may fear: for example, they do form a pseudoelementary class. We also apply the tools of Formal Concept Analysis and investigate the structure of relational lattices via their standard contexts. Furthermore, we show that the addition of typing rules and singleton constants allows a direct comparison with the monotonic relational expressions of Sagiv and Yannakakis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 540-573
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 540-573
نویسندگان
Tadeusz Litak, Szabolcs Mikulás, Jan Hidders,