Sciweavers

261 search results - page 4 / 53
» Logics for XML
Sort
View
JAPLL
2010
124views more  JAPLL 2010»
14 years 8 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
JODL
2007
109views more  JODL 2007»
14 years 9 months ago
Examining topic shifts in content-oriented XML retrieval
Abstract. Content-oriented XML retrieval systems support access to XML repositories by retrieving, in response to user queries, XML document components (XML elements) instead of wh...
Elham Ashoori, Mounia Lalmas, Theodora Tsikrika
ERCIMDL
2006
Springer
108views Education» more  ERCIMDL 2006»
15 years 1 months ago
The Use of Summaries in XML Retrieval
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...
Zoltán Szlávik, Anastasios Tombros, ...
IICS
2003
Springer
15 years 3 months ago
Aggregation Transformation of XML Schemas to Object-Relational Databases
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...
Nathalia Devina Widjaya, David Taniar, J. Wenny Ra...
APCCM
2009
14 years 11 months ago
Reverse Engineering of XML Schemas to Conceptual Diagrams
It is frequent in practice that different logical XML schemas representing the same reality from different viewpoints exist. There is also usually a conceptual diagram modeling th...
Martin Necasky