Academic Journal
Relationlog: A Typed Extension to Datalog with Sets and Tuples
| العنوان: | Relationlog: A Typed Extension to Datalog with Sets and Tuples |
|---|---|
| المؤلفون: | Mengchi Liu |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www.cs.uregina.ca/~mliu/papers/rlog-JLP2.ps. |
| بيانات النشر: | MIT Press |
| سنة النشر: | 1995 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | Deductive databases, logic programming, nested relations, complex values, minimal model |
| الوصف: | This paper presents a novel logic programming based language for nested relational and complex value models called Relationlog. It stands in the same relationship to the nested relational and complex value models as Datalog stands to the relational model. The main novelty of the language is the introduction of powerful mechanisms, namely, partial and complete set terms, for representing and manipulating both partial and complete information on sets, tuples and relations. They generalize the set grouping and set enumeration mechanisms of LDL and allow the user to directly encode the open and closed world assumptions on nested sets, tuples, and relations. They allow direct inference and access to deeply embedded values, which greatly increases the ease of use of the language. As a result, the extended relational algebra operations, can be represented in Relationlog directly, and more importantly, recursively in a way similar to Datalog. Relationlog has a well-defined Herbrand-like minima. |
| نوع الوثيقة: | text |
| وصف الملف: | application/postscript |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3561; http://www.cs.uregina.ca/~mliu/papers/rlog-JLP2.ps |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3561 http://www.cs.uregina.ca/~mliu/papers/rlog-JLP2.ps |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.C8EC5C3E |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |