Ralf Hartmut Güting  Home/Search
Context
Related
| fernunihagen.de/p...derSignature.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: voss.fernunihagen...bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimization that can be used with widely varying data models and query languages as well as representation and query processing systems. The key idea is to use second-order signature (and algebra), a system of two coupled many-sorted signatures, where the top-level signature offers kinds and type constructors and the bottom-level... (Update)
Active bibliography (related documents): More All
0.7: The GraphDB Algebra: Specification of Advanced Data Models.. - Becker, Güting (1995) (Correct)
0.5: Object Algebras: What is Wrong? - Subieta, Kambayashi, Leszczylowski.. (Correct)
0.5: Plug and Play with Query Algebras: SECONDO - A Generic DBMS.. - Dieker, Güting (Correct)
Similar documents based on text: More All
0.3: Implementation of the ROSE Algebra: Efficient Algorithms for.. - Güting, al. (Correct)
0.2: Spatial Database Systems - Güting (1994) (Correct)
0.2: Explicit Graphs in a Functional Model for Spatial Databases - Erwig, Güting (1994) (Correct)
BibTeX entry: (Update)
@misc{ ting-secondorder,
author = "Ralf Hartmut Güting",
title = "Second-Order Signature: A Tool for Specifying Data Models, Query Processing,
and Optimization",
url = "citeseer.ist.psu.edu/48469.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
388 On Understanding Types (context) - Cardelli - 1985
369 A Semantics of Multiple Inheritance - Cardelli - 1984
325 Towards a Theory of Type Structure (context) - Reynolds - 1974
164 IFO: A Formal Semantic Database Model (context) - Abiteboul - 1984
161 Fundamentals of Algebraic Specification (context) - Ehrig - 1985
152 The Design of POSTGRES - Stonebraker - 1986
139 Type Systems for Programming Languages (context) - Mitchell - 1990
129 the Power of Languages for the Manipulation of Complex Objec.. - Abiteboul - 1988
106 The EXODUS Optimizer Generator - Graefe - 1987
96 A Graph-Oriented Object Database Model - Gyssens, Paredaens et al. - 1990
93 Extensible Query Processing in Starburst (context) - Haas, Freytag et al. - 1989
72 GENESIS: An Extensible Database Management System (context) - Batory, Barnett et al. - 1988
63 Database Programming in Machiavelli -- a Polymorphic Languag.. - Ohori, Buneman et al. - 1989
55 The LSD Tree: Spatial Access to Multidimensional Point- and .. (context) - Henrich, Six et al. - 1989
53 Digital Equipment Corporation (context) - Cardelli - 1989
52 Algebraic Support for Complex Objects with Arrays (context) - Vandenberg - 1991
46 Rule-Based Optimization and Query Processing in an Extensibl.. (context) - Becker - 1992
45 A Relational Object Model (context) - Scholl - 1990
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
30 An Investigation of a Programming Language with a Polymorphi.. (context) - McCracken - 1979
27 A Graphical Query Language Supporting Recursion (context) - Cruz, Mendelzon et al. - 1987
23 Semantics of Types for Database Objects (context) - Ohori - 1988
22 Type Inference in a Database Programming Language (context) - Ohori - 1988
19 An Algebra for Structured Office Documents (context) - Guting, Zicari et al. - 1989
17 Explicit Graphs in a Functional Model for Spatial Databases - Erwig - 1991
15 Exceeding the Limits of Polymorphism in Database Programming.. (context) - Stemple, Fegaras et al. - 1990
14 A Type System that Reconciles Classes and Extents - Buneman - 1991
13 An Algebraic Model of Subtypes in Object-Oriented Languages (context) - Bruce - 1986
13 IEEE Transactions on Knowledge and Data Engineering (context) - Schek, Paul et al. - 1990
13 A Review of Recent Work on Multi-attribute Access Methods (context) - Lomet - 1992
6 Gral: An Extensible Relational Database System for Geometric.. (context) - Guting - 1989
3 on LISP and Functional Programming (context) - Cardelli, Longo - 1990
3 From Relations and Nested Relations to Object Models (context) - Schek - 1991
3 on Extending Data Base Technology (context) - Cardelli - 1988
2 Workshop on Database Programming Languages (context) - Shaw - 1989
2 ACM Symposium on Principles of Database Systems (context) - Bancilhon, Khoshafian - 1986
1 Symposium on Theoretical Aspects of Computer Science (context) - Leszczylowski - 1991
1 limination des coupures de l'arithmétique d'ordre supérieur (context) - Girard, Interpretation - 1972
Documents on the same site (http://voss.fernuni-hagen.de/import/pi4/bibliography.html): More
Vague Regions - Erwig, Schneider (1997) (Correct)
Implementation of the ROSE Algebra: Efficient Algorithms for.. - Güting, al. (Correct)
Gral: An Extensible Relational Database System for Geometric.. - Güting (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