Refine
Has Fulltext
- no (9)
Document Type
- Article (9) (remove)
Language
- English (9)
Is part of the Bibliography
- yes (9)
Keywords
- Nested graph conditions (2)
- Algebraic methods (1)
- Application (1)
- Attributed graph transformation (1)
- Attributed graphs (1)
- Consistency (1)
- Critical pair analysis (1)
- Critical pairs (1)
- Delta preservation (1)
- Formal modelling (1)
Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.