FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295409301> ?p ?o ?g. }

• W2295409301 startingPage "567" @default.
• W2295409301 abstract "This paper introduces a core calculus for pattern-matching in production rule languages: the Calculus for Aggregating Matching Patterns (CAMP). CAMP is expressive enough to capture modern rule languages such as JRules, including extensions for aggregation. We show how CAMP can be compiled into a nested-relational algebra (NRA), with only minimal extension. This paves the way for applying relational techniques to running rules over large stores. Furthermore, we show that NRA can also be compiled back to CAMP, using named nested-relational calculus (NNRC) as an intermediate step. We mechanize proofs of correctness, program size preservation, and type preservation of the translations using modern theorem-proving techniques. A corollary of the type preservation is that polymorphic type inference for both CAMP and NRA is NP-complete. CAMP and its correspondence to NRA provide the foundations for efficient implementations of rules languages using databases technologies." @default.
• W2295409301 created "2016-06-24" @default.
• W2295409301 creator A5000705679 @default.
• W2295409301 creator A5079080602 @default.
• W2295409301 creator A5079889502 @default.
• W2295409301 date "2015-01-01" @default.
• W2295409301 modified "2023-09-25" @default.
• W2295409301 title "A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization" @default.
• W2295409301 cites W137108283 @default.
• W2295409301 cites W1481805023 @default.
• W2295409301 cites W1512698516 @default.
• W2295409301 cites W1528098570 @default.
• W2295409301 cites W1558832481 @default.
• W2295409301 cites W1575324001 @default.
• W2295409301 cites W1586338668 @default.
• W2295409301 cites W1588812554 @default.
• W2295409301 cites W1846087057 @default.
• W2295409301 cites W1882279328 @default.
• W2295409301 cites W1939001241 @default.
• W2295409301 cites W1973382888 @default.
• W2295409301 cites W2007397391 @default.
• W2295409301 cites W2017469907 @default.
• W2295409301 cites W2024680396 @default.
• W2295409301 cites W2045522022 @default.
• W2295409301 cites W2087475328 @default.
• W2295409301 cites W2089211036 @default.
• W2295409301 cites W2093009437 @default.
• W2295409301 cites W2112866468 @default.
• W2295409301 cites W2114980032 @default.
• W2295409301 cites W2116502002 @default.
• W2295409301 cites W2128686935 @default.
• W2295409301 cites W2129111346 @default.
• W2295409301 cites W2131052253 @default.
• W2295409301 cites W2137781785 @default.
• W2295409301 cites W2138474070 @default.
• W2295409301 cites W2147110361 @default.
• W2295409301 cites W2155996966 @default.
• W2295409301 cites W2287532540 @default.
• W2295409301 cites W2293874181 @default.
• W2295409301 cites W23343499 @default.
• W2295409301 cites W325342481 @default.
• W2295409301 cites W79051208 @default.
• W2295409301 doi "https://doi.org/10.4230/lipics.ecoop.2015.542" @default.
• W2295409301 hasPublicationYear "2015" @default.
• W2295409301 type Work @default.
• W2295409301 sameAs 2295409301 @default.
• W2295409301 citedByCount "1" @default.
• W2295409301 countsByYear W22954093012022 @default.
• W2295409301 crossrefType "proceedings-article" @default.
• W2295409301 hasAuthorship W2295409301A5000705679 @default.
• W2295409301 hasAuthorship W2295409301A5079080602 @default.
• W2295409301 hasAuthorship W2295409301A5079889502 @default.
• W2295409301 hasConcept C105795698 @default.
• W2295409301 hasConcept C108710211 @default.
• W2295409301 hasConcept C165064840 @default.
• W2295409301 hasConcept C18903297 @default.
• W2295409301 hasConcept C199360897 @default.
• W2295409301 hasConcept C2524010 @default.
• W2295409301 hasConcept C2777299769 @default.
• W2295409301 hasConcept C33923547 @default.
• W2295409301 hasConcept C40207289 @default.
• W2295409301 hasConcept C41008148 @default.
• W2295409301 hasConcept C55439883 @default.
• W2295409301 hasConcept C5655090 @default.
• W2295409301 hasConcept C68859911 @default.
• W2295409301 hasConcept C77088390 @default.
• W2295409301 hasConcept C80444323 @default.
• W2295409301 hasConcept C86803240 @default.
• W2295409301 hasConcept C99436015 @default.
• W2295409301 hasConceptScore W2295409301C105795698 @default.
• W2295409301 hasConceptScore W2295409301C108710211 @default.
• W2295409301 hasConceptScore W2295409301C165064840 @default.
• W2295409301 hasConceptScore W2295409301C18903297 @default.
• W2295409301 hasConceptScore W2295409301C199360897 @default.
• W2295409301 hasConceptScore W2295409301C2524010 @default.
• W2295409301 hasConceptScore W2295409301C2777299769 @default.
• W2295409301 hasConceptScore W2295409301C33923547 @default.
• W2295409301 hasConceptScore W2295409301C40207289 @default.
• W2295409301 hasConceptScore W2295409301C41008148 @default.
• W2295409301 hasConceptScore W2295409301C55439883 @default.
• W2295409301 hasConceptScore W2295409301C5655090 @default.
• W2295409301 hasConceptScore W2295409301C68859911 @default.
• W2295409301 hasConceptScore W2295409301C77088390 @default.
• W2295409301 hasConceptScore W2295409301C80444323 @default.
• W2295409301 hasConceptScore W2295409301C86803240 @default.
• W2295409301 hasConceptScore W2295409301C99436015 @default.
• W2295409301 hasLocation W22954093011 @default.
• W2295409301 hasOpenAccess W2295409301 @default.
• W2295409301 hasPrimaryLocation W22954093011 @default.
• W2295409301 hasRelatedWork W1503676575 @default.
• W2295409301 hasRelatedWork W1520926328 @default.
• W2295409301 hasRelatedWork W1568176286 @default.
• W2295409301 hasRelatedWork W1591242928 @default.
• W2295409301 hasRelatedWork W1940706000 @default.
• W2295409301 hasRelatedWork W1985272693 @default.
• W2295409301 hasRelatedWork W2042690606 @default.
• W2295409301 hasRelatedWork W2060914009 @default.
• W2295409301 hasRelatedWork W2067980882 @default.
• W2295409301 hasRelatedWork W2073033780 @default.

• next