activity
20082023
most citedFirst-Order and Temporal Logics for Nested Words

100 citations · 260 across the 13 of their papers we have counts for

collaborators

14 papers

cs.DB2023

The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space

Gábor Szárnyas, Brad Bebee, Altan Birler +30

Graph data management is instrumental for several use cases such as recommendation, root cause analysis, financial fraud detection, and enterprise knowledge representation. Efficie…

cs.DB2022★ 77 cited

PG-Schema: Schemas for Property Graphs

Renzo Angles, Angela Bonifati, Stefania Dumbrava +18

Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a ne…

cs.DB2022

Querying Incomplete Numerical Data: Between Certain and Possible Answers

Marco Console, Leonid Libkin, Liat Peterfreund

Queries with aggregation and arithmetic operations, as well as incomplete data, are common in real-world database, but we lack a good understanding of how they should interact. On…

cs.DB2022★ 1 cited

GPC: A Pattern Calculus for Property Graphs

Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo +7

The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently deve…

cs.DB2021

Graph Pattern Matching in GQL and SQL/PGQ

Alin Deutsch, Nadime Francis, Alastair Green +15

As graph databases become widespread, JTC1 -- the committee in joint charge of information technology standards for the International Organization for Standardization (ISO), and In…

cs.DB2020★ 2 cited

Handling SQL Nulls with Two-Valued Logic

Leonid Libkin, Liat Peterfreund

The design of SQL is based on a three-valued logic (3VL), rather than the familiar Boolean logic. 3VL adds a truth value unknown to true and false to handle nulls. Viewed as indisp…