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 条
12345