Sciweavers

17 search results - page 4 / 4
» Reasoning about Object-based Calculi in (Co)Inductive Type T...
Sort
View
DOCENG
2006
ACM
14 years 10 days ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda
SDB
1995
178views Database» more  SDB 1995»
13 years 10 months ago
A Semantics-based Approach to Design of Query Languages for Partial Information
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
Leonid Libkin