Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092754303> ?p ?o ?g. }
- W3092754303 abstract "In the last years, enumeration algorithms with bounded delay have attracted a lot of attention for several data management tasks. Given a query and the data, the task is to preprocess the data and then enumerate all the answers to the query one by one and without repetitions. This enumeration scheme is typically useful when the solutions are treated on the fly or when we want to stop the enumeration once the pertinent solutions have been found. However, with the current schemes, there is no restriction on the order how the solutions are given and this order usually depends on the techniques used and not on the relevance for the user. In this paper we study the enumeration of monadic second order logic (MSO) over words when the solutions are ranked. We present a framework based on MSO cost functions that allows to express MSO formulae on words with a cost associated with each solution. We then demonstrate the generality of our framework which subsumes, for instance, document spanners and regular complex event processing queries and adds ranking to them. The main technical result of the paper is an algorithm for enumerating all the solutions of formulae in increasing order of cost efficiently, namely, with a linear preprocessing phase and logarithmic delay between solutions. The novelty of this algorithm is based on using functional data structures, in particular, by extending functional Brodal queues to suit with the ranked enumeration of MSO on words." @default.
- W3092754303 created "2020-10-22" @default.
- W3092754303 creator A5060712076 @default.
- W3092754303 creator A5078941176 @default.
- W3092754303 creator A5083030983 @default.
- W3092754303 creator A5090662550 @default.
- W3092754303 date "2020-10-15" @default.
- W3092754303 modified "2023-09-27" @default.
- W3092754303 title "Ranked enumeration of MSO logic on words" @default.
- W3092754303 cites W1489366126 @default.
- W3092754303 cites W1573632260 @default.
- W3092754303 cites W1643571618 @default.
- W3092754303 cites W1655990431 @default.
- W3092754303 cites W1973026225 @default.
- W3092754303 cites W2035744833 @default.
- W3092754303 cites W2041198634 @default.
- W3092754303 cites W2066585576 @default.
- W3092754303 cites W2126766880 @default.
- W3092754303 cites W2136598300 @default.
- W3092754303 cites W2141456009 @default.
- W3092754303 cites W2142947709 @default.
- W3092754303 cites W2143658255 @default.
- W3092754303 cites W2592257482 @default.
- W3092754303 cites W2604165918 @default.
- W3092754303 cites W2752885492 @default.
- W3092754303 cites W2802897770 @default.
- W3092754303 cites W2883227679 @default.
- W3092754303 cites W2902415528 @default.
- W3092754303 cites W2908267391 @default.
- W3092754303 cites W2963265283 @default.
- W3092754303 cites W2990166677 @default.
- W3092754303 cites W3007878418 @default.
- W3092754303 cites W3013294921 @default.
- W3092754303 cites W3013397275 @default.
- W3092754303 cites W3037451332 @default.
- W3092754303 cites W3103927822 @default.
- W3092754303 cites W3139244887 @default.
- W3092754303 hasPublicationYear "2020" @default.
- W3092754303 type Work @default.
- W3092754303 sameAs 3092754303 @default.
- W3092754303 citedByCount "0" @default.
- W3092754303 crossrefType "posted-content" @default.
- W3092754303 hasAuthorship W3092754303A5060712076 @default.
- W3092754303 hasAuthorship W3092754303A5078941176 @default.
- W3092754303 hasAuthorship W3092754303A5083030983 @default.
- W3092754303 hasAuthorship W3092754303A5090662550 @default.
- W3092754303 hasConcept C11413529 @default.
- W3092754303 hasConcept C118615104 @default.
- W3092754303 hasConcept C126255220 @default.
- W3092754303 hasConcept C127705205 @default.
- W3092754303 hasConcept C134306372 @default.
- W3092754303 hasConcept C154945302 @default.
- W3092754303 hasConcept C156340839 @default.
- W3092754303 hasConcept C162324750 @default.
- W3092754303 hasConcept C187736073 @default.
- W3092754303 hasConcept C189430467 @default.
- W3092754303 hasConcept C2780451532 @default.
- W3092754303 hasConcept C33923547 @default.
- W3092754303 hasConcept C34388435 @default.
- W3092754303 hasConcept C34736171 @default.
- W3092754303 hasConcept C39927690 @default.
- W3092754303 hasConcept C41008148 @default.
- W3092754303 hasConcept C77618280 @default.
- W3092754303 hasConcept C80444323 @default.
- W3092754303 hasConceptScore W3092754303C11413529 @default.
- W3092754303 hasConceptScore W3092754303C118615104 @default.
- W3092754303 hasConceptScore W3092754303C126255220 @default.
- W3092754303 hasConceptScore W3092754303C127705205 @default.
- W3092754303 hasConceptScore W3092754303C134306372 @default.
- W3092754303 hasConceptScore W3092754303C154945302 @default.
- W3092754303 hasConceptScore W3092754303C156340839 @default.
- W3092754303 hasConceptScore W3092754303C162324750 @default.
- W3092754303 hasConceptScore W3092754303C187736073 @default.
- W3092754303 hasConceptScore W3092754303C189430467 @default.
- W3092754303 hasConceptScore W3092754303C2780451532 @default.
- W3092754303 hasConceptScore W3092754303C33923547 @default.
- W3092754303 hasConceptScore W3092754303C34388435 @default.
- W3092754303 hasConceptScore W3092754303C34736171 @default.
- W3092754303 hasConceptScore W3092754303C39927690 @default.
- W3092754303 hasConceptScore W3092754303C41008148 @default.
- W3092754303 hasConceptScore W3092754303C77618280 @default.
- W3092754303 hasConceptScore W3092754303C80444323 @default.
- W3092754303 hasLocation W30927543031 @default.
- W3092754303 hasOpenAccess W3092754303 @default.
- W3092754303 hasPrimaryLocation W30927543031 @default.
- W3092754303 hasRelatedWork W1479960293 @default.
- W3092754303 hasRelatedWork W1549147858 @default.
- W3092754303 hasRelatedWork W1579386619 @default.
- W3092754303 hasRelatedWork W1580088798 @default.
- W3092754303 hasRelatedWork W1582497976 @default.
- W3092754303 hasRelatedWork W1633549960 @default.
- W3092754303 hasRelatedWork W1836582804 @default.
- W3092754303 hasRelatedWork W1989267168 @default.
- W3092754303 hasRelatedWork W2059894732 @default.
- W3092754303 hasRelatedWork W2136032083 @default.
- W3092754303 hasRelatedWork W2187394767 @default.
- W3092754303 hasRelatedWork W2346561852 @default.
- W3092754303 hasRelatedWork W2404691361 @default.
- W3092754303 hasRelatedWork W2566270941 @default.
- W3092754303 hasRelatedWork W2731851135 @default.