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
来源：
PERSPECTIVES OF SYSTEM INFORMATICS | 2003年 / 2890卷
关键词：
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 条
  • [31] Providing Support for Full Relational Algebra in Probabilistic Databases
    Fink, Robert
    Olteanu, Dan
    Rath, Swaroop
    IEEE 27TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2011), 2011, : 315 - 326
  • [32] A QUERY INTERFACE FOR IMAGE DATABASES BASED ON RELATIONAL ALGEBRA
    NG, CS
    SACKSDAVIS, R
    AUSTRALIAN COMPUTER JOURNAL, 1986, 18 (01): : 1 - 8
  • [33] UPDATE OPERATIONS IN DEDUCTIVE DATABASES WITH FUNCTIONAL-DEPENDENCIES
    TORLONE, R
    ACTA INFORMATICA, 1994, 31 (06) : 573 - 600
  • [34] Deductive databases in four-valued logic: rule semantics and models
    LAURENT, D. O. M. I. N. I. Q. U. E.
    SPYRATOS, N. I. C. O. L. A. S.
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (03) : 536 - 563
  • [35] Functional dependencies in vague relational databases
    Zhao, Faxin
    Ma, Z. M.
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4006 - +
  • [36] Ordered functional dependencies in relational databases
    Ng, W
    INFORMATION SYSTEMS, 1999, 24 (07) : 535 - 554
  • [37] A Logic Frame work for P2P Deductive Databases
    Caroprese, Luciano
    Zumpano, Ester
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (01) : 1 - 43
  • [38] A FUNCTIONAL PROCESSOR FOR THE RELATIONAL ALGEBRA ON A MICROCOMPUTER
    MERRETT, TH
    VANROSSUM, T
    SOFTWARE-PRACTICE & EXPERIENCE, 1986, 16 (11): : 987 - 1002
  • [39] A logic of type relations and its applications to relational databases
    MacCaull, Wendy
    Orlowska, Ewa
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (06) : 789 - 815
  • [40] Efficient processing of huge ontologies in logic and relational databases
    Weithöner, T
    Liebig, T
    Specht, G
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 28 - 29
12345