FRINK Linked Data Fragments server

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

• W2154673225 endingPage "467" @default.
• W2154673225 startingPage "458" @default.
• W2154673225 abstract "Verification of dynamic systems that manipulate data, stored in a database or ontology, has lately received increasing attention. A plethora of recent works has shown that verification of systems working over unboundedly many data is decidable even for very rich temporal properties, provided that the system is state-bounded. This condition requires the existence of an overall bound on the amount of data stored in each single state along the system evolution. In general, checking state-boundedness is undecidable. An open question is whether it is possible to isolate significant classes of dynamic systems for which state-boundedness is decidable. In this paper we provide a strong negative answer, by resorting to a novel connection with variants of Petri nets. In particular, we show undecidability for systems whose data component contains unary relations only, and whose action component queries and updates such relations in a very limited way. To contrast this result, we propose interesting relaxations of the sufficient conditions proposed in the concrete setting of Data-Centric Dynamic Systems, building on recent results on chase termination for tuple-generating dependencies." @default.
• W2154673225 created "2016-06-24" @default.
• W2154673225 creator A5038619283 @default.
• W2154673225 creator A5047795784 @default.
• W2154673225 creator A5072237112 @default.
• W2154673225 creator A5077723508 @default.
• W2154673225 date "2014-07-20" @default.
• W2154673225 modified "2023-09-22" @default.
• W2154673225 title "State-boundedness in data-aware dynamic systems" @default.
• W2154673225 cites W1504874300 @default.
• W2154673225 cites W1511214424 @default.
• W2154673225 cites W1513999490 @default.
• W2154673225 cites W1590016351 @default.
• W2154673225 cites W1824207140 @default.
• W2154673225 cites W1875320644 @default.
• W2154673225 cites W2002333089 @default.
• W2154673225 cites W2029133737 @default.
• W2154673225 cites W2057069578 @default.
• W2154673225 cites W2062569786 @default.
• W2154673225 cites W2099613024 @default.
• W2154673225 cites W2102729564 @default.
• W2154673225 cites W2117832390 @default.
• W2154673225 cites W2124061668 @default.
• W2154673225 cites W2137862151 @default.
• W2154673225 cites W2160527279 @default.
• W2154673225 cites W2163133050 @default.
• W2154673225 cites W2204935731 @default.
• W2154673225 cites W2394903686 @default.
• W2154673225 cites W273874322 @default.
• W2154673225 cites W82076236 @default.
• W2154673225 hasPublicationYear "2014" @default.
• W2154673225 type Work @default.
• W2154673225 sameAs 2154673225 @default.
• W2154673225 citedByCount "5" @default.
• W2154673225 countsByYear W21546732252014 @default.
• W2154673225 countsByYear W21546732252015 @default.
• W2154673225 countsByYear W21546732252016 @default.
• W2154673225 crossrefType "proceedings-article" @default.
• W2154673225 hasAuthorship W2154673225A5038619283 @default.
• W2154673225 hasAuthorship W2154673225A5047795784 @default.
• W2154673225 hasAuthorship W2154673225A5072237112 @default.
• W2154673225 hasAuthorship W2154673225A5077723508 @default.
• W2154673225 hasConcept C11413529 @default.
• W2154673225 hasConcept C118615104 @default.
• W2154673225 hasConcept C118930307 @default.
• W2154673225 hasConcept C120314980 @default.
• W2154673225 hasConcept C121332964 @default.
• W2154673225 hasConcept C134306372 @default.
• W2154673225 hasConcept C153269930 @default.
• W2154673225 hasConcept C168167062 @default.
• W2154673225 hasConcept C184337299 @default.
• W2154673225 hasConcept C192034797 @default.
• W2154673225 hasConcept C199360897 @default.
• W2154673225 hasConcept C2777669093 @default.
• W2154673225 hasConcept C33923547 @default.
• W2154673225 hasConcept C34388435 @default.
• W2154673225 hasConcept C38677869 @default.
• W2154673225 hasConcept C41008148 @default.
• W2154673225 hasConcept C48103436 @default.
• W2154673225 hasConcept C78023250 @default.
• W2154673225 hasConcept C80444323 @default.
• W2154673225 hasConcept C97355855 @default.
• W2154673225 hasConceptScore W2154673225C11413529 @default.
• W2154673225 hasConceptScore W2154673225C118615104 @default.
• W2154673225 hasConceptScore W2154673225C118930307 @default.
• W2154673225 hasConceptScore W2154673225C120314980 @default.
• W2154673225 hasConceptScore W2154673225C121332964 @default.
• W2154673225 hasConceptScore W2154673225C134306372 @default.
• W2154673225 hasConceptScore W2154673225C153269930 @default.
• W2154673225 hasConceptScore W2154673225C168167062 @default.
• W2154673225 hasConceptScore W2154673225C184337299 @default.
• W2154673225 hasConceptScore W2154673225C192034797 @default.
• W2154673225 hasConceptScore W2154673225C199360897 @default.
• W2154673225 hasConceptScore W2154673225C2777669093 @default.
• W2154673225 hasConceptScore W2154673225C33923547 @default.
• W2154673225 hasConceptScore W2154673225C34388435 @default.
• W2154673225 hasConceptScore W2154673225C38677869 @default.
• W2154673225 hasConceptScore W2154673225C41008148 @default.
• W2154673225 hasConceptScore W2154673225C48103436 @default.
• W2154673225 hasConceptScore W2154673225C78023250 @default.
• W2154673225 hasConceptScore W2154673225C80444323 @default.
• W2154673225 hasConceptScore W2154673225C97355855 @default.
• W2154673225 hasLocation W21546732251 @default.
• W2154673225 hasOpenAccess W2154673225 @default.
• W2154673225 hasPrimaryLocation W21546732251 @default.
• W2154673225 hasRelatedWork W17443020 @default.
• W2154673225 hasRelatedWork W1992428614 @default.
• W2154673225 hasRelatedWork W2029133737 @default.
• W2154673225 hasRelatedWork W2062569786 @default.
• W2154673225 hasRelatedWork W2153604631 @default.
• W2154673225 hasRelatedWork W2177564498 @default.
• W2154673225 hasRelatedWork W2204935731 @default.
• W2154673225 hasRelatedWork W2227507359 @default.
• W2154673225 hasRelatedWork W2395244651 @default.
• W2154673225 hasRelatedWork W2471389158 @default.
• W2154673225 hasRelatedWork W2497178367 @default.
• W2154673225 hasRelatedWork W2617161903 @default.
• W2154673225 hasRelatedWork W2625588848 @default.

• next