A navigational logic for reasoning about graph properties

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. Wit...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 118; p. 100616
Main Authors Navarro, Marisa, Orejas, Fernando, Pino, Elvira, Lambers, Leen
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.01.2021
Subjects
Algebraic methods
Formal modelling
Graph logic
Specification
Graph logic
Formal modelling
Specification
Algebraic methods
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2020.100616