Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526292878> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1526292878 endingPage "250" @default.
- W1526292878 startingPage "239" @default.
- W1526292878 abstract "The goal of the COKO-KOLA project [10, 9] is to express rules of rule-based optimizers in a manner permitting verification with a theorem prover. In [10], we considered query transformations that were too general to be expressed with rewrite rules. In this paper, we consider the complementary issue of expressing query transformations that are too specifc for rewrite rules. Such transformations require rewrite rules to be supplemented with semantic conditions to guard rule firing. This work considers the expression of such transformations using conditional rewrite rules, and the expression of inference rules to guide the optimizer in deciding if semantic conditions hold. This work differs from existing work in semantic query optimization in that semantic transformations in our framework are verifiable with a theorem prover. Further, our use of inference rules to guide semantic reasoning makes our optimizer extensible in a manner that is complementary to the extensibility benefits of existing rule-based technology." @default.
- W1526292878 created "2016-06-24" @default.
- W1526292878 creator A5027464544 @default.
- W1526292878 creator A5028761001 @default.
- W1526292878 date "1998-08-24" @default.
- W1526292878 modified "2023-09-28" @default.
- W1526292878 title "Inferring Function Semantics to Optimize Queries" @default.
- W1526292878 cites W104312215 @default.
- W1526292878 cites W111768835 @default.
- W1526292878 cites W120087892 @default.
- W1526292878 cites W135863099 @default.
- W1526292878 cites W1481805023 @default.
- W1526292878 cites W1519876418 @default.
- W1526292878 cites W1583095677 @default.
- W1526292878 cites W16887288 @default.
- W1526292878 cites W1988504473 @default.
- W1526292878 cites W1996032017 @default.
- W1526292878 cites W2008116177 @default.
- W1526292878 cites W2048001632 @default.
- W1526292878 cites W2096511117 @default.
- W1526292878 cites W2102387332 @default.
- W1526292878 cites W2107823752 @default.
- W1526292878 cites W2123975697 @default.
- W1526292878 cites W2136195851 @default.
- W1526292878 cites W2152149667 @default.
- W1526292878 cites W2154831194 @default.
- W1526292878 cites W2176873512 @default.
- W1526292878 hasPublicationYear "1998" @default.
- W1526292878 type Work @default.
- W1526292878 sameAs 1526292878 @default.
- W1526292878 citedByCount "9" @default.
- W1526292878 crossrefType "proceedings-article" @default.
- W1526292878 hasAuthorship W1526292878A5027464544 @default.
- W1526292878 hasAuthorship W1526292878A5028761001 @default.
- W1526292878 hasConcept C141141315 @default.
- W1526292878 hasConcept C154945302 @default.
- W1526292878 hasConcept C184337299 @default.
- W1526292878 hasConcept C199360897 @default.
- W1526292878 hasConcept C206880738 @default.
- W1526292878 hasConcept C2776214188 @default.
- W1526292878 hasConcept C3746660 @default.
- W1526292878 hasConcept C41008148 @default.
- W1526292878 hasConcept C80444323 @default.
- W1526292878 hasConcept C90559484 @default.
- W1526292878 hasConceptScore W1526292878C141141315 @default.
- W1526292878 hasConceptScore W1526292878C154945302 @default.
- W1526292878 hasConceptScore W1526292878C184337299 @default.
- W1526292878 hasConceptScore W1526292878C199360897 @default.
- W1526292878 hasConceptScore W1526292878C206880738 @default.
- W1526292878 hasConceptScore W1526292878C2776214188 @default.
- W1526292878 hasConceptScore W1526292878C3746660 @default.
- W1526292878 hasConceptScore W1526292878C41008148 @default.
- W1526292878 hasConceptScore W1526292878C80444323 @default.
- W1526292878 hasConceptScore W1526292878C90559484 @default.
- W1526292878 hasOpenAccess W1526292878 @default.
- W1526292878 hasRelatedWork W104312215 @default.
- W1526292878 hasRelatedWork W1494607751 @default.
- W1526292878 hasRelatedWork W1764037604 @default.
- W1526292878 hasRelatedWork W1846779381 @default.
- W1526292878 hasRelatedWork W1974146108 @default.
- W1526292878 hasRelatedWork W1988504473 @default.
- W1526292878 hasRelatedWork W2001984234 @default.
- W1526292878 hasRelatedWork W2079329679 @default.
- W1526292878 hasRelatedWork W2096511117 @default.
- W1526292878 hasRelatedWork W2098437293 @default.
- W1526292878 hasRelatedWork W2185251532 @default.
- W1526292878 hasRelatedWork W2262553354 @default.
- W1526292878 hasRelatedWork W2397532993 @default.
- W1526292878 hasRelatedWork W2738397933 @default.
- W1526292878 hasRelatedWork W2752197104 @default.
- W1526292878 hasRelatedWork W2921060427 @default.
- W1526292878 hasRelatedWork W2963764953 @default.
- W1526292878 hasRelatedWork W3017021850 @default.
- W1526292878 hasRelatedWork W3208664267 @default.
- W1526292878 hasRelatedWork W7814883 @default.
- W1526292878 isParatext "false" @default.
- W1526292878 isRetracted "false" @default.
- W1526292878 magId "1526292878" @default.
- W1526292878 workType "article" @default.