Graph Attribution Through Sub-Graphs

H. Kastenberg, Arend Rensink

    Research output: Book/ReportReportProfessional

    164 Downloads (Pure)

    Abstract

    We offer an alternative to the standard formalisation of attributed graphs. We propose to represent an attributed graph as a graph with a marked sub-graph, in which the sub-graph represents the data domain, rather than as a tuple of graph and algebra. This is a general construction which can be shown to preserve adhesiveness of categories; it has the advantage of uniformity and gives more flexibility in defining data abstractions. We show equivalence of our formalisation with the standard one, under a suitable encoding of algebras as graphs.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages24
    Publication statusPublished - Nov 2012

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-12-27
    ISSN (Print)1381-3625

    Keywords

    • Graph Transformation
    • METIS-289788
    • EWI-22534
    • IR-84369
    • Adhesive Cateogries
    • Attributed Graphs

    Cite this