XPath 2.0 and XQuery 1.0 Issues

This document contains the XPath 2.0 and XQuery 1.0 Issues List that records pre-Last Call issues.


XPath 2.0 and XQuery 1.0 Issues

Values for Status has the following meaning:

resolved: a decision has been finalized and the document updated to reflect the decision.

decided: recommendations and decision(s) has been made by one or more of the following: a task-force, XPath WG, or XQuery WG.

draft: a proposal has been developed for possible future inclusion in a published document.

active: issue is actively being discussed.

unassigned: discussion of issue deferred.

subsumed: issue has been subsumed by another issue.

Cl has the values:

D for Document and Collections

T for basic type issues

TF for types in the context of functions

Priorities prefixed by "o-" are old, unreviewed, priority assignments.

Priority 1 is the highest, 4 is the lowest.

(stylesheet parameters used: kwSort: numeric, kwFull: full, kwDate: 00000000, kwLocus: all).


Num Cl Pr Cluster Status Locus Description Responsible
1 o-1 grammar resolved xpath XPath Productions
2 o-1 grammar subsumed xquery Precedence of Operators
3 o-3 grammar resolved xpath What should be the precedence of a RangeExpr be?
4 o-1 grammar resolved xquery Abstract Syntax
5 o-2 reserved-words resolved xpath Reserved words
6 o-2 reserved-words subsumed xpath 5. Reserved Words:
7 o-1 reserved-words subsumed xquery Keywords in XQuery
8 o-1 reserved-words resolved xpath Case-Sensitivity in Keywords
9 o-1 type-conversions resolved xpath Should implicit conversions be used?
10 o-2 type-conversions resolved xpath Conversions for Arithmetic
11 o-1 type-conversions resolved xpath XPath Type Coercions
12 o-2 arithmetic-operators resolved xpath Arithmetic on Sequences.
13 o-1 arithmetic-operators resolved xpath Arithmetic operators among sequences
14 o-1 type-conversions resolved xpath Should type error checking be part of the context?
15 TF 1 choice-context resolved xpath Implicit conversion of node-sets to boolean for comparisons.
16 o-1 choice-context subsumed xpath 2. Converting node sets to Boolean
17 o-1 choice-context subsumed xpath Converting general expressions to Boolean
18 o-1 choice-context subsumed xpath 1. Arithmetic on node sets
19 o-1 nulls-empty resolved xpath How should null be treated in the data model?
20 o-1 nulls-empty subsumed xpath Representation of Missing Data
21 o-1 nulls-empty resolved datamodel Handling of xsi:nil on Input
22 o-1 3-value-logic resolved xpath Three-valued logic
23 o-1 3-value-logic subsumed xpath Three-valued Logic
24 o-1 3-value-logic subsumed xpath 3. Three-valued logic
25 o-1 3-value-logic subsumed xpath Nulls, nil, and three-valued logic
26 o-3 3-value-logic resolved xpath Should we default then to return an empty sequence?
27 o-1 3-value-logic subsumed xpath IF and WHERE
28 o-1 3-value-logic postponed xpath Do we need and3(), or3(), not3() built in?
29 o-1 3-value-logic subsumed xpath Not() on Empty Sequence
30 o-2 3-value-logic resolved xfo Should comparison operations always return null if either of the arguments are null?
31 o-2 3-value-logic resolved xpath Empty sequence comparisons
32 o-1 for-expr resolved xpath Do we really require for at the XPath expression level?
33 o-2 for-expr subsumed xpath Do we need a simple form of for?
34 o-3 for-expr subsumed xpath Does XPath require range variables in for expressions?
35 o-1 FLWR-expr resolved xquery Separation of clauses in FLWR
36 o-1 SOME-expr resolved xpath Quantifiers with multiple bindings?
37 o-1 datatypes resolved xpath 6. Datatypes:
38 o-1 datatypes resolved xfo XML Schema Datatypes Constructors
39 o-1 datatype promotions resolved xfo Promotion Hierarchy for XML Schema Types
40 T 1 type-semantics resolved xquery Correspondence of Types
41 T 1 type-semantics resolved xquery Static type-checking vs. Schema validation
42 T 1 type-semantics resolved xquery Implementation of and conformance levels for static type checking
43 T 1 type-semantics decided xquery Defining Behavior for Well Formed, DTD, and Schema Documents
44 T 1 type-semantics subsumed xquery Support for schema-less and incompletely validated documents
45 T 1 type-semantics resolved xquery Names in Type Definitions
46 T 3 type-semantics postponed xquery typeof() function
47 T 2 type-semantics decided xquery Subtype Substitutability
48 T 3 type-semantics decided algebra CASE not a subtype
49 T 1 type-semantics resolved xquery Substitution Groups
50 TF 1 type-semantics resolved xquery Function Definition
51 TF 1 type-semantics resolved xquery Function Resolution
52 o-1 type-semantics resolved xquery Collection types
53 o-1 type-semantics resolved xquery Support for Unordered Collections
54 o-1 type-errors resolved xquery Queries with Invalid Content
55 o-1 type-errors resolved xquery Static versus Dynamic Errors
56 T 3 type-syntax decided xquery Human-Readable Syntax for Types
57 T 3 type-syntax postponed xquery Inline XML Schema Declarations
58 T 3 type-syntax resolved xquery Importing Schemas and DTDs into query
59 T 1 INSTANCEOF-expr resolved xpath We need precise semantics for instanceof. xquery
60 o-1 CAST-expr resolved xquery CAST expression
61 o-3 CAST-expr resolved xpath Do we need an explicit cast operator (or instead treat as)?
62 o-1 CAST-expr resolved algebra Mapping CAST AS
63 o-1 TREAT-expr resolved xquery Type Guard
64 o-1 TREAT-expr resolved algebra Is TREAT AS necessary?
65 o-1 CAST/TREAT-expr resolved xquery CAST and TREAT AS Syntax
66 o-1 TYPESWITCH-expr resolved xquery Typeswitch
67 o-1 ASSERT-expr resolved xquery Static Type Assertions
68 o-2 context resolved xpath Do we need a Context Item, and, if so, how should it work?
69 o-1 context resolved xquery Mapping Input Context
70 o-2 context resolved xpath Does the context include a default namespace declaration?
71 o-3 context resolved xpath Do we need a datatype names binding in the context?
72 o-2 context resolved xpath How should qname-to-collation bindings be handled?
73 o-1 context subsumed xpath Collation Sequences
74 o-1 module-semantics decided xquery Module syntax
75 o-1 module-semantics decided xquery Importing Modules
76 o-1 module-semantics resolved xquery What is a Query
77 o-1 module-semantics resolved xquery Namespace Prefix Redefine
78 o-1 module-syntax resolved xquery Semicolon as Query Module Separator
79 o-1 module-syntax decided xquery Encoding
80 o-1 typed-value/data() resolved xpath Accessing Element Data
81 T 1 typed-value/data() resolved datamodel What should the typed value of a complex type be?
82 o-2 node-equality resolved xfo What should the semantics be for == and !== in regards to nodesets and sequences?
83 o-1 sequences subsumed xfo Sequence comparisons need to be defined in the F&O spec.
84 o-1 sequences subsumed xquery Comparing Collections
85 o-1 node-equality resolved xfo Identity-based equality operator
86 o-2 node-equality resolved xpath Set operations based on value
87 o-2 value-identity resolved xfo What is the identity of a simple value?
88 o-1 (in)equality-operators resolved xpath 8. Implied existential quantifiers:
89 o-1 (in)equality-operators subsumed xpath Comparing Sequences
90 o-1 (in)equality-operators subsumed xpath Node-set comparisons
91 o-1 (in)equality-operators resolved xpath 9. String comparisons:
92 o-1 (in)equality-operators resolved xpath Deep equality
93 o-1 (in)equality-operators subsumed xpath 4. Element-equality:
94 o-1 (in)equality-operators subsumed xpath Node equality
95 o-1 (in)equality-operators resolved xpath Equality will not be compatible with some string conversions
96 o-1 (in)equality-operators decided xpath Normalized Equality
97 o-2 error resolved xpath How should the error object be supported?
98 o-2 error resolved xpath General discussion of errors
99 o-1 error resolved xquery TRY/CATCH and error() Dana
100 o-1 datamodel resolved datamodel Should an empty sequence and an empty node-set be distinguishable?
101 o-1 datamodel resolved datamodel Should sequences be allowed to have nodes?
102 o-1 function-app resolved xpath Functions on Empty Sequences
103 o-1 function-app resolved xpath Functions on Sequences
104 o-1 function-app subsumed xquery Sequences for single parameters
105 o-1 function-app resolved xpath Implicit current node for functions?
106 o-2 function-app subsumed xpath Problem with default context node for functions?
107 o-1 function-app resolved xpath Path iteration
108 o-1 function-app resolved xpath Aggregate functions on empty sequences.
109 o-3 syntax resolved xpath Need text to disambiguate Lexical Structure?
110 o-4 syntax resolved xpath Should we use is and isnot instead of == and !==.
111 o-3 syntax resolved xpath What is the best sequence concatenation operator?
112 o-1 syntax resolved xpath Leading Minus
113 o-1 axes resolved xpath What should the mechanism be for axis subsetting?
114 o-1 axes decided xquery XPath Axes
115 o-1 path-semantics resolved xpath General Expressions in Path Steps
116 o-1 path-semantics subsumed algebra Full Expression Syntax in Steps
117 o-4 path-semantics resolved xpath Disallow variables on right side of slash?
118 o-4 path-semantics resolved xpath Disallow obvious non-node sequences on left of slash?
119 o-4 path-semantics resolved xpath Should nonsense nodetests be disallowed?
120 o-1 path-semantics resolved xpath 7. Duplicates and ordering:
121 o-1 path-semantics subsumed xquery Path Expression Order
122 o-1 path-semantics subsumed xpath Duplicates and ordering
123 o-1 serialization resolved xquery Linearization/Serialization
124 o-1 functions decided xquery External Functions
125 o-4 editorial resolved xpath Should we say something about the abstractness of XPath?
126 o-4 editorial resolved xpath Should we re-explain path expressions?
127 o-1 operators resolved xpath Definitions of Operators
128 o-1 operators resolved xfo Operators and functions
129 o-2 algebra resolved xquery Alignment of Syntax
130 o-1 xquery-alignment resolved algebra Algebra Mapping Jerome
131 o-1 xquery-alignment resolved algebra Alignment of Precedence
132 o-1 attribute accessors resolved xfo Attribute Name, Attribute Content
133 o-1 (de)reference-expr resolved xquery Reference Constructor
134 o-1 (de)reference-expr resolved xquery Dereference Operator and Links
135 o-1 constructor-syntax resolved algebra Empty End Tags in Element Constructors
136 o-2 constructor-syntax resolved xquery Lists of Element Constructors
137 o-1 constructor-syntax resolved xquery Attribute Constructor Function
138 o-1 constructor-syntax resolved xquery Quotes for computed attribute values
139 o-1 constructor-syntax resolved xquery Computed element and attribute names
140 o-1 constructor-syntax subsumed xquery Alternative syntax for element construction
141 o-1 constructor-syntax resolved xquery Productions for Comments and Processing Instructions
142 o-1 constructor-syntax subsumed xquery Comments to end-of-line
143 o-1 constructor-syntax postponed algebra XML Constructor
144 o-1 syntax decided xquery Escaping Quotes and Apostrophes
145 o-1 constructor-expr subsumed xquery Copy and Reference Semantics
146 o-1 constructor-expr resolved xquery
147 o-1 constructor-expr resolved xquery Empty Attributes
148 o-1 constructor-expr resolved xquery Namespace Attributes in Element Constructors xquery
149 o-1 literal-XML resolved xquery Embedding XML in XQuery
150 o-1 literal-XML subsumed xquery Embedding XQuery in XML
151 o-1 literal-XML resolved xquery Cutting and pasting XML into XQuery
152 o-1 xqueryx decided xqueryx XML-based Syntax
153 o-1 xqueryx postponed xquery Escape between syntaxes
154 o-1 sort resolved xquery Ordering of empty values.
155 o-1 sort decided xquery Sorting by Non-exposed Data
156 o-1 BEFORE/AFTER-expr resolved xpath Meaning of BEFORE and AFTER
157 o-1 functions decided xquery Function Libraries
158 o-1 functions resolved xquery Unqualified Function Names
159 o-1 functions resolved algebra Recursion
160 o-2 execution-model resolved xquery Naive Implementation Strategy
161 o-1 fusion abandoned xquery Fusion
162 o-1 filter resolved algebra Filter as a Function
163 o-1 filter resolved algebra Typing of Filter Jerome Simeon
164 o-1 updates resolved xquery Updates Jonathan
165 o-1 views resolved algebra View Definition
166 o-1 miscellaneous resolved xquery Excluding Undesired Elements
167 o-1 miscellaneous resolved algebra Eval
168 o-1 groupby resolved xquery GROUPBY
169 o-1 conformance resolved xquery Missing conformance section
170 D 1 documents resolved xquery Document collections
171 o-1 path-semantics resolved xpath Operands of "/"
172 T 2 typed-value/data() resolved xpath Some functions taking node sequences and implicitly map?
173 o-1 type exception resolved xpath Polymorphic operator; only one fallback?
174 T 1 type exception resolved xpath Support for UnknownSimpleType
175 o-2 3-value-logic subsumed xpath What should "not3()" be called?
176 o-1 choice-context resolved xpath What is a node sequence?
177 TF 2 choice-context abandoned xpath Consistency of functions that take boolean formal argument
178 o-1 type-conversions resolved xpath Semantics of positional predicates in XPath
179 o-1 type-conversion resolved xpath Function call rules needed
180 o-1 functions resolved xpath Functions expecting complex-valued arguments
181 o-1 type-system resolved xpath Should literals include integers & integer be treated as primitive type?
182 o-1 operators resolved xpath Mapping XPath Operators to F&O Functions
183 T 1 text-nodes resolved xpath Text nodes - lexical structure and typed form
184 T 3 node-types resolved xpath Need ability to test for Comments, PIs xquery
185 o-2 type exception resolved xpath Always explicit cast?
186 o-1 node order resolved xpath Ordering of result of union, intersect, and except operators
187 o-1 operators subsumed xfo Operations supported on date/time types
188 o-1 operators resolved xpath Comparison operators - concrete syntax
189 o-1 operators resolved xpath Supported combinations of types for comparison operators
190 o-1 operators resolved xpath Operators for order comparisons
191 o-1 whitespace decided xquery Whitespace handling in element constructors
192 T 2 type constructed element resolved xquery Type of a newly constructed element
193 T 2 xml non representable resolved xquery Construction of non representable XML
194 o-1 sort resolved xquery Support for stable and unstable sort?
195 o-1 sort resolved xquery Semantics of sorting heterogeneous sequences
196 T 2 types resolved xpath Concrete syntax for datatype declarations xquery
197 T 2 types resolved xpath Need "attribute of type"? xquery
198 T 3 types resolved xpath Syntax for named typing xquery
199 T 2 types resolved xpath Support for locally declared types? xquery
200 T 1 types postponed xpath Semantics of "only" xquery
201 o-1 namespaces resolved xquery Scope of namespace declaration
202 o-1 namespaces resolved xquery In-scope namespaces and bindings
203 o-1 namespaces resolved xquery Non declared namespace prefix
204 o-1 namespaces resolved xquery How do default element namespaces affect attributes
205 TF 1 types resolved xquery Default function parameter type
206 T 2 types decided xpath Typing support in XPath
207 o-1 variables resolved xpath Variable names: QNames or NCnames?
208 o-1 syntax curly brace resolved xquery Multiple curly braces allowed? xquery
209 o-1 syntax attribute values resolved xquery Syntax for attribute values - more than one? xquery
210 o-1 order sequences postponed xpath Order of sequences
211 T 1 types resolved xpath Treat and structural vs named typing xquery
212 o-1 syntax resolved xpath Is "datatype" a suitable production name? xquery
213 o-1 syntax quotes resolved xpath How to get quotes etc in string literals?
214 o-1 syntax strings in attributes resolved xquery Strings in attributes xquery
215 o-1 3-value-logic postponed xpath Should we have a 3-valued form of quantifiers?
216 o-1 focus abandoned xpath Description of focus is very procedural
217 o-1 focus resolved xpath Context document in focus
218 o-1 wildcards resolved xpath What wildcards; namespaceprefix? xquery
219 o-1 namespaces resolved xquery Context: namespaces
220 o-1 sort subsumed xpath Should there be a way to explicitly sort in document order?
221 o-1 namespaces resolved xquery Where should namespace prefixes apply?
222 o-1 namespaces resolved xquery Allow redefinition of namespace prefixes?
223 o-1 functions external decided xquery We need a way to declare external functions
224 T 2 types decided xquery Why do we want to allow optional returns and DataType?
225 o-1 variables resolved xpath Variable redefinition allowed?
226 o-1 existential expressions resolved xpath Existential Expressions
227 o-2 syntax dereference resolved xpath Syntax for dereference?
228 o-2 namespace functions decided xpath Should we keep the default function namespace, and the xf: namespace?
229 o-2 syntax resolved xpath Do we need both << and precedes?
230 D 1 context resolved xpath Context document adequate for multiple docuemnts?
231 o-1 fallback resolved xpath data(SimpleValue) is error or no-op?
232 o-1 syntax operators date resolved xpath Use "+" and "-" on dates and durations?
233 o-1 syntax resolved xquery Simpler FLWR syntax?
234 o-1 order sequences resolved xpath Who defines sorting order of ()?
235 o-1 syntax resolved xpath Need parenthesis in conditional expression?
236 o-1 syntax resolved xpath SimpleType preceded by a keyword? xquery
237 o-1 syntax resolved xquery Need parenthesis in type switch expression?
238 o-1 consistency resolved xpath Consistency: tradeoff between interoperability and efficiency
239 o-1 consistency resolved xpath Consistency: bracketing of nested expressions
240 o-1 consistency resolved xpath Consistency: parenthesizing test expressions
241 o-1 consistency resolved xpath Consistency: keywords
242 3 sort resolved xquery Sortby on partially ordered values?
243 3 sort decided xpath Provide an example of sorting "disappearing"
244 2 serialization decided xquery CDATA sections and serialization
245 2 syntax curly brace resolved xquery Are {} in text evaluated?
246 2 syntax decided xquery Nested XQuery comments allowed?
247 2 namespaces decided xpath What does default namespace(s) affect?
248 4 evaluate postponed xpath Evaluate function
249 4 higher-order-functions postponed xpath Higher-order functions
250 2 variables decided xquery Declaring Variables in Prolog
251 2 sort decided xquery Sorting "input to loop", not the result
252 2 consistency resolved xquery "sort by" rather than "sortby" for consistency?
253 TF 2 type-semantics resolved xpath CAST as simple type of a node type
254 2 grammar resolved xpath Should the lexical details be in document?
255 T 1 type-semantics resolved xpath What are the operators on a derived type?
256 D 1 collections resolved xpath What is return type of colections?
257 D 1 collections decided xpath Does collection() always return same result?
258 D 2 documents decided xpath Identity of Document Nodes
259 T 1 type-semantics resolved xpath Arithmetic operation rules for unknown simpletype
260 T 2 type-semantics resolved xpath Implicit data() on instanceof?
261 2 syntax quotes resolved xquery Quoting rules in nested expressions in attribute value construction
262 T 1 type-semantics resolved xpath Definition of data() on elements with known complex type
263 T 1 type-semantics resolved xpath Definition of data() on elements with unknown type, whose content may be simple or complex
264 1 variables resolved xpath Shadowing of Variables
265 2 FTTF-xml:lang decided xpath-fulltext How do we determine the xml:lang for a node if it inherits xml:lang from a higher-level node?
266 2 FTTF-xml:lang decided xpath-fulltext Do we support the sublanguage portion of xml:lang?
267 1 syntax resolved xpath Syntax problems with "validate"
268 T 1 type-semantics resolved xpath xsd:string and anySimpleType'd data behave the same?
269 T 1 type-semantics resolved xpath Can we get rid of the unknown keyword
270 T 1 type-semantics resolved xpath Typing, coercions, and conformance
271 T 1 type-semantics resolved xpath Type compatibility of heterogeneous union types
272 1 external-functions decided xpath External Functions
273 1 external-objects decided xpath External Objects
274 T 1 type-semantics resolved xpath Text-node-only implementation possible?
275 T 1 type-semantics resolved xpath Should validation also check identity constraints?
276 T 1 type-semantics resolved xpath Does validation introduce new xsi:type attributes?
277 T 1 type-semantics resolved xpath Should validate introduce xsi:type?
278 T 1 type-semantics resolved xpath Does //@xsi:type match an xsi:type attribute?
279 T 1 type-semantics decided xpath Should there be a lightweight cast?
280 T 1 type-semantics resolved xpath Do we need to distinguish atomic simple types and list simple types?
281 T 1 type-semantics resolved xpath Representing the type name of untyped character data
282 T 1 type-semantics resolved xpath xs:numeric type
283 1 syntax-productions resolved xpath Is the DocumentElement syntax production necessary?
284 T 1 type-semantics resolved xpath Static Named Typing
285 T 1 type-semantics resolved xpath Is the QName denoting type information optional or required?
286 1 constructor-expr decided xquery Element Construction vs Streaming
287 1 syntax resolved xpath Functional Status of Comma
288 1 constructor-expr resolved xquery Element Constructor Attribute Order
289 T 1 constructor-expr resolved xquery Attribute Value Construction from Elements
290 1 constructor-expr decided xquery Element Attribute Constructor Name Type
291 T 1 constructor-expr resolved xquery Element Construction anySimpleType Sequence Content
292 1 constructor-expr resolved xquery Element Construction Sequence vs Multi-expr
293 1 decided xquery Cdata and CharRef Semantics
294 T 1 type-semantics resolved xquery Should all elements and attributes have type annotations?
295 1 lexical-representation decided xquery Lexical Representation of Atomic Values
296 1 path-semantics resolved xpath What is definition of leading "/"?
297 T 1 types decided xpath Should XPath have "type binding" in variable?
298 T 1 types resolved xpath Add Schema type names for sequences of homogeneous types?
299 1 whitespace resolved xquery Does character reference to whitespace change whitespace handling?
300 1 sort resolved xquery Should sorting of untyped data be prohibited?
301 T 1 types resolved xpath Supporting SQL/XML mappings in Basic XQuery
302 T 1 types resolved xpath Support for arbitrary XML documents
303 T 1 types resolved xpath Define "scale-down" mappings?
304 T 1 types resolved xpath Declare required conformance features?
305 T 1 types resolved xpath Schema Import Feature prerequisite for Static Typing Feature?
306 T 1 types resolved xpath PSVI to Data Model mapping part of normative text?
307 T 1 types decided xpath Schema Types from input documents?
308 T 1 types decided xpath Type Soundness
309 T 1 types resolved xpath What should be the type of an error value?
310 T 1 types decided xquery Are the children of a newly constructed element typed?
311 1 whitespace decided xquery Whitespace and Attribute Constructors
312 T 1 types resolved xquery What to do about list types?
313 T 1 types resolved xquery What to do about union types?
314 T 1 types subsumed xquery Partial support for SCHEMA IMPORT in Basic XQuery?
315 1 syntax resolved xpath Whitespace allowed in the name of a variable!
316 T 1 types decided xpath Is anySimpleType = anySimpleType*?
317 1 extensions decided xquery XQuery Extension Mechanisms
318 1 sort decided xquery Add 'order by' clause to FLWR?
319 1 namespaces decided xquery Namespace definitions and in-scope namespaces
320 T 1 types decided xquery Should different conformance levels give the same result for the same query and data?
321 1 validate decided xquery Is validate strict or lax?
322 1 validate decided xquery "validate" strict/lax override?
323 1 resolved xpath Should "unordered" be included in XPath?
324 1 variables resolved xquery How can variables be bound external to XQuery itself?
325 T 1 types decided xpath Refering to element that is not in the in-scope schema def.
326 T 1 types subsumed xpath Semantics of element foo of type T
327 1 functions decided xpath Evaluate unused function parameters?
328 1 cdata section decided xquery What does CDATA section constructor construct?
329 1 constructors decided xquery Duplicate attribute constructors
330 T 1 types resolved xquery Should "some" do type filtering?
331 T 1 types resolved xpath Static vs. dynamic dispatch for arithmetics
332 1 types resolved xpath Schema Import, Static Typing: what is interoperable?
333 1 conformance subsumed xpath Optional Features vs. Conformance Levels
334 T 1 type-semantics decided xpath How are documents for which validation has failed processed?
335 1 formal-semantics decided xpath XPath/XQuery's current semantics greatly interferes with optimization
336 1 editorial postponed all Markup in documents for errors
337 1 editorial postponed all Add markup in documents for errors
338 1 whitespace decided xquery Handling of whitespace and character references
339 2 errors decided xquery Error type for attributes constructed too late
340 1 errors decided xpath How to identify errors?
341 1 syntax decided xpath Problems with SequenceType
342 o-1 grammar resolved xquery Prolog syntax
343 1 namespaces decided xpath Do functions in the null namespace clash with functions in the default namespace?
344 1 resolved formal-semantics Attributes
345 1 resolved formal-semantics Namespaces
346 1 resolved formal-semantics Document Order
347 1 resolved formal-semantics References vs containment
348 1 resolved formal-semantics Element identity
349 1 resolved formal-semantics Source and join syntax instead of "for"
350 1 resolved formal-semantics References: IDREFS, Keyrefs, Joins
351 1 resolved formal-semantics Fixed point operator or recursive functions
352 1 resolved formal-semantics Externally defined functions
353 1 resolved formal-semantics Construct values by copy
354 1 Static typing resolved formal-semantics XPath tumbler syntax instead of index?
355 1 resolved formal-semantics GroupBy - needs second order functions?
356 1 resolved formal-semantics Collations
357 1 resolved formal-semantics Polymorphic types
358 1 resolved formal-semantics 3-valued logic to support NULLs
359 1 resolved formal-semantics Mixed content
360 1 resolved formal-semantics Unordered content
361 1 resolved formal-semantics Align algebra types with schema
362 1 resolved formal-semantics Support derived types
363 1 resolved formal-semantics Structural vs. name equivalence
364 1 resolved formal-semantics Syntax
365 1 resolved formal-semantics Indentation, Whitespaces
366 1 resolved formal-semantics Catch exceptions and process in algebra?
367 1 resolved formal-semantics Value for empty sequences
368 1 resolved formal-semantics Treatment of empty results at type level
369 1 resolved formal-semantics Project - one tag only
370 1 resolved formal-semantics Case syntax
371 1 resolved formal-semantics Fusion
372 1 resolved formal-semantics Views
373 1 resolved formal-semantics Automatic type coercion
374 1 resolved formal-semantics Recursive functions
375 1 resolved formal-semantics Full regular path expressions
376 1 resolved formal-semantics Metadata Queries
377 1 resolved formal-semantics Fusion
378 1 resolved formal-semantics Exception handling
379 1 resolved formal-semantics Global-order based operators
380 1 resolved formal-semantics Copy vs identity semantics
381 1 resolved formal-semantics Copy by reachability
382 1 resolved formal-semantics Dereferencing semantics
383 1 resolved formal-semantics Case Syntax
384 1 resolved formal-semantics Sorting
385 1 resolved formal-semantics GroupBy
386 1 resolved formal-semantics Recursive Descent for XPath
387 1 resolved formal-semantics Keys and IDREF
388 1 resolved formal-semantics Global Order
389 1 resolved formal-semantics FOR Syntax
390 1 resolved formal-semantics Attributes
391 1 resolved formal-semantics Explicit Type Declarations
392 1 resolved formal-semantics Unordered Collections
393 1 resolved formal-semantics Recursive Descent for XPath
394 1 resolved formal-semantics Project redundant?
395 1 resolved formal-semantics Axes of XPath
396 1 resolved formal-semantics Global vs. local elements
397 1 resolved formal-semantics Global vs. local complex types
398 1 resolved formal-semantics Types with non-wellformed instances
399 1 resolved formal-semantics Operators on Simple Types
400 1 resolved formal-semantics More precise type system; choice in path
401 1 resolved formal-semantics Downward Navigation only?
402 1 resolved formal-semantics Testing Subtyping
403 1 resolved formal-semantics Internationalization aspects for strings
404 1 resolved formal-semantics Model for References
405 1 resolved formal-semantics Open questions for constructing elements by reference
406 1 resolved formal-semantics Do we need (user defined) higher order functions?
407 1 resolved formal-semantics Error code handling in Query Algebra
408 1 resolved formal-semantics Built-In GroupBy?
409 1 resolved formal-semantics Shallow or Deep Equality?
410 1 resolved formal-semantics Runtime Casts
411 1 resolved formal-semantics Document Collections
412 1 resolved formal-semantics Organization of Document
413 1 resolved formal-semantics Stable vs. Unstable Sort/Distinct
414 1 resolved formal-semantics Alignment with the XML Query Datamodel
415 1 Language resolved formal-semantics Facet value access in Query Algebra
416 1 Static typing resolved formal-semantics Facets for simple types and their role for typechecking
417 1 resolved formal-semantics Operational semantics for expressions
418 1 resolved formal-semantics Overloading user defined functions
419 1 resolved formal-semantics Unordered types
420 1 resolved formal-semantics Interleaved repetition and closure
421 1 resolved formal-semantics Generation of ambiguous types
422 1 resolved formal-semantics Global order between nodes in different documents
423 1 Static typing postponed formal-semantics Typing of parent
424 1 resolved formal-semantics Lexical representation of Schema simple types
425 1 resolved formal-semantics Type and expression operator precedence
426 1 resolved formal-semantics Expressive power and complexity of typeswitch expression
427 1 resolved formal-semantics Execution model
428 1 resolved formal-semantics Semantics of Wildcard type
429 1 resolved formal-semantics Syntactic rules
430 1 resolved formal-semantics More examples of Joins
431 1 resolved formal-semantics Align [XPath/XQuery] types with XML Schema : Formal Description.
432 1 subsumed formal-semantics Syntax for types in XQuery
433 1 resolved formal-semantics Static type-assertion expression
434 1 resolved formal-semantics Attribute expression
435 1 resolved formal-semantics Error expression
436 1 resolved formal-semantics Representation of Text Nodes in type system
437 1 Semantics resolved formal-semantics Static type errors and warnings
438 1 resolved formal-semantics Importing Schemas and DTDs into query
439 1 resolved formal-semantics Support for schema-less and incompletely validated documents
440 1 resolved formal-semantics Static type-checking vs. Schema validation
441 1 Semantics decided formal-semantics Implementation of and conformance levels for static type checking
442 1 resolved formal-semantics Incomplete/inconsistent mapping from [XPath/XQuery] to core
443 1 Semantics? resolved formal-semantics Namespace resolution
444 1 resolved