کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874824 | 1441439 | 2018 | 28 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Relation Algebra as programming language using the Ampersand compiler
ترجمه فارسی عنوان
جبر ارتباطی به عنوان زبان برنامه نویسی با استفاده از کامپایلر آمپرسند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
جبر ارتباطی، توسعه نرم افزار، استدلال قانونی، طراحی سیستم های اطلاعاتی، آمپرسند، برنامه ریزی واکنشی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Relation Algebra can be used as a programming language for building information systems. This paper demonstrates the principle by presenting a case study together with the theory behind programming in Relation Algebra. As a case study, we have developed a database application for legal reasoning. We discuss a small part of it to illustrate the mechanisms of programming in Relation Algebra. Beside being declarative, relation algebra comes with attractive prospects for developing software. The compiler that was used for this case study, Ampersand, is the result of an open source project. Ampersand has been tried and tested in practice and is available as free open source software.1
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 100, November 2018, Pages 113-129
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 100, November 2018, Pages 113-129
نویسندگان
Stef Joosten,