Results 51 to 60 of about 16,042 (210)
Structural Properties of XPath Fragments [PDF]
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Benedikt, W. Fan, Kuper, Gabriel Mark
openaire +4 more sources
An Approach of XML Query Evaluation Based Model Checking
Cybernetics and Information Technologies, 2016 In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating ...
Yan-Mei Li, Shao-Bin Huang, Ya Li, Li Xu
doaj +1 more source
SMIL State: an architecture and implementation for adaptive time-based web applications [PDF]
, 2009 In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates which parts of the application are presented (providing the major structuring paradigm), and that require ...
D Bulterman +3 more
core +2 more sources
Semantic characterizations of navigational XPath [PDF]
ACM SIGMOD Record, 2005 We give semantic characterizations of the expressive power of navigational XPath (a.k.a. Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes and sets of paths in an XML document tree. We consider both uses. For sets of nodes, XPath is equally expressive as first order logic in two variables.
Marx, M.J., de Rijke, M.
openaire +4 more sources
Semantic Query on Materials Data Based on Mapping MatML to an OWL Ontology
Data Science Journal, 2009 MatML plays an important role in materials data applications while structure-aware query techniques (e.g., XPath and XQuery) are used to search the content of MatML. However, both XPath and XQuery cannot efficiently retrieve sets of MatML on a conceptual
Xiaoming Zhang, Changjun Hu, Huayu Li
doaj +1 more source
Survey over Existing Query and Transformation Languages [PDF]
, 2004 A widely acknowledged obstacle for realizing the vision of the Semantic Web is the inability of many current Semantic Web approaches to cope with data available in such diverging representation formalisms as XML, RDF, or Topic Maps.
Bolzer, Oliver +6 more
core +2 more sources
Deciding XPath containment with MSO [PDF]
Data & Knowledge Engineering, 2007 XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath fragment covers most of the language features used in practice. Specifically, we show how XPath queries can be translated into equivalent formulas in monadic second-order logic.
Genevès, Pierre, Layaïda, Nabil
openaire +2 more sources
Desirable properties for XML update mechanisms [PDF]
, 2010 The adoption of XML as the default data interchange format and the standardisation of the XPath and XQuery languages has resulted in significant research in the development and implementation of XML databases capable of processing queries efficiently ...
O'Connor, Martin F., Roantree, Mark
core +1 more source
Використання сучасних веб-технологій для побудови тематичного пошукового робота-краулера аналізатора
Adaptivni Sistemi Avtomatičnogo Upravlinnâ, 2008 Дана стаття є описом теорії побудови сучасних інтелектуальних роботів-пошуковців. Головна ідея полягає в використанні, вже дуже відомих в наш час, технологій таких, як NHibernate, XPath, XML та ін.
Олена Іллівна Чумаченко
doaj +1 more source
MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck
Applied Sciences, 2023 As is well known, smart contracts on the blockchain store plenty of digital assets, and these contracts deployed on the blockchain are difficult to be modified.
Jiajia Fei, Xiaohan Chen, Xiangfu Zhao
doaj +1 more source