Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110458026> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2110458026 endingPage "272" @default.
- W2110458026 startingPage "241" @default.
- W2110458026 abstract "The rapid growth of the World Wide Web has resulted in a dramatic in- crease in semistructured data usage, creating a growing need for effective and efficient utilization of semistructured data. In order to verify the correctness of semistructured data design, precise descriptions of the schemas and transformations on the schemas must be established. One effective way to achieve this goal is through formal model- ing and automated verification. This paper presents the first step towards this goal. In our approach, we have formally specified the semantics of the ORA-SS (Object- Relationship-Attribute data model for Semistructured data) data modeling language in PVS (Prototype Verification System) and provided automated verification support for both ORA-SS schemas and XML (Extensible Markup Language) data instances using the PVS theorem prover. This approach provides a solid basis for verifying algo- rithms that transform schemas for semistructured data." @default.
- W2110458026 created "2016-06-24" @default.
- W2110458026 creator A5000934031 @default.
- W2110458026 creator A5004067597 @default.
- W2110458026 creator A5016115576 @default.
- W2110458026 creator A5020664307 @default.
- W2110458026 date "2009-01-01" @default.
- W2110458026 modified "2023-09-23" @default.
- W2110458026 title "Formal Verification of Semistructured Data Models in PVS" @default.
- W2110458026 cites W150126932 @default.
- W2110458026 cites W1579694762 @default.
- W2110458026 cites W1584309282 @default.
- W2110458026 cites W1590271040 @default.
- W2110458026 cites W1605447566 @default.
- W2110458026 cites W1770223887 @default.
- W2110458026 cites W1828698680 @default.
- W2110458026 cites W1977405059 @default.
- W2110458026 cites W1981700262 @default.
- W2110458026 cites W1983304353 @default.
- W2110458026 cites W2016948832 @default.
- W2110458026 cites W2056258354 @default.
- W2110458026 cites W2102420929 @default.
- W2110458026 cites W2123071200 @default.
- W2110458026 cites W2128404249 @default.
- W2110458026 cites W2145574118 @default.
- W2110458026 cites W2177653796 @default.
- W2110458026 cites W2911273612 @default.
- W2110458026 cites W72975440 @default.
- W2110458026 cites W951372261 @default.
- W2110458026 hasPublicationYear "2009" @default.
- W2110458026 type Work @default.
- W2110458026 sameAs 2110458026 @default.
- W2110458026 citedByCount "3" @default.
- W2110458026 crossrefType "journal-article" @default.
- W2110458026 hasAuthorship W2110458026A5000934031 @default.
- W2110458026 hasAuthorship W2110458026A5004067597 @default.
- W2110458026 hasAuthorship W2110458026A5016115576 @default.
- W2110458026 hasAuthorship W2110458026A5020664307 @default.
- W2110458026 hasConcept C111498074 @default.
- W2110458026 hasConcept C115903868 @default.
- W2110458026 hasConcept C136764020 @default.
- W2110458026 hasConcept C184337299 @default.
- W2110458026 hasConcept C199360897 @default.
- W2110458026 hasConcept C206880738 @default.
- W2110458026 hasConcept C41008148 @default.
- W2110458026 hasConcept C55439883 @default.
- W2110458026 hasConcept C8797682 @default.
- W2110458026 hasConceptScore W2110458026C111498074 @default.
- W2110458026 hasConceptScore W2110458026C115903868 @default.
- W2110458026 hasConceptScore W2110458026C136764020 @default.
- W2110458026 hasConceptScore W2110458026C184337299 @default.
- W2110458026 hasConceptScore W2110458026C199360897 @default.
- W2110458026 hasConceptScore W2110458026C206880738 @default.
- W2110458026 hasConceptScore W2110458026C41008148 @default.
- W2110458026 hasConceptScore W2110458026C55439883 @default.
- W2110458026 hasConceptScore W2110458026C8797682 @default.
- W2110458026 hasIssue "1" @default.
- W2110458026 hasLocation W21104580261 @default.
- W2110458026 hasOpenAccess W2110458026 @default.
- W2110458026 hasPrimaryLocation W21104580261 @default.
- W2110458026 hasRelatedWork W1557009147 @default.
- W2110458026 hasRelatedWork W1573022308 @default.
- W2110458026 hasRelatedWork W1595999523 @default.
- W2110458026 hasRelatedWork W161670123 @default.
- W2110458026 hasRelatedWork W1836717328 @default.
- W2110458026 hasRelatedWork W2006962382 @default.
- W2110458026 hasRelatedWork W2024127680 @default.
- W2110458026 hasRelatedWork W2122590095 @default.
- W2110458026 hasRelatedWork W2152708691 @default.
- W2110458026 hasRelatedWork W2169895769 @default.
- W2110458026 hasRelatedWork W2200090970 @default.
- W2110458026 hasRelatedWork W2293341276 @default.
- W2110458026 hasRelatedWork W2303036583 @default.
- W2110458026 hasRelatedWork W2377845476 @default.
- W2110458026 hasRelatedWork W2535577302 @default.
- W2110458026 hasRelatedWork W2949756156 @default.
- W2110458026 hasRelatedWork W3049745638 @default.
- W2110458026 hasRelatedWork W565232785 @default.
- W2110458026 hasRelatedWork W632952695 @default.
- W2110458026 hasRelatedWork W2146106430 @default.
- W2110458026 hasVolume "15" @default.
- W2110458026 isParatext "false" @default.
- W2110458026 isRetracted "false" @default.
- W2110458026 magId "2110458026" @default.
- W2110458026 workType "article" @default.