کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951590 1441482 2017 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Research on semantic of updatable distributed logic and its application in access control
ترجمه فارسی عنوان
تحقیق در معنایی منطق توزیع قابل ارتقا و کاربرد آن در کنترل دسترسی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The paper presents a distributed logic UD-Datalog whose advantage lies that it extends U-Datalog to distributed environment but still keeps the logic semantic and evaluation method of U-Datalog. The logic presented a new approach to define update in distributed environment based on non-immediate update semantics which distinguishes the language from other distributed datalog. The language is pure declarative and allows us to use top-down and equivalent bottom-up computational evaluation so the already developed techniques for Datalog evaluation can be reused. Firstly, the paper elaborates the syntax and semantic of the logic. Secondly, the evaluation method of the logic is explained. Finally, an application example of the logic in access control of network is discussed which shows the application and expressiveness of the logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Parallel and Distributed Computing - Volume 103, May 2017, Pages 104-112
نویسندگان
, , , ,