Refine
Year of publication
- 2024 (2)
- 2023 (18)
- 2022 (29)
- 2021 (18)
- 2020 (24)
- 2019 (17)
- 2018 (12)
- 2017 (20)
- 2016 (17)
- 2015 (20)
- 2014 (15)
- 2013 (30)
- 2012 (22)
- 2011 (32)
- 2010 (42)
- 2009 (23)
- 2008 (36)
- 2007 (40)
- 2006 (54)
- 2005 (56)
- 2004 (57)
- 2003 (60)
- 2002 (50)
- 2001 (78)
- 2000 (70)
- 1999 (81)
- 1998 (71)
- 1997 (63)
- 1996 (46)
- 1995 (58)
- 1994 (27)
- 1993 (5)
- 1992 (12)
- 1991 (4)
Document Type
- Monograph/Edited Volume (1212) (remove)
Language
- English (1212) (remove)
Keywords
Institute
- Institut für Mathematik (353)
- Wirtschaftswissenschaften (191)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (89)
- Institut für Informatik und Computational Science (82)
- Department Linguistik (47)
- Institut für Anglistik und Amerikanistik (46)
- Sozialwissenschaften (39)
- Institut für Physik und Astronomie (35)
- Hasso-Plattner-Institut für Digital Engineering GmbH (33)
- Department Psychologie (25)
- Institut für Umweltwissenschaften und Geographie (21)
- Historisches Institut (19)
- Institut für Biochemie und Biologie (19)
- Interdisziplinäres Zentrum für Dynamik komplexer Systeme (19)
- Fachgruppe Politik- & Verwaltungswissenschaft (17)
- Institut für Germanistik (17)
- Institut für Romanistik (17)
- Extern (16)
- Institut für Chemie (13)
- Institut für Geowissenschaften (13)
- Institut für Jüdische Studien und Religionswissenschaft (13)
- MenschenRechtsZentrum (11)
- Philosophische Fakultät (11)
- Department Erziehungswissenschaft (9)
- Institut für Slavistik (8)
- Öffentliches Recht (8)
- Sonderforschungsbereich 632 - Informationsstruktur (6)
- Strukturbereich Kognitionswissenschaften (6)
- Bürgerliches Recht (5)
- Department Grundschulpädagogik (5)
- Institut für Künste und Medien (5)
- Department Sport- und Gesundheitswissenschaften (4)
- Fachgruppe Betriebswirtschaftslehre (4)
- Zentrum für Gerechtigkeitsforschung (4)
- Fachgruppe Soziologie (3)
- Klassische Philologie (3)
- Institut für Ernährungswissenschaft (2)
- WeltTrends e.V. Potsdam (2)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (2)
- Zentrum für Australienforschung (2)
- Department Musik und Kunst (1)
- Fakultät für Gesundheitswissenschaften (1)
- Institut für Jüdische Theologie (1)
- Institut für Philosophie (1)
- Interdisziplinäres Zentrum für Biopolymere (1)
- Lehreinheit für Wirtschafts-Arbeit-Technik (1)
- Strafrecht (1)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (1)
Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update.