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 条
  • [21] DrawCAD: Using deductive object-relational databases in CAD
    Liu, MC
    Katragadda, S
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, 2001, 2113 : 481 - 490
  • [22] A LOGIC APPROACH TO FUZZY RELATIONAL DATABASES
    VILA, MA
    CUBERO, JC
    MEDINA, JM
    PONS, O
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (05) : 449 - 460
  • [23] EXTENDED ALGEBRA AND CALCULUS FOR NESTED RELATIONAL DATABASES
    ROTH, MA
    KORTH, HF
    SILBERSCHATZ, A
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1988, 13 (04): : 389 - 417
  • [24] Relational lattices: From databases to universal algebra
    Litak, Tadeusz
    Mikulas, Szabolcs
    Hidders, Jan
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 540 - 573
  • [25] UPDATING DEDUCTIVE DATABASES WITH FUNCTIONAL-DEPENDENCIES
    TORLONE, R
    ATZENI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 278 - 291
  • [26] Evaluating a Temporal Relational Algebra Supporting Preferences in Temporal Relational Databases
    Anselma, Luca
    Coviello, Antonella
    Terenziani, Paolo
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, ADBIS 2024, 2024, 14918 : 32 - 44
  • [27] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
  • [28] Minimal founded semantics for disjunctive logic programs and deductive databases
    Furfaro, F
    Greco, G
    Greco, S
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 75 - 93
  • [29] AN ALTERNATIVE APPROACH TO THE SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    SAKAMA, C
    INOUE, K
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (01) : 145 - 172
  • [30] Cryptographic relational algebra for databases using the field authenticator
    Chen, Chien-Yuan
    Ku, Cheng-Yuan
    Yen, David C.
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2007, 54 (01) : 38 - 44