Finding Cross-Rule Optimization Bugs in Datalog Engines

Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detect such optimization bugs, we propose an automated testing approach called Incremental Rule Evaluation (IRE), which syner...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 8; H. OOPSLA1; S. 110 - 136
Hauptverfasser:	Zhang, Chi, Wang, Linzhang, Rigger, Manuel
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 29.04.2024
Schlagworte:	Database query processing Information systems Software and its engineering Software testing and debugging Datalog engine testing test oracle cross-rule optimization bugs
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!