Abstract In this thesis, a connection between two areas of research is developed. On the one hand, the Resource Desription Framework (RDF) is the basis of the Semantic Web. On the other hand, algebraic graph transformation has a long history of providing formally...
Abstract The core of a model theory for generic schema management is developed. This theory has two distinctive features: it applies to a variety of categories of schemas, and it applies to transformations of both the schema structure and its integrity constraints. A...
Abstract This informal paper tries to motivate the use of category theory in computing science by giving heuristic guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and co limit. Several examples and some...
