کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432107 1441296 2006 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Relation-algebraic computation of fixed points with applications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Relation-algebraic computation of fixed points with applications
چکیده انگلیسی

We use relational algebra for describing sets and sets of sets and for computing all fixed points of certain functions on powersets. The method is illustrated by some examples from different problem domains, and results of our practical experiments with the RelView system are reported.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 66, Issue 2, February–March 2006, Pages 112-126