BIROn - Birkbeck Institutional Research Online

    Typing graph-manipulation operations

    Hidders, Jan (2003) Typing graph-manipulation operations. In: Calvanese, D. and Lenzerini, M. and Motwani, R. (eds.) Database Theory: ICDT 2003. Lecture Notes in Computer Science 2572. Springer, pp. 391-406. ISBN 9783540003236.

    Full text not available from this repository.


    We present a graph-based data model called GDM where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. For this data model we introduce two graph-manipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for well-typed operations that the result belongs to a certain database schema graph, and what the complexity of deciding this well-typedness is.


    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 20 Apr 2021 18:31
    Last Modified: 20 Apr 2021 18:31


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item