کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952374 1364444 2017 29 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The joy of implications, aka pure Horn formulas: Mainly a survey
ترجمه فارسی عنوان
خوشبختی از پیامدها، بعنوان مثال فرمولهای خالص شاخ: عمدتا یک نظرسنجی است
ترجمه چکیده
تعبیرهای خالص شاخ (بعلاوه) وابستگی های عملیاتی، قواعد ارتباط قوی، و یا به سادگی پیامدهای نامیده می شود. ما تئوری ریاضی پیامدها را با تاکید بر پیشرفت در 30 سال گذشته بررسی می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Pure Horn clauses have also been called (among others) functional dependencies, strong association rules, or simply implications. We survey the mathematical theory of implications with an emphasis on the progress made in the last 30 years.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 658, Part B, 7 January 2017, Pages 264-292
نویسندگان
,