Matches in SemOpenAlex for { <https://semopenalex.org/work/W76137598> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W76137598 abstract "Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their schema described by a Document Type Definition (DTD) without breaking their validity and with ensured transaction consistency. We present a way how to express constructs available in DTD by using a functional framework and propose algorithms for performing insert, replace and delete operations. This solution is an intermediate step we need for our ongoing research – formal comparison of XQuery and XML-λ. 1 Motivation and Problem Statement Fundamental work we continue to work on is Pokorný’s proposal of a functional framework for modeling and querying XML – XML-λ [15, 16]. The main idea therein is to use simply typed λ-calculus adherent to a DTDbased type system for querying XML data. Over time we identified a need for extending the language with support of data modification operations. Our aim is to develop an approach similar to the SQL language for relational databases, i.e. to have an ability both to query and update underlying data within one formal apparatus. This work directly continues in the topic that we have opened in [13]; in this text we clarify more the concept of the framework by showing its relationship to the W3C data model, reformulate proposed algorithms and we also add some improvements in formal description of the solution. Nevertheless, our primary motivation is not to develop a totally new sort of an XML update language but rather to propose an update extension that allows us to go on with our planned research in the future – comparison of properties of XQuery and XML-λ and evaluation of potential mutual transformations of queries written in respective languages. We see the benefit of this paper par∗ I would like to thank to Prof. Pokorný for his patience and provisioning of many helpful hints for my research. Proceedings of the Spring Young Researcher’s Colloquium on Database and Information Systems, Saint-Petersburg, Russia, 2008 ticularly in clarification of proposed update algorithms and in specification of a link to transaction management. The paper is structured as follows: Section 2 lists existing approaches for updating XML data and discusses their contribution. In Section 3 we briefly outline the concept of the functional framework we use, its data model and show an example of query evaluation with detailed description. Then, we discuss the problem of updates in Section 4 in general and show our solution in Section 5. In Sections 6 and 7 we conclude with feasible ideas for future work. 2 Languages for Updating XML By the term updating XML we mean the ability of a language to perform modifications (insert, replace and delete operations) over an XML document or a collection of XML documents. Since the creation of the XML in 1998, there have been many efforts to develop various data models and query languages for databases of XML data. Multiple approaches for indexing and query optimizations have been invented. On the other hand, the problem of updating XML gains more interest in few past years. Yet there seems to be not a complete solution for this problem. Existing papers dealing with updating XML are mostly related to XQuery [3]. Lehti [11] proposes an extension to XQuery that allows all update operations but does not care about the validity of the documents. Tatarinov et al. [18] also extend XQuery syntax with insert, update and delete operations and show the implementation of storage in a relational database system. Benedikt et al. [1] and Sur et al. [17] deal in deep with the semantics of updates in XQuery. In the W3C XML Query Working Group is the need for having updates in the language also considered as one of the most important topics in its further development [5]. As a result, the XQuery Update Facility has been proposed [6]. For the sake of completeness we should not omit XUpdate [10] – a relatively old proposal that takes a different way. It uses XML-based syntax for describing update operations. This specification is less formal than those previous but it is often used in practice. Another research field is represented by XDuce [9] and its successor CDuce [2] that use also a type system based approach for pattern matching and manipulation of XML data. Considering previous works we can deduce that there are common types of operations for performing modifications that are to be embedded in a language – delete, replace, insert-before, insert-after or insert-as-child. This seems to be a sufficient base for ongoing work. None of those proposals but deals in detail with the problem of updating typed data and hence it makes sense to put effort and study this problem." @default.
- W76137598 created "2016-06-24" @default.
- W76137598 creator A5072228122 @default.
- W76137598 date "2008-01-01" @default.
- W76137598 modified "2023-09-25" @default.
- W76137598 title "On the Semantics of Updates in a Functional Language." @default.
- W76137598 cites W1664954303 @default.
- W76137598 cites W172857819 @default.
- W76137598 cites W172904988 @default.
- W76137598 cites W187066206 @default.
- W76137598 cites W1965014786 @default.
- W76137598 cites W1966814918 @default.
- W76137598 cites W2075994573 @default.
- W76137598 cites W2127365254 @default.
- W76137598 cites W2294548604 @default.
- W76137598 cites W2294906419 @default.
- W76137598 cites W2345263841 @default.
- W76137598 cites W52357592 @default.
- W76137598 cites W58649745 @default.
- W76137598 cites W88720070 @default.
- W76137598 hasPublicationYear "2008" @default.
- W76137598 type Work @default.
- W76137598 sameAs 76137598 @default.
- W76137598 citedByCount "0" @default.
- W76137598 crossrefType "proceedings-article" @default.
- W76137598 hasAuthorship W76137598A5072228122 @default.
- W76137598 hasConcept C101509794 @default.
- W76137598 hasConcept C11508877 @default.
- W76137598 hasConcept C136764020 @default.
- W76137598 hasConcept C183068750 @default.
- W76137598 hasConcept C199360897 @default.
- W76137598 hasConcept C23123220 @default.
- W76137598 hasConcept C2780512708 @default.
- W76137598 hasConcept C34716815 @default.
- W76137598 hasConcept C40713593 @default.
- W76137598 hasConcept C41008148 @default.
- W76137598 hasConcept C44883583 @default.
- W76137598 hasConcept C510870499 @default.
- W76137598 hasConcept C55348073 @default.
- W76137598 hasConcept C68699486 @default.
- W76137598 hasConcept C77088390 @default.
- W76137598 hasConcept C84314905 @default.
- W76137598 hasConcept C8797682 @default.
- W76137598 hasConceptScore W76137598C101509794 @default.
- W76137598 hasConceptScore W76137598C11508877 @default.
- W76137598 hasConceptScore W76137598C136764020 @default.
- W76137598 hasConceptScore W76137598C183068750 @default.
- W76137598 hasConceptScore W76137598C199360897 @default.
- W76137598 hasConceptScore W76137598C23123220 @default.
- W76137598 hasConceptScore W76137598C2780512708 @default.
- W76137598 hasConceptScore W76137598C34716815 @default.
- W76137598 hasConceptScore W76137598C40713593 @default.
- W76137598 hasConceptScore W76137598C41008148 @default.
- W76137598 hasConceptScore W76137598C44883583 @default.
- W76137598 hasConceptScore W76137598C510870499 @default.
- W76137598 hasConceptScore W76137598C55348073 @default.
- W76137598 hasConceptScore W76137598C68699486 @default.
- W76137598 hasConceptScore W76137598C77088390 @default.
- W76137598 hasConceptScore W76137598C84314905 @default.
- W76137598 hasConceptScore W76137598C8797682 @default.
- W76137598 hasLocation W761375981 @default.
- W76137598 hasOpenAccess W76137598 @default.
- W76137598 hasPrimaryLocation W761375981 @default.
- W76137598 hasRelatedWork W10358444 @default.
- W76137598 hasRelatedWork W132294611 @default.
- W76137598 hasRelatedWork W1540408937 @default.
- W76137598 hasRelatedWork W1543749683 @default.
- W76137598 hasRelatedWork W1556977323 @default.
- W76137598 hasRelatedWork W1576456562 @default.
- W76137598 hasRelatedWork W1605815656 @default.
- W76137598 hasRelatedWork W172857819 @default.
- W76137598 hasRelatedWork W1825476195 @default.
- W76137598 hasRelatedWork W1964704188 @default.
- W76137598 hasRelatedWork W1994527179 @default.
- W76137598 hasRelatedWork W199748950 @default.
- W76137598 hasRelatedWork W2116572655 @default.
- W76137598 hasRelatedWork W2341059056 @default.
- W76137598 hasRelatedWork W2362692588 @default.
- W76137598 hasRelatedWork W2373738635 @default.
- W76137598 hasRelatedWork W2390898501 @default.
- W76137598 hasRelatedWork W2568653835 @default.
- W76137598 hasRelatedWork W2955056029 @default.
- W76137598 hasRelatedWork W659534825 @default.
- W76137598 isParatext "false" @default.
- W76137598 isRetracted "false" @default.
- W76137598 magId "76137598" @default.
- W76137598 workType "article" @default.