A relational algebra for functional logic deductive databases

被引:0
|
作者
Almendros-Jiménez, JM [1 ]
Becerra-Terón, A [1 ]
机构
[1] Univ Almeria, Dpto Lenguajes & Computac, Almeria, Spain
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper, we study the integration of functional logic programming and databases by presenting a data model, and a query and data definition language. The data model is adopted from functional logic programming by allowing complex values. The query and data definition language is based on the use of algebra expressions built from a set of algebra operators over an extended relational algebra. In addition, algebra expressions can be used for defining functions, typical in a functional logic program.
引用
收藏
页码:494 / 508
页数:15
相关论文
共 50 条
  • [1] ON DEDUCTIVE RELATIONAL DATABASES
    MINKER, J
    ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1983, 410 (JUL) : 181 - 200
  • [2] Linear logic for deductive databases
    Dong-Tsan Lee
    C. P. Tsang
    New Generation Computing, 1999, 17 : 201 - 228
  • [3] Logic approaches for deductive databases
    Leung, Yim Yung
    Lee, Dik Lun
    IEEE Expert, 1988, 3 (04): : 64 - 75
  • [4] Linear logic for deductive databases
    Lee, DT
    Tsang, CP
    NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228
  • [5] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
    LEUNG, YY
    LEE, DL
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
  • [6] LOGIC AND DATABASES - A DEDUCTIVE APPROACH
    GALLAIRE, H
    MINKER, J
    NICOLAS, JM
    COMPUTING SURVEYS, 1984, 16 (02) : 153 - 185
  • [7] LOGIC AND DATABASES: A DEDUCTIVE APPROACH.
    Gallaire, Herve
    Minker, Jack
    Nicolas, Jean-Marie
    Computing surveys, 1984, 16 (02): : 153 - 185
  • [8] Reasoning with uncertainty in deductive databases and logic programs
    Ng, RT
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 1997, 5 (03) : 261 - 316
  • [9] Access control for deductive databases by logic programming
    Barker, S
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 54 - 69
  • [10] SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    PRZYMUSINSKI, TC
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 85 - 107