Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization.
Ralf Hartmut Güting
ACM SIGMOD Conference
1993
22
2
277
286
1349 KB
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 rep
Information Systems, DATABASE MANAGEMENT, Languages.
Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies of Program Constructs, Type structure.
Data, DATA STRUCTURES, Trees.
Information Systems, DATABASE MANAGEMENT, Logical Design, Data models.
Information Systems, DATABASE MANAGEMENT, Systems, Query processing.
F.3.3
Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies of Program Constructs, Type structure.
H.2.4
Information Systems, DATABASE MANAGEMENT, Systems, Query processing.
E.1
Data, DATA STRUCTURES, Trees.
H.2.1
Information Systems, DATABASE MANAGEMENT, Logical Design, Data models.
H.2.3
Information Systems, DATABASE MANAGEMENT, Languages.