Buchumschlag

The Temporal Vadalog System: Temporal Datalog-based Reasoning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bellomarini, Luigi, Blasi, Livia, Nissl, Markus, Sallinger, Emanuel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Databases
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient Temporal Datalog Materialisation for Composite Event Recognition
von: Mantenoglou, Periklis
Veröffentlicht: (2026)

Column-Oriented Datalog on the GPU
von: Sun, Yihao, et al.
Veröffentlicht: (2025)

Size Bound-Adorned Datalog
von: Fattebert, Christian, et al.
Veröffentlicht: (2026)

Evaluating Datalog over Semirings: A Grounding-based Approach
von: Zhao, Hangdong, et al.
Veröffentlicht: (2024)

Optimizing Datalog for the GPU
von: Sun, Yihao, et al.
Veröffentlicht: (2023)

Convergence of Datalog over (Pre-) Semirings
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2021)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)

PG-Triggers: Triggers for Property Graphs
von: Ceri, Stefano, et al.
Veröffentlicht: (2023)

Datalog with First-Class Facts
von: Gilray, Thomas, et al.
Veröffentlicht: (2024)

Circuits and Formulas for Datalog over Semirings
von: Fan, Austen Z., et al.
Veröffentlicht: (2025)

Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)

Scaling Worst-Case Optimal Datalog to GPUs
von: Sun, Yihao, et al.
Veröffentlicht: (2026)

Inconsistency Handling in DatalogMTL
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
von: Zhao, Hangdong, et al.
Veröffentlicht: (2025)

One Size Does NOT Fit All: On the Importance of Physical Representations for Datalog Evaluation
von: Rassau, Nick, et al.
Veröffentlicht: (2026)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
von: Bellomarini, Luigi, et al.
Veröffentlicht: (2024)

The Power of Negation in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)

Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
von: Pavlovic, Aleksandar, et al.
Veröffentlicht: (2024)

The Past Still Matters: A Temporally-Valid Data Discovery System
von: Esmailoghli, Mahdi, et al.
Veröffentlicht: (2025)

PETGraphDB: A Property Evolution Temporal Graph Data Management System
von: Song, Jinghe, et al.
Veröffentlicht: (2025)

Toward Temporal Attribution Analytics in Dataflows
von: Kosyfaki, Chrysanthi, et al.
Veröffentlicht: (2026)

Compact Answers to Temporal Path Queries
von: Adnan, Muhammad, et al.
Veröffentlicht: (2025)

Temporal $k$-Core Query, Revisited
von: Liu, Yinyu, et al.
Veröffentlicht: (2025)

FC-Datalog as a Framework for Efficient String Querying
von: Bell, Owen M., et al.
Veröffentlicht: (2025)

StreamTGN: A GPU-Efficient Serving System for Streaming Temporal Graph Neural Networks
von: Zhang, Lingling, et al.
Veröffentlicht: (2026)

On Reporting Durable Patterns in Temporal Proximity Graphs
von: Agarwal, Pankaj K., et al.
Veröffentlicht: (2024)

Towards Temporal Knowledge Graph Alignment in the Wild
von: Zhao, Runhao, et al.
Veröffentlicht: (2025)

Accelerating K-Core Computation in Temporal Graphs
von: Ma, Zhuo, et al.
Veröffentlicht: (2025)

Efficient Temporal Simple Path Graph Generation
von: Tang, Zhiyang, et al.
Veröffentlicht: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Cross-Layer Decision Timing Orchestration in Cost-Based Database Systems: Resolving Structural Temporal Misalignment
von: Chang, Ilsun
Veröffentlicht: (2026)

Efficient Rare Temporal Pattern Mining in Time Series
von: Long, Van Ho, et al.
Veröffentlicht: (2024)

Efficient Multiple Temporal Network Kernel Density Estimation
von: Shao, Yu, et al.
Veröffentlicht: (2025)

Accelerating Historical K-Core Search in Temporal Graphs
von: Ma, Zhuo, et al.
Veröffentlicht: (2025)

TKG-Thinker: Towards Dynamic Reasoning over Temporal Knowledge Graphs via Agentic Reinforcement Learning
von: Jiang, Zihao, et al.
Veröffentlicht: (2026)

Efficient Maximal Frequent Group Enumeration in Temporal Bipartite Graphs
von: Wu, Yanping, et al.
Veröffentlicht: (2024)

AeonG: An Efficient Built-in Temporal Support in Graph Databases
von: Hou, Jiamin, et al.
Veröffentlicht: (2023)

A Datalog Framework for Conflict-Free Replicated Data Types
von: Yanakieva, Elena, et al.
Veröffentlicht: (2026)

ChronoConnect: Tracking Pathways Along Highly Dynamic Vertices in Temporal Graphs
von: Ding, Jiacheng, et al.
Veröffentlicht: (2025)

A Unified Replay-based Continuous Learning Framework for Spatio-Temporal Prediction on Streaming Data
von: Miao, Hao, et al.
Veröffentlicht: (2024)