Search Results for author:
Found 5 papers, 2 papers with code
Large Language Models and Knowledge Graphs: Opportunities and Challenges
Large Language Models (LLMs) have taken Knowledge Representation -- and the world -- by storm.
Graph Generators: State of the Art and Open Challenges
The abundance of interconnected data has fueled the design and implementation of graph generators reproducing real-world linking properties, or gauging the effectiveness of graph algorithms, techniques and applications manipulating these data.
Certified Graph View Maintenance with Regular Datalog
We employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called views.
Databases Logic in Computer Science Programming Languages
gMark: Schema-Driven Generation of Graphs and Queries
A core contribution of gMark is its ability to target and control the diversity of properties of both the generated instances and the generated workloads coupled to these instances.
Databases
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries
In this paper, we focus on the class of single-function object-creating conjunctive queries, or sifo CQs for short.
