Second-Order Signature: A Tool for Specifying Data Models (1993)
| Venue: | Query Processing, and Optimization. Proc. ACM SIGMOD Conf |
| Citations: | 27 - 18 self |
BibTeX
@INPROCEEDINGS{Güting93second-ordersignature:,
author = {Ralf Hartmut Güting},
title = {Second-Order Signature: A Tool for Specifying Data Models},
booktitle = {Query Processing, and Optimization. Proc. ACM SIGMOD Conf},
year = {1993},
pages = {277--286},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 signature provides polymorphic operations over the types defined as terms of the top level. Hence the top level can be used to define a data or representation model and the bottom level to describe a query algebra or a query processing algebra. We show the applicability of this framework by examples drawn from relational modeling and query processing.
