کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874844 1441442 2018 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Embeddability into relational lattices is undecidable
ترجمه فارسی عنوان
تعبیه به شبکه های ارتباطی غیرقابل حل است
کلمات کلیدی
ترجمه چکیده
به عنوان نتیجه گیری، نتایج زیر را بدست می آوریم: نظریه ی مقید بودن گره های رابطه ای بر امضای خالص شبکه غیر قابل تشخیص است و هیچ پایه محدودی ندارد. در مورد امضای خالص شبکه وجود دارد که در تمامی شبکه های رابطه ای محدود وجود دارد اما در یک شبکه ارتباطی نامتناهی رخ می دهد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تعبیه به شبکه های ارتباطی غیرقابل حل است
چکیده انگلیسی
As corollaries we obtain the following results: the quasiequational theory of relational lattices over the pure lattice signature is undecidable and has no finite base; there is a quasiequation over the pure lattice signature which holds in all the finite relational lattices but fails in an infinite relational lattice.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 97, June 2018, Pages 131-148
نویسندگان
,