Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996032017> ?p ?o ?g. }
- W1996032017 abstract "Rule-based optimizers and optimizer generators use rules to specify query transformations. Rules act directly on query representations, which typically are based on query algebras. But most algebras complicate rule formulation, and rules over these algebras must often resort to calling to externally defined bodies of code. Code makes rules difficult to formulate, prove correct and reason about, and therefore compromises the effectiveness of rule-based systems.In this paper we present KOLA: a combinator-based algebra designed to simplify rule formulation. KOLA is not a user language, and KOLA's variable-free queries are difficult for humans to read. But KOLA is an effective internal algebra because its combinator-style makes queries manipulable and structurally revealing. As a result, rules over KOLA queries are easily expressed without the need for supplemental code. We illustrate this point, first by showing some transformations that despite their simplicity, require head and body routines when expressed over algebras that include variables. We show that these transformations are expressible without supplemental routines in KOLA. We then show complex transformations of a class of nested queries expressed over KOLA. Nested query optimization, while having been studied before, have seriously challenged the rule-based paradigm." @default.
- W1996032017 created "2016-06-24" @default.
- W1996032017 creator A5027464544 @default.
- W1996032017 creator A5028761001 @default.
- W1996032017 date "1996-01-01" @default.
- W1996032017 modified "2023-10-16" @default.
- W1996032017 title "Rule languages and internal algebras for rule-based optimizers" @default.
- W1996032017 cites W111768835 @default.
- W1996032017 cites W1481805023 @default.
- W1996032017 cites W1491178396 @default.
- W1996032017 cites W1512698516 @default.
- W1996032017 cites W1514119099 @default.
- W1996032017 cites W1541434687 @default.
- W1996032017 cites W1547630075 @default.
- W1996032017 cites W1550420318 @default.
- W1996032017 cites W1554487053 @default.
- W1996032017 cites W1583095677 @default.
- W1996032017 cites W159082583 @default.
- W1996032017 cites W1825341804 @default.
- W1996032017 cites W1939001241 @default.
- W1996032017 cites W1965392376 @default.
- W1996032017 cites W1980322057 @default.
- W1996032017 cites W1985464228 @default.
- W1996032017 cites W2008116177 @default.
- W1996032017 cites W2033368934 @default.
- W1996032017 cites W2051045896 @default.
- W1996032017 cites W2060472240 @default.
- W1996032017 cites W2063068243 @default.
- W1996032017 cites W2068377062 @default.
- W1996032017 cites W2087290458 @default.
- W1996032017 cites W2089781037 @default.
- W1996032017 cites W2100738443 @default.
- W1996032017 cites W2103036553 @default.
- W1996032017 cites W2118172707 @default.
- W1996032017 cites W2123975697 @default.
- W1996032017 cites W2129006565 @default.
- W1996032017 cites W2136712505 @default.
- W1996032017 cites W2165674271 @default.
- W1996032017 cites W2172307690 @default.
- W1996032017 cites W2176873512 @default.
- W1996032017 cites W2200545814 @default.
- W1996032017 cites W1802883566 @default.
- W1996032017 doi "https://doi.org/10.1145/233269.233356" @default.
- W1996032017 hasPublicationYear "1996" @default.
- W1996032017 type Work @default.
- W1996032017 sameAs 1996032017 @default.
- W1996032017 citedByCount "29" @default.
- W1996032017 countsByYear W19960320172017 @default.
- W1996032017 countsByYear W19960320172023 @default.
- W1996032017 crossrefType "proceedings-article" @default.
- W1996032017 hasAuthorship W1996032017A5027464544 @default.
- W1996032017 hasAuthorship W1996032017A5028761001 @default.
- W1996032017 hasBestOaLocation W19960320171 @default.
- W1996032017 hasConcept C111472728 @default.
- W1996032017 hasConcept C134306372 @default.
- W1996032017 hasConcept C136119220 @default.
- W1996032017 hasConcept C138885662 @default.
- W1996032017 hasConcept C154945302 @default.
- W1996032017 hasConcept C177264268 @default.
- W1996032017 hasConcept C182365436 @default.
- W1996032017 hasConcept C199360897 @default.
- W1996032017 hasConcept C202444582 @default.
- W1996032017 hasConcept C2776372474 @default.
- W1996032017 hasConcept C2776760102 @default.
- W1996032017 hasConcept C2777212361 @default.
- W1996032017 hasConcept C33923547 @default.
- W1996032017 hasConcept C41008148 @default.
- W1996032017 hasConcept C79678938 @default.
- W1996032017 hasConcept C80444323 @default.
- W1996032017 hasConceptScore W1996032017C111472728 @default.
- W1996032017 hasConceptScore W1996032017C134306372 @default.
- W1996032017 hasConceptScore W1996032017C136119220 @default.
- W1996032017 hasConceptScore W1996032017C138885662 @default.
- W1996032017 hasConceptScore W1996032017C154945302 @default.
- W1996032017 hasConceptScore W1996032017C177264268 @default.
- W1996032017 hasConceptScore W1996032017C182365436 @default.
- W1996032017 hasConceptScore W1996032017C199360897 @default.
- W1996032017 hasConceptScore W1996032017C202444582 @default.
- W1996032017 hasConceptScore W1996032017C2776372474 @default.
- W1996032017 hasConceptScore W1996032017C2776760102 @default.
- W1996032017 hasConceptScore W1996032017C2777212361 @default.
- W1996032017 hasConceptScore W1996032017C33923547 @default.
- W1996032017 hasConceptScore W1996032017C41008148 @default.
- W1996032017 hasConceptScore W1996032017C79678938 @default.
- W1996032017 hasConceptScore W1996032017C80444323 @default.
- W1996032017 hasLocation W19960320171 @default.
- W1996032017 hasOpenAccess W1996032017 @default.
- W1996032017 hasPrimaryLocation W19960320171 @default.
- W1996032017 hasRelatedWork W2112307192 @default.
- W1996032017 hasRelatedWork W2112962394 @default.
- W1996032017 hasRelatedWork W2118300983 @default.
- W1996032017 hasRelatedWork W2135888537 @default.
- W1996032017 hasRelatedWork W2146369345 @default.
- W1996032017 hasRelatedWork W2183434207 @default.
- W1996032017 hasRelatedWork W2905313256 @default.
- W1996032017 hasRelatedWork W3137189469 @default.
- W1996032017 hasRelatedWork W4243252198 @default.
- W1996032017 hasRelatedWork W2741344200 @default.
- W1996032017 isParatext "false" @default.
- W1996032017 isRetracted "false" @default.