Image de couverture de livre

Optimizing Datalog for the GPU

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sun, Yihao, Shovon, Ahmedur Rahman, Gilray, Thomas, Micinski, Kristopher, Kumar, Sidharth
Format:	Preprint
Publié:	2023
Sujets:	Databases Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scaling Worst-Case Optimal Datalog to GPUs
par: Sun, Yihao, et autres
Publié: (2026)

Column-Oriented Datalog on the GPU
par: Sun, Yihao, et autres
Publié: (2025)

Datalog with First-Class Facts
par: Gilray, Thomas, et autres
Publié: (2024)

Superset Decompilation
par: Liu, Chang, et autres
Publié: (2026)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

The Power of Negation in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2026)

A Datalog Framework for Conflict-Free Replicated Data Types
par: Yanakieva, Elena, et autres
Publié: (2026)

Adaptive Recursive Query Optimization
par: Herlihy, Anna, et autres
Publié: (2023)

Galley: Modern Query Optimization for Sparse Tensor Programs
par: Deeds, Kyle, et autres
Publié: (2024)

Vbox: Efficient Black-Box Serializability Verification
par: Sun, Weihua, et autres
Publié: (2025)

Static Type Checking for Database Access Code
par: Kirz, Thomas James, et autres
Publié: (2026)

An Extensive Study on Text Serialization Formats and Methods
par: Wei, Wang, et autres
Publié: (2025)

Constant Optimization Driven Database System Testing
par: Zhang, Chi, et autres
Publié: (2025)

Dias: Dynamic Rewriting of Pandas Code
par: Baziotis, Stefanos, et autres
Publié: (2023)

Validation of Modern JSON Schema: Formalization and Complexity
par: Attouche, Lyes, et autres
Publié: (2023)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
par: Bouajjani, Ahmed, et autres
Publié: (2025)

Foundations of the GraphAlg Language
par: de Graaf, Daan, et autres
Publié: (2026)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
par: Shaikhha, Amir, et autres
Publié: (2025)

Rel: A Programming Language for Relational Data
par: Aref, Molham, et autres
Publié: (2025)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
par: Durvasula, Naveen
Publié: (2026)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
par: He, Yang, et autres
Publié: (2024)

Semantic foundations of equality saturation
par: Suciu, Dan, et autres
Publié: (2025)

Querying Graph-Relational Data
par: Sullivan, Michael J., et autres
Publié: (2025)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
par: Liu, Yanhong A., et autres
Publié: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
par: Geng, Chujun, et autres
Publié: (2024)

Understanding Graph Databases: A Comprehensive Tutorial and Survey
par: Anuyah, Sydney, et autres
Publié: (2024)

Towards General-Purpose Data Discovery: A Programming Languages Approach
par: Kang, Andrew, et autres
Publié: (2025)

Elimination of annotation dependencies in validation for Modern JSON Schema
par: Attouche, Lyes, et autres
Publié: (2025)

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
par: Vandevoort, Brecht, et autres
Publié: (2025)

Towards Relational Contextual Equality Saturation
par: Hou, Tyler, et autres
Publié: (2025)

A Compiler for Operations on Relations with Bag Semantics
par: Dong, James, et autres
Publié: (2025)

TQL: Towards Type-Driven Data Discovery
par: Kang, Andrew, et autres
Publié: (2025)

PyTond: Efficient Python Data Science on the Shoulders of Databases
par: Shahrokhi, Hesam, et autres
Publié: (2024)

FC-Datalog as a Framework for Efficient String Querying
par: Bell, Owen M., et autres
Publié: (2025)

Structured Prompt Language: Declarative Context Management for LLMs
par: Gong, Wen G.
Publié: (2026)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
par: Chen, Sibei, et autres
Publié: (2024)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
par: Chen, Haobin Hiroki, et autres
Publié: (2025)

Probabilistic Inference for Datalog with Correlated Inputs
par: Wang, Jingbo, et autres
Publié: (2025)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
par: Weng, Han, et autres
Publié: (2025)