Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387667035> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4387667035 endingPage "1417" @default.
- W4387667035 startingPage "1394" @default.
- W4387667035 abstract "Synthesizing relational queries from data is challenging in the presence of recursion and invented predicates. We propose a fully automated approach to synthesize such queries. Our approach comprises of two steps: it first synthesizes a non-recursive query consistent with the given data, and then identifies recursion schemes in it and thereby generalizes to arbitrary data. This generalization is achieved by an iterative predicate unification procedure which exploits the notion of data provenance to accelerate convergence. In each iteration of the procedure, a constraint solver proposes a candidate query, and a query evaluator checks if the proposed program is consistent with the given data. The data provenance for a failed query allows us to construct additional constraints for the constraint solver and refine the search. We have implemented our approach in a tool named Mobius. On a suite of 21 challenging recursive query synthesis tasks, Mobius outperforms three state-of-the-art baselines Gensynth, ILASP, and Popper, both in terms of runtime and accuracy. We also demonstrate that the synthesized queries generalize well to unseen data." @default.
- W4387667035 created "2023-10-17" @default.
- W4387667035 creator A5024988696 @default.
- W4387667035 creator A5062854587 @default.
- W4387667035 creator A5065059795 @default.
- W4387667035 creator A5075879790 @default.
- W4387667035 creator A5088547897 @default.
- W4387667035 creator A5093069386 @default.
- W4387667035 date "2023-10-16" @default.
- W4387667035 modified "2023-10-17" @default.
- W4387667035 title "Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates" @default.
- W4387667035 cites W1769664091 @default.
- W4387667035 cites W1905591175 @default.
- W4387667035 cites W2038123353 @default.
- W4387667035 cites W2158600037 @default.
- W4387667035 cites W2238673293 @default.
- W4387667035 cites W2612337100 @default.
- W4387667035 cites W2768510408 @default.
- W4387667035 cites W2899376621 @default.
- W4387667035 cites W2964240296 @default.
- W4387667035 cites W2965522163 @default.
- W4387667035 cites W2996355221 @default.
- W4387667035 cites W3033481405 @default.
- W4387667035 cites W3093531652 @default.
- W4387667035 cites W3121841058 @default.
- W4387667035 cites W3130268038 @default.
- W4387667035 cites W3173363254 @default.
- W4387667035 cites W3173382652 @default.
- W4387667035 cites W3185895498 @default.
- W4387667035 cites W3205352458 @default.
- W4387667035 cites W4237412827 @default.
- W4387667035 cites W4251478049 @default.
- W4387667035 cites W4256377773 @default.
- W4387667035 doi "https://doi.org/10.1145/3622847" @default.
- W4387667035 hasPublicationYear "2023" @default.
- W4387667035 type Work @default.
- W4387667035 citedByCount "0" @default.
- W4387667035 crossrefType "journal-article" @default.
- W4387667035 hasAuthorship W4387667035A5024988696 @default.
- W4387667035 hasAuthorship W4387667035A5062854587 @default.
- W4387667035 hasAuthorship W4387667035A5065059795 @default.
- W4387667035 hasAuthorship W4387667035A5075879790 @default.
- W4387667035 hasAuthorship W4387667035A5088547897 @default.
- W4387667035 hasAuthorship W4387667035A5093069386 @default.
- W4387667035 hasBestOaLocation W43876670351 @default.
- W4387667035 hasConcept C134306372 @default.
- W4387667035 hasConcept C166957645 @default.
- W4387667035 hasConcept C168773036 @default.
- W4387667035 hasConcept C177148314 @default.
- W4387667035 hasConcept C192028432 @default.
- W4387667035 hasConcept C199360897 @default.
- W4387667035 hasConcept C23123220 @default.
- W4387667035 hasConcept C2524010 @default.
- W4387667035 hasConcept C2776036281 @default.
- W4387667035 hasConcept C2778770139 @default.
- W4387667035 hasConcept C33923547 @default.
- W4387667035 hasConcept C41008148 @default.
- W4387667035 hasConcept C5655090 @default.
- W4387667035 hasConcept C79581498 @default.
- W4387667035 hasConcept C80444323 @default.
- W4387667035 hasConcept C95457728 @default.
- W4387667035 hasConcept C96146094 @default.
- W4387667035 hasConceptScore W4387667035C134306372 @default.
- W4387667035 hasConceptScore W4387667035C166957645 @default.
- W4387667035 hasConceptScore W4387667035C168773036 @default.
- W4387667035 hasConceptScore W4387667035C177148314 @default.
- W4387667035 hasConceptScore W4387667035C192028432 @default.
- W4387667035 hasConceptScore W4387667035C199360897 @default.
- W4387667035 hasConceptScore W4387667035C23123220 @default.
- W4387667035 hasConceptScore W4387667035C2524010 @default.
- W4387667035 hasConceptScore W4387667035C2776036281 @default.
- W4387667035 hasConceptScore W4387667035C2778770139 @default.
- W4387667035 hasConceptScore W4387667035C33923547 @default.
- W4387667035 hasConceptScore W4387667035C41008148 @default.
- W4387667035 hasConceptScore W4387667035C5655090 @default.
- W4387667035 hasConceptScore W4387667035C79581498 @default.
- W4387667035 hasConceptScore W4387667035C80444323 @default.
- W4387667035 hasConceptScore W4387667035C95457728 @default.
- W4387667035 hasConceptScore W4387667035C96146094 @default.
- W4387667035 hasFunder F4320306076 @default.
- W4387667035 hasIssue "OOPSLA2" @default.
- W4387667035 hasLocation W43876670351 @default.
- W4387667035 hasOpenAccess W4387667035 @default.
- W4387667035 hasPrimaryLocation W43876670351 @default.
- W4387667035 hasRelatedWork W101666983 @default.
- W4387667035 hasRelatedWork W2183792531 @default.
- W4387667035 hasRelatedWork W2222594822 @default.
- W4387667035 hasRelatedWork W2367630557 @default.
- W4387667035 hasRelatedWork W2471908688 @default.
- W4387667035 hasRelatedWork W2595286499 @default.
- W4387667035 hasRelatedWork W2616882931 @default.
- W4387667035 hasRelatedWork W3011916152 @default.
- W4387667035 hasRelatedWork W4231704780 @default.
- W4387667035 hasRelatedWork W4231718283 @default.
- W4387667035 hasVolume "7" @default.
- W4387667035 isParatext "false" @default.
- W4387667035 isRetracted "false" @default.
- W4387667035 workType "article" @default.