The GraphDB Algebra : Specification of Advanced Data Models with Second-Order Signature
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.
Nutzung und Vervielfältigung:
Alle Rechte vorbehalten