269 search results - page 32 / 54 » On Tree Pattern Query Rewriting Using Views |
165
Voted
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
146
Voted
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
Inductive databases (IDBs) have been proposed to afford the problem of knowledge discovery from huge databases. With an IDB the user/analyst performs a set of very different operat...
202
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
There has been a great deal of work in recent years on processing and optimizing queries against XML data. Typically in these previous works, schema information is not considered,...
112
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
In an XML document a considerable fraction consists of markup, that is, begin and end-element tags describing the document’s tree structure. XML compression tools such as XMill ...
134
click to vote
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...