Frank Neven, Dirk Van Gucht, Jan Van den Bussche  Home/Search
Context
Related
| luc.ac.be/~fneven/meta.ps.gz alpha.luc.ac.be/~luc...typed_meta.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: luc.ac.be/~fneven/publs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Active bibliography (related documents): More All
0.2: Design and Implementation of Reflective SQL (Extended.. - Dalkilic, Jain, Van.. (1996) (Correct)
0.2: Towards Tractable Algebras for Bags - Grumbach, Milo (1993) (Correct)
0.2: Simulation of the Nested Relational Algebra By the Flat.. - Van den Bussche (1999) (Correct)
Similar documents based on text: More All
0.9: Typed Query Languages for - Databases Containing Queries (Correct)
0.3: Expressiveness of Structured Document Query Languages.. - Neven, Van den Bussche (1998) (Correct)
0.2: On the Computation of Relational View Complements - Lechtenbörger, Vossen (2003) (Correct)
BibTeX entry: (Update)
@inproceedings{ neven98typed,
author = "Frank Neven and Dirk Van Gucht and Jan Van den Bussche and Gottfried Vossen",
title = "Typed Query Languages for Databases Containing Queries",
pages = "189--196",
year = "1998",
url = "citeseer.ist.psu.edu/218301.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1996
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
198 Structure and complexity of relational queries - Chandra, Harel - 1982
189 Computable queries for relational data bases - Chandra, Harel - 1980
108 Relational completeness of data base sublanguages (context) - Codd - 1972
106 Equivalence of relational algebra and relational calculus qu.. (context) - Klug - 1982
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993
89 The Lambda Calculus (context) - Barendregt - 1984
87 Towards a theory of spatial database queries (context) - Paredaens, Van den Bussche et al. - 1994
50 Extending relational algebra and relational calculus with se.. (context) - Ozsoyoglu, Ozsoyoglu et al. - 1987
48 the logical foundations of schema integration and evolution .. - Lakshmanan, Sadri et al. - 1993
35 A grammar-based approach towards unifying hierarchical data .. (context) - Gyssens, Paredaens et al. - 1994
23 Extending a database system with procedures - Stonebraker - 1987
22 Relations with relation names as arguments: Algebra and calc.. (context) - Ross - 1992
21 Term rewriting systems: A tutorial (context) - Klop - 1987
17 Normal forms and conservative extension properties for query.. - Wong
16 QUEL as a data type (context) - Stonebraker - 1984
15 Bounded fixpoints for complex objects - Suciu - 1997
12 Definierbare Funktionen im -Kalkul mit Typen (context) - Schwichtenberg - 1975
9 Converting nested algebra expressions into flat algebra expr.. (context) - Paredaens, Van Gucht - 1992
7 Reflective programming in the relational algebra - Van den Bussche, Van Gucht et al. - 1996
5 the power of algebras with recursion (context) - Beeri, Milo - 1993
1 Type safe meta-programming - Sheard, Hook - 1994
Documents on the same site (http://www.luc.ac.be/~fneven/publs.html):
Adding for-Loops to First-Order Logic - Neven, Otto, Tyszkiewicz, Van den .. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC