A navigational logic for reasoning about graph properties

Das Suchergebnis hat sich seit Ihrer Suchanfrage verändert. Eventuell werden Dokumente in anderer Reihenfolge angezeigt.

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.

Metadaten
Verfasserangaben:	Marisa Navarro ORCiD, Fernando Orejas ORCiD, Elvira Pino ORCiD, Leen Lambers ORCiD GND
DOI:	https://doi.org/10.1016/j.jlamp.2020.100616
ISSN:	2352-2208
ISSN:	2352-2216
Titel des übergeordneten Werks (Englisch):	Journal of logical and algebraic methods in programming
Verlag:	Elsevier Science
Verlagsort:	Amsterdam [u.a.]
Publikationstyp:	Wissenschaftlicher Artikel
Sprache:	Englisch
Datum der Erstveröffentlichung:	01.01.2021
Erscheinungsjahr:	2021
Datum der Freischaltung:	15.03.2024
Freies Schlagwort / Tag:	Algebraic methods; Formal modelling; Graph logic; Specification
Band:	118
Aufsatznummer:	100616
Seitenanzahl:	33
Fördernde Institution:	Spanish Ministry of Economy and Competitiveness under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; European Union (FEDER funds) under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; Basque Project [GIU15/30, UFI11/45]
Organisationseinheiten:	Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer Review:	Referiert