کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
426543 686102 2009 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Data-complexity of the two-variable fragment with counting quantifiers
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Data-complexity of the two-variable fragment with counting quantifiers
چکیده انگلیسی

The data-complexity of both satisfiability and finite satisfiability for the two-variable fragment with counting quantifiers is NP-complete; the data-complexity of both query answering and finite query answering for the two-variable guarded fragment with counting quantifiers is co-NP-complete.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 207, Issue 8, August 2009, Pages 867-888