Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Summary: Proposes a second-order signature framework for extensible DB systems, using two coupled many-sorted signatures to separate data models (top) from query/processing algebras (bottom). Enables parsing and rule-based optimization across arbitrary models and languages, with relational modeling and query processing demonstrated. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Ralf Hartmut Güting (ETH Zurich; Fern University in Hagen)
BibTeX Citation
@inproceedings{guting_sigmod93,
title = {{Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization}},
author = {Güting, Ralf Hartmut},
series = {{SIGMOD} '93},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/170035.170079},
url = {https://dl.acm.org/doi/10.1145/170035.170079},
year = {1993}
}
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,359 | GraphDB: Modeling and Querying Graphs in Databases | 1994 | VLDB | 0.00011040427 |
| 4,645 | User-Defined Table Operators: Enhancing Extensibility for ORDBMS | 1999 | VLDB | 6.5900051e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 34 | The Design Of Postgres | 1986 | SIGMOD | 0.00049302774 |
| 119 | The EXODUS Optimizer Generator | 1987 | SIGMOD | 0.0003183602 |
| 268 | Extensible Query Processing in Starburst | 1989 | SIGMOD | 0.00022788687 |
| 312 | A Graphical Query Language Supporting Recursion | 1987 | SIGMOD | 0.00021733819 |
| 475 | A Calculus for Complex Objects | 1986 | PODS | 0.00017864549 |
| 1,003 | Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance | 1991 | SIGMOD | 0.00012705891 |
| 1,877 | The LSD tree: spatial access to multidimensional point and non-point objects | 1989 | VLDB | 9.5658249e-05 |
| 2,248 | Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference | 1989 | SIGMOD | 8.8703718e-05 |
| 2,628 | Gral: An Extensible Relational Database System for Geometric Applications | 1989 | VLDB | 8.326647e-05 |
| 2,637 | A Graph-Oriented Object Database Model | 1990 | PODS | 8.3154765e-05 |
| 3,633 | IFO: A Formal Semantic Database Model (Preliminary Report) | 1984 | PODS | 7.2366114e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,128 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD |
| 2 | 1,003 | Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance | 1991 | SIGMOD |
| 3 | 1,073 | A General Framework for the Optimization of Object-Oriented Queries | 1992 | SIGMOD |
| 4 | 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS |
| 5 | 4,149 | Object-Oriented Specification of Databases: An Algebraic Approach | 1987 | VLDB |
| 6 | 8,120 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 7 | 2,258 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 8 | 13,040 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB |
| 9 | 685 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS |
| 10 | 3,781 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |