کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873962 686072 2015 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Upwards closed dependencies in team semantics
ترجمه فارسی عنوان
وابستگی به سمت بالا در معناشناسی گروه
کلمات کلیدی
وابستگی، معناشناسی تیم منطق وابستگی،
ترجمه چکیده
علاوه بر این، ما یک دسته از وابستگی های محدود به سمت بالا را تعریف می کنیم و ثابت می کنیم که وابستگی های نامحدود را نمی توان از نظر محدودیت تعریف کرد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Furthermore, we define a class of bounded upwards closed dependencies and we prove that unbounded dependencies cannot be defined in terms of bounded ones.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 245, December 2015, Pages 124-135
نویسندگان
,