6597 search results - page 70 / 1320 » Orderings and Types in Databases |
DEBU
1999
13 years 8 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
There are more spots than immediately obvious in XQuery expressions where order is immaterial for evaluation-this affects most notably, but not exclusively, expressions in the sco...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
PARA
2004
Springer
14 years 2 months ago
2004
Springer
Large and sparse rational eigenproblems where the rational term is of low rank k arise in vibrations of fluid–solid structures and of plates with elastically attached loads. Exp...
TACS
2001
Springer
14 years 1 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...