## GraphLog

swMATH ID: | 20098 |

Software Authors: | Consens, M.; Mendelzon |

Description: | GraphLog: a visual formalism for real life recursion. We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language and show that it is equivalent to stratified linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming ordering on the domain). The fact that the latter three classes coincide was not previously known. We show how GraphLog can be extended to incorporate aggregates and path summarization, and describe briefly our current prototype implementation. |

Homepage: | http://dl.acm.org/citation.cfm?id=298591 |

Related Software: | XPath; SPARQL; Lorel; Datalog; nSPARQL; DLV2; SWI-Prolog; ASSAT; openCypher; GitHub; NuSMV; UnQL; Python; PERL |

Referenced in: | 32 Publications |

all
top 5

### Referenced by 47 Authors

all
top 5

### Referenced in 13 Serials

### Referenced in 5 Fields

31 | Computer science (68-XX) |

6 | Mathematical logic and foundations (03-XX) |

1 | Combinatorics (05-XX) |

1 | Associative rings and algebras (16-XX) |

1 | Category theory; homological algebra (18-XX) |