Typed query languages for databases containing queries

被引：6
作者：
Neven, F
Van den Bussche, J
Van Gucht, D
Vossen, G
机构：
[1] Limburgs Univ Ctr, B-3590 Diepenbeek, Belgium
[2] Indiana Univ, Dept Comp Sci, Bloomington, IN 47408 USA
[3] Univ Munster, Inst Informat, D-48161 Munster, Germany
来源：
INFORMATION SYSTEMS | 1999年 / 24卷 / 07期
关键词：
databases; query languages; stored procedures; meta programming;
D O I：
10.1016/S0306-4379(99)00033-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper introduces and studies the relational meta algebra, a statically typed extension of the relational algebra to allow for meta programming in databases. In this meta algebra one can manipulate database relations involving not only stored data values (as in classical relational databases) but also stored relational algebra expressions. Topics discussed include modeling of advanced database applications involving "procedural data"; desirability as well as limitations of a strict typing discipline in this context; equivalence with a first-order calculus; and global expressive power and non-redundancy of the proposed formalism. (C) 1999 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：569 / 595
页数：27
相关论文
共 50 条
  • [31] Preference Decomposition and the Expressiveness of Preference Query Languages
    Roocks, Patrick
    MATHEMATICS OF PROGRAM CONSTRUCTION, MPC 2015, 2015, 9129 : 71 - 92
  • [32] A dichotomy in the complexity of consistent query answering for queries with two atoms
    Kolaitis, Phokion G.
    Pema, Enela
    INFORMATION PROCESSING LETTERS, 2012, 112 (03) : 77 - 85
  • [33] Answer sets for consistent query answering in inconsistent databases
    Arenas, M
    Bertossi, L
    Chomicki, J
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 393 - 424
  • [34] Summarizing Provenance of Aggregate Query Results in Relational Databases
    AlOmeir, Omar
    Lai, Eugenie Yujing
    Milani, Mostafa
    Pottinger, Rachel
    2021 IEEE 37TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2021), 2021, : 1955 - 1960
  • [35] A RELATIONAL-CALCULUS QUERY LANGUAGE FOR HISTORICAL DATABASES
    BASSIOUNI, MA
    LLEWELLYN, MJ
    COMPUTER LANGUAGES, 1992, 17 (03): : 185 - 197
  • [36] Geometric query types for data retrieval in relational databases
    Sourina, O
    Boey, SH
    DATA & KNOWLEDGE ENGINEERING, 1998, 27 (02) : 207 - 229
  • [37] Declarative PTIME queries for relational databases using quantifier elimination
    Doherty, P
    Lukaszewicz, W
    Szalas, A
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (05) : 737 - 758
  • [38] A Secure Model to Execute Queries Over Encrypted Databases in the Cloud
    Almakdi, Sultan
    Panda, Brajendra
    4TH IEEE INTERNATIONAL CONFERENCE ON SMART CLOUD (SMARTCLOUD 2019) / 3RD INTERNATIONAL SYMPOSIUM ON REINFORCEMENT LEARNING (ISRL 2019), 2019, : 31 - 36
  • [39] First-order queries on databases embedded in an infinite structure
    Otto, M
    VandenBussche, J
    INFORMATION PROCESSING LETTERS, 1996, 60 (01) : 37 - 41
  • [40] Highly Expressive Query Languages for Unordered Data Trees
    Serge Abiteboul
    Pierre Bourhis
    Victor Vianu
    Theory of Computing Systems, 2015, 57 : 927 - 966
12345