Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208664267> ?p ?o ?g. }
- W3208664267 abstract "We develop a multiset query and update language executable in a term rewriting system. Its most remarkable feature, besides non-standard approach to quantification and introduction of fresh values, is non-determinism - a query result is not uniquely determined by the database. We argue that this feature is very useful, e.g., in modelling user choices during simulation or reachability analysis of a data-centric business process - the intended application of our work. Query evaluation is implemented by converting the query into a terminating term rewriting system and normalizing the initial term which encapsulates the current database. A normal form encapsulates a query result. We prove that our language can express any relational algebra query. Finally, we present a simple business process specification framework (and an example specification). Both syntax and semantics of our query language is implemented in Maude." @default.
- W3208664267 created "2021-11-08" @default.
- W3208664267 creator A5005999171 @default.
- W3208664267 date "2021-10-30" @default.
- W3208664267 modified "2023-09-27" @default.
- W3208664267 title "A Non-Deterministic Multiset Query Language." @default.
- W3208664267 cites W126715600 @default.
- W3208664267 cites W1511214424 @default.
- W3208664267 cites W1513315908 @default.
- W3208664267 cites W1555563750 @default.
- W3208664267 cites W1597355050 @default.
- W3208664267 cites W193597327 @default.
- W3208664267 cites W1976195354 @default.
- W3208664267 cites W1979101142 @default.
- W3208664267 cites W1992428614 @default.
- W3208664267 cites W2000232009 @default.
- W3208664267 cites W2014177337 @default.
- W3208664267 cites W2020675906 @default.
- W3208664267 cites W2023922858 @default.
- W3208664267 cites W2029133737 @default.
- W3208664267 cites W2029591641 @default.
- W3208664267 cites W2042987983 @default.
- W3208664267 cites W2129466958 @default.
- W3208664267 cites W2138162238 @default.
- W3208664267 cites W2139725043 @default.
- W3208664267 cites W2139760036 @default.
- W3208664267 cites W2336099476 @default.
- W3208664267 cites W2337896169 @default.
- W3208664267 cites W2399792486 @default.
- W3208664267 cites W2408509141 @default.
- W3208664267 cites W2489809986 @default.
- W3208664267 cites W2498717329 @default.
- W3208664267 cites W2570086581 @default.
- W3208664267 cites W2611202200 @default.
- W3208664267 cites W288145025 @default.
- W3208664267 cites W2900993396 @default.
- W3208664267 cites W2950191488 @default.
- W3208664267 cites W2952037556 @default.
- W3208664267 cites W2964347059 @default.
- W3208664267 cites W2970121935 @default.
- W3208664267 cites W2979582611 @default.
- W3208664267 hasPublicationYear "2021" @default.
- W3208664267 type Work @default.
- W3208664267 sameAs 3208664267 @default.
- W3208664267 citedByCount "0" @default.
- W3208664267 crossrefType "posted-content" @default.
- W3208664267 hasAuthorship W3208664267A5005999171 @default.
- W3208664267 hasConcept C114614502 @default.
- W3208664267 hasConcept C117667704 @default.
- W3208664267 hasConcept C118689300 @default.
- W3208664267 hasConcept C154690210 @default.
- W3208664267 hasConcept C157692150 @default.
- W3208664267 hasConcept C160145156 @default.
- W3208664267 hasConcept C164120249 @default.
- W3208664267 hasConcept C192028432 @default.
- W3208664267 hasConcept C192939062 @default.
- W3208664267 hasConcept C194222762 @default.
- W3208664267 hasConcept C199360897 @default.
- W3208664267 hasConcept C204321447 @default.
- W3208664267 hasConcept C23123220 @default.
- W3208664267 hasConcept C2779623528 @default.
- W3208664267 hasConcept C33923547 @default.
- W3208664267 hasConcept C41008148 @default.
- W3208664267 hasConcept C60048249 @default.
- W3208664267 hasConcept C80444323 @default.
- W3208664267 hasConcept C96956885 @default.
- W3208664267 hasConcept C97854310 @default.
- W3208664267 hasConceptScore W3208664267C114614502 @default.
- W3208664267 hasConceptScore W3208664267C117667704 @default.
- W3208664267 hasConceptScore W3208664267C118689300 @default.
- W3208664267 hasConceptScore W3208664267C154690210 @default.
- W3208664267 hasConceptScore W3208664267C157692150 @default.
- W3208664267 hasConceptScore W3208664267C160145156 @default.
- W3208664267 hasConceptScore W3208664267C164120249 @default.
- W3208664267 hasConceptScore W3208664267C192028432 @default.
- W3208664267 hasConceptScore W3208664267C192939062 @default.
- W3208664267 hasConceptScore W3208664267C194222762 @default.
- W3208664267 hasConceptScore W3208664267C199360897 @default.
- W3208664267 hasConceptScore W3208664267C204321447 @default.
- W3208664267 hasConceptScore W3208664267C23123220 @default.
- W3208664267 hasConceptScore W3208664267C2779623528 @default.
- W3208664267 hasConceptScore W3208664267C33923547 @default.
- W3208664267 hasConceptScore W3208664267C41008148 @default.
- W3208664267 hasConceptScore W3208664267C60048249 @default.
- W3208664267 hasConceptScore W3208664267C80444323 @default.
- W3208664267 hasConceptScore W3208664267C96956885 @default.
- W3208664267 hasConceptScore W3208664267C97854310 @default.
- W3208664267 hasLocation W32086642671 @default.
- W3208664267 hasOpenAccess W3208664267 @default.
- W3208664267 hasPrimaryLocation W32086642671 @default.
- W3208664267 hasRelatedWork W1490902742 @default.
- W3208664267 hasRelatedWork W1538499757 @default.
- W3208664267 hasRelatedWork W158654455 @default.
- W3208664267 hasRelatedWork W1598667170 @default.
- W3208664267 hasRelatedWork W1614449311 @default.
- W3208664267 hasRelatedWork W1776085251 @default.
- W3208664267 hasRelatedWork W1929987453 @default.
- W3208664267 hasRelatedWork W1970956440 @default.
- W3208664267 hasRelatedWork W1978619679 @default.
- W3208664267 hasRelatedWork W2139450737 @default.