Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021830120> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3021830120 endingPage "35" @default.
- W3021830120 startingPage "1" @default.
- W3021830120 abstract "Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications that model analysis problems process millions of tuples of data and contain hundreds of highly recursive rules. As a result, they are notoriously difficult to debug. While the database community has proposed several data provenance techniques that address the Declarative Debugging Challenge for Databases, in the cases of analysis problems, these state-of-the-art techniques do not scale. In this article, we introduce a novel bottom-up Datalog evaluation strategy for debugging: Our provenance evaluation strategy relies on a new provenance lattice that includes proof annotations and a new fixed-point semantics for semi-naïve evaluation. A debugging query mechanism allows arbitrary provenance queries, constructing partial proof trees of tuples with minimal height. We integrate our technique into Soufflé, a Datalog engine that synthesizes C++ code, and achieve high performance by using specialized parallel data structures. Experiments are conducted with D OOP /DaCapo, producing proof annotations for tens of millions of output tuples. We show that our method has a runtime overhead of 1.31× on average while being more flexible than existing state-of-the-art techniques." @default.
- W3021830120 created "2020-05-13" @default.
- W3021830120 creator A5009881146 @default.
- W3021830120 creator A5054610700 @default.
- W3021830120 creator A5084068260 @default.
- W3021830120 date "2020-04-17" @default.
- W3021830120 modified "2023-10-17" @default.
- W3021830120 title "Debugging Large-scale Datalog" @default.
- W3021830120 cites W1547929987 @default.
- W3021830120 cites W1600055947 @default.
- W3021830120 cites W1606209748 @default.
- W3021830120 cites W173479935 @default.
- W3021830120 cites W1971962972 @default.
- W3021830120 cites W2008865455 @default.
- W3021830120 cites W2034766600 @default.
- W3021830120 cites W2040019628 @default.
- W3021830120 cites W2050680750 @default.
- W3021830120 cites W2079877139 @default.
- W3021830120 cites W2101235780 @default.
- W3021830120 cites W2110833886 @default.
- W3021830120 cites W2112582917 @default.
- W3021830120 cites W2119325664 @default.
- W3021830120 cites W2124342795 @default.
- W3021830120 cites W2151562310 @default.
- W3021830120 cites W2155882070 @default.
- W3021830120 cites W2167541073 @default.
- W3021830120 cites W2263923344 @default.
- W3021830120 cites W2288788587 @default.
- W3021830120 cites W2295857493 @default.
- W3021830120 cites W2401248940 @default.
- W3021830120 cites W2417567569 @default.
- W3021830120 cites W2493901872 @default.
- W3021830120 cites W2752382195 @default.
- W3021830120 cites W2762682773 @default.
- W3021830120 cites W2767854619 @default.
- W3021830120 cites W2791852742 @default.
- W3021830120 cites W2798352717 @default.
- W3021830120 cites W2889548904 @default.
- W3021830120 cites W2898569715 @default.
- W3021830120 cites W2903272482 @default.
- W3021830120 cites W2912940102 @default.
- W3021830120 doi "https://doi.org/10.1145/3379446" @default.
- W3021830120 hasPublicationYear "2020" @default.
- W3021830120 type Work @default.
- W3021830120 sameAs 3021830120 @default.
- W3021830120 citedByCount "9" @default.
- W3021830120 countsByYear W30218301202021 @default.
- W3021830120 countsByYear W30218301202022 @default.
- W3021830120 countsByYear W30218301202023 @default.
- W3021830120 crossrefType "journal-article" @default.
- W3021830120 hasAuthorship W3021830120A5009881146 @default.
- W3021830120 hasAuthorship W3021830120A5054610700 @default.
- W3021830120 hasAuthorship W3021830120A5084068260 @default.
- W3021830120 hasBestOaLocation W30218301201 @default.
- W3021830120 hasConcept C118615104 @default.
- W3021830120 hasConcept C118930307 @default.
- W3021830120 hasConcept C128838566 @default.
- W3021830120 hasConcept C148230440 @default.
- W3021830120 hasConcept C168065819 @default.
- W3021830120 hasConcept C184337299 @default.
- W3021830120 hasConcept C199360897 @default.
- W3021830120 hasConcept C2779960059 @default.
- W3021830120 hasConcept C33923547 @default.
- W3021830120 hasConcept C41008148 @default.
- W3021830120 hasConcept C80444323 @default.
- W3021830120 hasConceptScore W3021830120C118615104 @default.
- W3021830120 hasConceptScore W3021830120C118930307 @default.
- W3021830120 hasConceptScore W3021830120C128838566 @default.
- W3021830120 hasConceptScore W3021830120C148230440 @default.
- W3021830120 hasConceptScore W3021830120C168065819 @default.
- W3021830120 hasConceptScore W3021830120C184337299 @default.
- W3021830120 hasConceptScore W3021830120C199360897 @default.
- W3021830120 hasConceptScore W3021830120C2779960059 @default.
- W3021830120 hasConceptScore W3021830120C33923547 @default.
- W3021830120 hasConceptScore W3021830120C41008148 @default.
- W3021830120 hasConceptScore W3021830120C80444323 @default.
- W3021830120 hasIssue "2" @default.
- W3021830120 hasLocation W30218301201 @default.
- W3021830120 hasOpenAccess W3021830120 @default.
- W3021830120 hasPrimaryLocation W30218301201 @default.
- W3021830120 hasRelatedWork W1532845068 @default.
- W3021830120 hasRelatedWork W1814970918 @default.
- W3021830120 hasRelatedWork W1880902590 @default.
- W3021830120 hasRelatedWork W2084055857 @default.
- W3021830120 hasRelatedWork W2184636143 @default.
- W3021830120 hasRelatedWork W2793596619 @default.
- W3021830120 hasRelatedWork W2955734379 @default.
- W3021830120 hasRelatedWork W40570767 @default.
- W3021830120 hasRelatedWork W2474462291 @default.
- W3021830120 hasRelatedWork W2526143013 @default.
- W3021830120 hasVolume "42" @default.
- W3021830120 isParatext "false" @default.
- W3021830120 isRetracted "false" @default.
- W3021830120 magId "3021830120" @default.
- W3021830120 workType "article" @default.