The GraphDB Algebra: Specification of Advanced Data Models with Second-Order Signature

Ludger Becker (1), Ralf Hartmut Güting (2),

(1) Westfälische Wilhelms-Universität, FB 15 - Informatik, Einsteinstr. 62, D-48149 Münster, GERMANY
(2) Praktische Informatik IV, Fernuniversität Hagen, D-58084 Hagen, GERMANY

Abstract: A framework using so called second-order signature for the specification of database models has been presented in earlier work. The goal of this approach is to provide generic tools for the implementation of database systems, in particular for parsing and rule-based optimization and for execution of query plans, that can be used with widely varying data models and query languages. In this paper we apply this specification technique to the graph based data model GraphDB. We develop an algebraic description for the querying facilities of GraphDB and use second-order signature to specify the GraphDB data model and its algebra.

Keywords: Extensible databases, system architecture, specification, type systems, algebra, modeling, graph databases, second-order signature.

Published: FernUniversität Hagen, Informatik-Report 183, May 1995.