Merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba

[Juan Zacarias]

Fixes for nilled function

Fixes for nilled function

[Sorin Marian Nasoi (sorin.marian.nasoi)]

Only 7 of the failures were fixed (as you can see from the changes in 'test/fots/CMakeLists.txt').

There are 8 more failures and, from what I've seen all check the behaviour of the fn:nilled in XQuery 1.1 (please see that there is a XQ10 dependency for these tests).

This is the <a href="http://www.w3.org/TR/2009/WD-xpath-functions-11-20091215/#func-nilled">fn:nilled spec in XQuery 1.1</a> and this in the <a href="http://www.w3.org/TR/xpath-functions-30/#func-nilled">fn:nilled spec in XQuery 3.0</a>.

review: Needs Fixing

[Juan Zacarias (juan457)]

I will take a look of this but if I am not wrong the ones failing are not actually using the function nilled. not sure why these tests are done for nilled but I will take a look.

And actually not only 7 tests were solved the whole function was actually broken it had a behavior in which it always returned false so all the tests that expected a false response were passing.

[Sorin Marian Nasoi (sorin.marian.nasoi)]

> I will take a look of this but if I am not wrong the ones failing are not
> actually using the function nilled. not sure why these tests are done for
> nilled but I will take a look.
Please look in
http://bazaar.launchpad.net/~zorba-coders/zorba/bug1147563/revision/11279
Line 336 to 340, line 342, 344 and 345.
Those are the 8 fn:nilled test cases I am referring to as still failing.

> And actually not only 7 tests were solved the whole function was actually
> broken it had a behavior in which it always returned false so all the tests
> that expected a false response were passing.
After your fix, there were 7 progressions:
Please see
http://bazaar.launchpad.net/~zorba-coders/zorba/bug1147563/revision/11279
Lines 333, 334, 335, 341, 343, 346 and 347.
These are the 7 test cases I am referring to as progressions.

[Juan Zacarias (juan457)]

Hi,

I fixed all the tests including the ones that were not using fn:nill and were using fn:data and instance of functions, this functions should work now correctly with nilled documents now. I am not sure if this 2 functions had errors of their own when handling nilled elements, if so they should be working now.

There is just one test failing though I think is a FOTs driver problem.
fn-nilled-49
The problem is that the query throws an error because a function in the main module is described like this

variable $queryID := xqxq:prepare-main-module
(
'
xquery version "1.0";
declare default element namespace "http://www.w3.org/XQueryTest/nillable";
        import schema default element namespace "http://www.w3.org/XQueryTest/nillable";
       /root/branch/date instance of element(*, date?)
'
, (), mapper:uri-mapper#2
);

thus throwing an error because of 2 references as default namespace. I am not sure why this happen or if this should work, but is the only example which imports the schema as a default element namespace together with a delcaration of an element namespace.

All the other tests are working.

[Chris Hillery (ceejatec)]

Juan - I've updated the branch to remove the EXPECTED_FOTS_FAILURE()s for 8 more tests - fn-nilled-38, 39, 41, 44, 45, 47, 51, and 52. Sorin, please confirm that these are the tests you mentioned (your link above doesn't go anywhere useful, I'm afraid).

Also Juan - at least here I don't see any problem with fn-nilled-49. It's not marked EXPECTED_FOTS_FAILURE() and it passes. I'll try running it through the queue.

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-03-27T01-37-02.629Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-03-27T01-37-02.629Z is finished. The
  final status was:

  86 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Attempt to merge into lp:zorba failed due to conflicts:

text conflict in test/fots/CMakeLists.txt

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-01T17-49-41.587Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-01T17-49-41.587Z is finished. The
  final status was:

  85 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-01T20-46-44.342Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-01T20-46-44.342Z is finished. The
  final status was:

  370 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-01T22-19-51.324Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-01T22-19-51.324Z is finished. The
  final status was:

  62 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-02T21-06-57.343Z/log.html

[Sorin Marian Nasoi (sorin.marian.nasoi)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-02T21-06-57.343Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Markos Zaharioudakis (markos-za)]

I will work on doing the required fixes.

review: Needs Fixing

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-09T12-18-00.681Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-09T12-18-00.681Z is finished. The
  final status was:

  48 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-10T01-07-48.536Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-10T01-07-48.536Z is finished. The
  final status was:

  48 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-10T08-46-10.479Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-10T08-46-10.479Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

There are additional revisions which have not been approved in review. Please seek review and approval of these new revisions.

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-11T22-49-55.328Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-11T22-49-55.328Z is finished. The
  final status was:

  No tests were run - build or configure step must have failed.

  Not commiting changes.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-12T00-25-59.104Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-12T00-25-59.104Z is finished. The
  final status was:

  112 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-12T16-30-06.66Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-12T16-30-06.66Z is finished. The
  final status was:

  47 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-15T23-46-04.439Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-15T23-46-04.439Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Markos Zaharioudakis (markos-za)]

review: Approve

[Cezar Andrei (cezar-andrei)]

A few comments:
 - for following method, getting the type of the content of a global element shouldn't have anything to do with element's nillable property. Please add a different method to return the nillable of a global element or it's definition.

void Schema::getTypeNameFromElementName(
 const store::Item* qname,
 store::Item_t& typeName,
>>> + bool& nillable,
 const QueryLoc& loc);

Same comment goes for:
 - CTX_TM->get_schema_element_typename(elemQNameItem, typeQNameItem, nillable, loc);
 - Schema:: createXQTypeFromElementName(typeManager,
503 + sourceNode->getNodeName(),
504 + false,
505 + nillable,
506 + loc);

review: Needs Fixing

[Markos Zaharioudakis (markos-za)]

> A few comments:
> - for following method, getting the type of the content of a global element
> shouldn't have anything to do with element's nillable property. Please add a
> different method to return the nillable of a global element or it's
> definition.
>
> void Schema::getTypeNameFromElementName(
> const store::Item* qname,
> store::Item_t& typeName,
> >>> + bool& nillable,
> const QueryLoc& loc);
>
> Same comment goes for:
> - CTX_TM->get_schema_element_typename(elemQNameItem, typeQNameItem,
> nillable, loc);
> - Schema:: createXQTypeFromElementName(typeManager,
> 503 + sourceNode->getNodeName(),
> 504 + false,
> 505 + nillable,
> 506 + loc);

Adding a second method is unnecessary overhead, as the callers of these methods need both the type and the nillable property of a global element declaration. Intead, I have changed the names of these methods to better reflect what they do and how they are used.

[Cezar Andrei (cezar-andrei)]

I still think that the overhead of an extra call makes the code more readable and it's worth it in the long run. Still the nillable is not a property of the type of the element but of the element itself.

Please leave the create word in "createXQTypeFromElementName", these methods have side effects they aren't just simple gets and I think a good name should tell this. A more correct name for this method would be: createXQTypeFromElementNameAndGetNillable. But I still think makes more sense to have them separate and leave the compiler do the optimizations for this case.

At least leave createXQTypeFromElementName name if you think the first part has a significant effect on performance.

review: Needs Fixing

[Markos Zaharioudakis (markos-za)]

> I still think that the overhead of an extra call makes the code more readable
> and it's worth it in the long run. Still the nillable is not a property of the
> type of the element but of the element itself.
>
> Please leave the create word in "createXQTypeFromElementName", these methods
> have side effects they aren't just simple gets and I think a good name should
> tell this. A more correct name for this method would be:
> createXQTypeFromElementNameAndGetNillable. But I still think makes more sense
> to have them separate and leave the compiler do the optimizations for this
> case.
>
> At least leave createXQTypeFromElementName name if you think the first part
> has a significant effect on performance.

I am sorry but I disagree. The callers of these methods want to get both type info (either just the name or a full XQType) and the nillable property from a global declaration. Why make two calls for this, when the two calls make almost the same work underneath? Maybe it doesn't make too much difference in the overall query performance, but it's not good coding practice, IMO. I can rename the methods to "getInfoFromGlobalElementDecl" if you think that makes them more readable. And if in the future a new caller needs only the type info or only the nillable info, we can add new methods that return just the needed info.

By the way, in validate.cpp line 207 and 268 there are calls to getTypeInfoFromGlobalElementDecl() that look like noops to me, because they just discard the returned XQType and do not raise any exception if the declaration is not found. Do I miss something?

[Cezar Andrei (cezar-andrei)]

1. Sounds good.

2. It's exactly what I'm talking about, since it's called getTypeInfo...() and not createType...() it looks like a noop. It does actually do something which is also described in the previous line comments: "// ask for the type of the root element to populate the cache with anonymous types". That's why I want to keep the createType.. name.

[Markos Zaharioudakis (markos-za)]

> 1. Sounds good.
>
> 2. It's exactly what I'm talking about, since it's called getTypeInfo...() and
> not createType...() it looks like a noop. It does actually do something which
> is also described in the previous line comments: "// ask for the type of the
> root element to populate the cache with anonymous types". That's why I want to
> keep the createType.. name.

Ah, thanks for the clarification. But I had the same question even before I changed the names. So, to me at least, the createType...() name gives no indication about the side effect. And the comment did not help either because since the method does return a type, I thought the caller was supposed to take *that* type and then put it into the cache himself. I will take a closer look at the code and see if I can up with a better solution.

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T11-37-52.12Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T11-37-52.12Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T12-53-52.402Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T12-53-52.402Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T13-30-59.452Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T13-30-59.452Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Zorba Build Bot (zorba-buildbot)]

There are additional revisions which have not been approved in review. Please seek review and approval of these new revisions.

[Sorin Marian Nasoi (sorin.marian.nasoi)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T14-50-48.718Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T14-50-48.718Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Sorin Marian Nasoi (sorin.marian.nasoi)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T17-28-56.159Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T17-28-56.159Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Sorin Marian Nasoi (sorin.marian.nasoi)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-23T18-48-53.864Z/log.html

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-23T18-48-53.864Z is finished. The
  final status was:

  1 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[Sorin Marian Nasoi (sorin.marian.nasoi)]

Please see https://bugs.launchpad.net/zorba/+bug/1147563/comments/3

review: Needs Fixing

[Cezar Andrei (cezar-andrei)]

Looks good.
It will most likely not pass in the current remote queue setup because it's still running libxercesc 2.8). It has been tested with libxerces 3.1.1 and is running correctly, should pass when Chris will update remote queue to use the newer xerces.

review: Approve

[Cezar Andrei (cezar-andrei)]

In trunk at least the following tests are passing: cbcl-schema-element-1 2,4,5,8. Which makes them a regression.

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for merge proposal.
Log at: http://zorbatest.lambda.nu:8080/remotequeue/bug1147563-2013-04-25T00-35-04.776Z/log.html

[Chris Hillery (ceejatec)]

Guys, FYI, this RQ run is running with Xerces 3.1.1. Look for any test progressions/regressions.

[Zorba Build Bot (zorba-buildbot)]

The attempt to merge lp:~zorba-coders/zorba/bug1147563 into lp:zorba failed. Below is the output from the failed tests.

CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 (message):
  Validation queue job bug1147563-2013-04-25T00-35-04.776Z is finished. The
  final status was:

  2 tests did not succeed - changes not commited.

Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

[lp:~zorba-coders/zorba/bug1147563]

11311. By sorin.marian.nasoi <email address hidden> on 2013-04-25

- reverted changes to import_w3c_update_testsuite script.

11312. By sorin.marian.nasoi <email address hidden> on 2013-04-25

- merge lp:zorba trunk

11313. By sorin.marian.nasoi <email address hidden> on 2013-04-25

Merged lp:~zorba-coders/zorba/bug1147563,

[Cezar Andrei (cezar-andrei)]

Status of the last run:
- Passing but marked as expected failure:
  - prod-CastExpr/CastAs674a
  - prod-CastExpr/CastAsNamespaceSensitiveType-10
  - prod-CastExpr/K-SeqExprCast-71b

- WrongError
  - prod-CastExpr/CastAs675a - Expected error: XPTY0117. Found error: XPTY0004
  - prod-CastExpr/CastAsNamespaceSensitiveType-1 - Expected error: XPTY0117. Found error: XPTY0004
  - prod-CastExpr/CastAsNamespaceSensitiveType-2 - Expected error: XPTY0117. Found error: XPTY0004
  - prod-CastExpr/CastAsNamespaceSensitiveType-8 - Expected error: XPTY0117. Found error: FORG0001
  - prod-CastExpr/CastAsNamespaceSensitiveType-9 - Expected error: XPTY0117. Found error: FORG0001
  - prod-CastExpr/CastAsNamespaceSensitiveType-11 - Expected error: XPTY0117. Found error: XPTY0004
  - prod-CastExpr/CastAsNamespaceSensitiveType-12 - Expected error: XPTY0117. Found error: XPTY0004
  - prod-CastExpr/K-SeqExprCast-4a - Expected error: XPST0080. Found error: ZXQP0002
  - prod-CastExpr/K-SeqExprCast-422a - Expected error: FORG0001. Found error: XPTY0004

And test w3c_update_testsuite/XQueryX/ValTrans/revalidate-valtrans-ins-003 is reported as failed but the details show:

Test output

test w3c_update_testsuite/XQueryX/ValTrans/revalidate-valtrans-ins-003

updtestdriver: success

Sorin, can you take a look at revalidate-valtrans-ins-003?

[lp:~zorba-coders/zorba/bug1147563]

11314. By sorin.marian.nasoi <email address hidden> on 2013-04-29

Merged lp:~zorba-coders/zorba/bug1123835.

11315. By sorin.marian.nasoi <email address hidden> on 2013-04-30

- merge lp:zorba trunk after fixing conflits

11316. By sorin.marian.nasoi <email address hidden> on 2013-04-30

- reverted changes dune in r11314.

Unmerged revisions

=== modified file 'ChangeLog'
--- ChangeLog	2013-04-23 14:35:32 +0000
+++ ChangeLog	2013-04-23 20:40:48 +0000
@@ -48,6 +48,8 @@
   * Fixed bug #1124273 (xqdoc crash because of annotation literals)
   * Fixed bug #1085408 (xs:date(): casting large year values)
   * Fixed bug #867027 (XQST0059 error messages inconsistent)
+  * Fixed fn:nilled function
+  * Fixed bug concerning nillability during sequnce type matching.
   * Fixed bug #1095889 (Improve error message for xml-parsing error).
   * Fixed bug #1131984 (apparently invalid regex in queries)
   * Fixed bug #1123163 (fn:format-integer failures)
 
=== modified file 'src/compiler/translator/translator.cpp'
--- src/compiler/translator/translator.cpp	2013-04-23 13:20:31 +0000
+++ src/compiler/translator/translator.cpp	2013-04-23 20:40:48 +0000
@@ -293,9 +293,13 @@
 {
 public:
   CompilerCB                        * theCCB;
+
   hashmap<zstring, static_context_t>  mod_sctx_map;
+
   hashmap<zstring, zstring>           mod_ns_map;
-  checked_vector<expr*>              theInitExprs;
+
+  checked_vector<expr*>               theInitExprs;
+
   std::auto_ptr<static_context>       globalSctx;
 
 public:
@@ -14146,13 +14150,15 @@
 
   if (axisExpr != NULL)
   {
+    bool nillable;
     store::Item_t typeQNameItem;
-    CTX_TM->get_schema_element_typename(elemQNameItem, typeQNameItem, loc);
+    CTX_TM->get_schema_element_typeinfo(elemQNameItem, typeQNameItem, nillable, loc);
 
     match_expr* match = theExprManager->create_match_expr(theRootSctx, theUDF, loc);
     match->setTestKind(match_xs_elem_test);
     match->setQName(elemQNameItem);
     match->setTypeName(typeQNameItem);
+    match->setNilledAllowed(nillable);
 
     axisExpr->setTest(match);
   }
@@ -14270,7 +14276,7 @@
   if (axisExpr != NULL)
   {
     store::Item_t typeQNameItem;
-    CTX_TM->get_schema_attribute_typename(attrQNameItem, typeQNameItem, loc);
+    CTX_TM->get_schema_attribute_typeinfo(attrQNameItem, typeQNameItem, loc);
 
     match_expr* match = theExprManager->create_match_expr(theRootSctx, theUDF, loc);
     match->setTestKind(match_xs_attr_test);
 
=== modified file 'src/runtime/accessors/accessors_impl.cpp'
--- src/runtime/accessors/accessors_impl.cpp	2013-03-15 08:22:41 +0000
+++ src/runtime/accessors/accessors_impl.cpp	2013-04-23 20:40:48 +0000
@@ -105,8 +105,15 @@
   {
     if (inNode->isNode())
     {
-      result = inNode->getNilled();
-      STACK_PUSH(result != NULL, state);
+      if (inNode->getNodeKind() == store::StoreConsts::elementNode)
+      {
+        GENV_ITEMFACTORY->createBoolean(result, inNode->getNilled());
+        STACK_PUSH(true, state);
+      }
+      else
+      {
+        STACK_PUSH(false, state);
+      }
     }
     else
     {
@@ -240,6 +247,8 @@
   }
 
   state->theTypedValueIter = 0; // TODO remove???
+
+ done:
   STACK_END(state);
 }
 
 
=== modified file 'src/runtime/core/path_iterators.cpp'
--- src/runtime/core/path_iterators.cpp	2013-04-08 15:07:13 +0000
+++ src/runtime/core/path_iterators.cpp	2013-04-23 20:40:48 +0000
@@ -313,7 +313,7 @@
 
       if ((!TypeOps::is_subtype(sctx->get_typemanager(), *atype, *theType)) ||
           (theNilledAllowed == false &&
-           node->getNilled()->getBooleanValue() == true))
+           node->getNilled() == true))
       {
         return false;
       }
@@ -338,7 +338,7 @@
 
     if ((!TypeOps::is_subtype(sctx->get_typemanager(), *atype, *theType)) ||
         (theNilledAllowed == false &&
-         node->getNilled()->getBooleanValue() == true))
+         node->getNilled() == true))
       return false;
 
     return true;
 
=== modified file 'src/runtime/core/sequencetypes.cpp'
--- src/runtime/core/sequencetypes.cpp	2013-04-18 08:47:43 +0000
+++ src/runtime/core/sequencetypes.cpp	2013-04-23 20:40:48 +0000
@@ -84,7 +84,7 @@
   store::Item_t item;
   TypeConstants::quantifier_t quant;
   bool res = false;
-
+  store::Item_t temp;
   const TypeManager* tm = theSctx->get_typemanager();
 
   PlanIteratorState* state;
 
=== modified file 'src/runtime/visitors/printer_visitor_impl.cpp'
--- src/runtime/visitors/printer_visitor_impl.cpp	2013-03-27 07:55:14 +0000
+++ src/runtime/visitors/printer_visitor_impl.cpp	2013-04-23 20:40:48 +0000
@@ -208,21 +208,6 @@
   thePrinter.endEndVisit();
 }
 
-void PrinterVisitor::beginVisit ( const TreatIterator& a )
-{
-  thePrinter.startBeginVisit("TreatIterator", ++theId);
-  if (a.theCheckPrime)
-    thePrinter.addAttribute("type", a.theTreatType->toString());
-  thePrinter.addAttribute("quant", TypeOps::decode_quantifier(a.theQuantifier));
-  printCommons( &a, theId );
-  thePrinter.endBeginVisit(theId);
-}
-
-void PrinterVisitor::endVisit ( const TreatIterator& )
-{
-  thePrinter.startEndVisit();
-  thePrinter.endEndVisit();
-}
 
 void PrinterVisitor::beginVisit ( const NumArithIterator<AddOperation>& a )
 {
@@ -1176,6 +1161,7 @@
   thePrinter.endEndVisit();
 }
 
+
 void PrinterVisitor::beginVisit(const PromoteIterator& a)
 {
   thePrinter.startBeginVisit("PromoteIterator", ++theId);
@@ -1192,6 +1178,24 @@
   thePrinter.endEndVisit();
 }
 
+
+void PrinterVisitor::beginVisit ( const TreatIterator& a )
+{
+  thePrinter.startBeginVisit("TreatIterator", ++theId);
+  if (a.theCheckPrime)
+    thePrinter.addAttribute("type", a.theTreatType->toString());
+  thePrinter.addAttribute("quant", TypeOps::decode_quantifier(a.theQuantifier));
+  printCommons( &a, theId );
+  thePrinter.endBeginVisit(theId);
+}
+
+void PrinterVisitor::endVisit ( const TreatIterator& )
+{
+  thePrinter.startEndVisit();
+  thePrinter.endEndVisit();
+}
+
+
 void PrinterVisitor::beginVisit(const CastableIterator& a)
 {
   thePrinter.startBeginVisit("CastableIterator", ++theId);
 
=== modified file 'src/store/api/item.h'
--- src/store/api/item.h	2013-04-08 00:44:26 +0000
+++ src/store/api/item.h	2013-04-23 20:40:48 +0000
@@ -674,7 +674,7 @@
   /** Accessor for element node
    *  @return  boolean?
    */
-  virtual Item_t
+  virtual bool
   getNilled() const;
 
   /** Accessor for document node, element node, attribute node, namespace node,
 
=== modified file 'src/store/naive/item.cpp'
--- src/store/naive/item.cpp	2013-04-08 00:44:26 +0000
+++ src/store/naive/item.cpp	2013-04-23 20:40:48 +0000
@@ -976,7 +976,7 @@
 }
 
 
-store::Item_t Item::getNilled() const
+bool Item::getNilled() const
 {
   throw ZORBA_EXCEPTION(
     zerr::ZSTR0050_FUNCTION_NOT_IMPLEMENTED_FOR_ITEMTYPE,
 
=== modified file 'src/store/naive/node_items.cpp'
--- src/store/naive/node_items.cpp	2013-04-17 12:37:36 +0000
+++ src/store/naive/node_items.cpp	2013-04-23 20:40:48 +0000
@@ -2968,6 +2968,17 @@
     {
       zstring rch;
       getStringValue2(rch);
+
+      if (rch.empty())
+      {
+        if (getNilled())
+        {
+          val = NULL;
+          iter = NULL;
+          return;
+        }
+      }
+
       GET_FACTORY().createUntypedAtomic(val, rch);
     }
   }
@@ -3048,17 +3059,15 @@
 /*******************************************************************************
 
 ********************************************************************************/
-store::Item_t ElementNode::getNilled() const
+bool ElementNode::getNilled() const
 {
   store::Item_t val;
 
   if (getType()->equals(GET_STORE().XS_UNTYPED_QNAME))
-  {
-    GET_FACTORY().createBoolean(val, false);
-    return val;
-  }
+    return false;
 
-  bool nilled = true;
+  if (!isValidated())
+    return false;
 
   const_iterator ite = childrenBegin();
   const_iterator end = childrenEnd();
@@ -3068,38 +3077,31 @@
     if ((*ite)->getNodeKind() == store::StoreConsts::elementNode ||
         (*ite)->getNodeKind() == store::StoreConsts::textNode)
     {
-      nilled = false;
-      break;
+      return false;
     }
   }
 
-  if (!nilled)
-  {
-    GET_FACTORY().createBoolean(val, false);
-    return val;
-  }
-
-  nilled = false;
-
-  //const char* xsi = "http://www.w3.org/2001/XMLSchema-instance";
-  //ulong xsilen = strlen(xsi);
-
   ite = attrsBegin();
   end = attrsEnd();
 
   for (; ite != end; ++ite)
   {
     XmlNode* attr = *ite;
-    if (ZSTREQ(attr->getNodeName()->getNamespace(), "xsi") &&
-        ZSTREQ(attr->getNodeName()->getLocalName(), "nil"))
+
+    zstring strval;
+    attr->getStringValue2(strval);
+
+    if (ZSTREQ(attr->getNodeName()->getNamespace(),
+               "http://www.w3.org/2001/XMLSchema-instance") &&
+        ZSTREQ(attr->getNodeName()->getLocalName(), "nil") &&
+        (ZSTREQ(strval, "true") || ZSTREQ(strval, "1") ))
     {
-      nilled = true;
+      return true;
       break;
     }
   }
 
-  GET_FACTORY().createBoolean(val, nilled);
-  return val;
+  return false;
 }
 
 
 
=== modified file 'src/store/naive/node_items.h'
--- src/store/naive/node_items.h	2013-03-07 10:10:10 +0000
+++ src/store/naive/node_items.h	2013-04-23 20:40:48 +0000
@@ -500,12 +500,6 @@
 
   store::Item* copy(store::Item* parent, const store::CopyMode& copymode) const;
 
-  virtual store::Item_t getNilled() const 
-  {
-    assert(!isConnectorNode());
-    return 0; 
-  }
-
   virtual bool isId() const 
   {
     assert(!isConnectorNode());
@@ -1072,7 +1066,7 @@
 
   void appendStringValue(zstring& buf) const;
 
-  store::Item_t getNilled() const;
+  bool getNilled() const;
 
   store::Iterator_t getAttributes() const;
 
 
=== modified file 'src/types/root_typemanager.cpp'
--- src/types/root_typemanager.cpp	2013-03-20 18:39:54 +0000
+++ src/types/root_typemanager.cpp	2013-04-23 20:40:48 +0000
@@ -386,18 +386,21 @@
 #undef ATOMIC_TYPE_DEFN
 
   XS_NMTOKENS_TYPE = new UserDefinedXQType(this,
+                                           false,
                                            XS_NMTOKENS_QNAME,
                                            NULL,
                                            NMTOKEN_TYPE_ONE.getp(),
                                            true);
 
   XS_ENTITIES_TYPE = new UserDefinedXQType(this,
+                                           false,
                                            XS_ENTITIES_QNAME,
                                            NULL,
                                            ENTITY_TYPE_ONE.getp(),
                                            true);
 
   XS_IDREFS_TYPE = new UserDefinedXQType(this,
+                                         false,
                                          XS_IDREFS_QNAME,
                                          NULL,
                                          IDREF_TYPE_ONE.getp(),
 
=== modified file 'src/types/schema/schema.cpp'
--- src/types/schema/schema.cpp	2013-04-03 07:43:27 +0000
+++ src/types/schema/schema.cpp	2013-04-23 20:40:48 +0000
@@ -259,7 +259,8 @@
             
           return lRetval;
         }
-        else {
+        else
+        {
           // We didn't find it. If we return NULL here, Xerces will try to
           // resolve it its own way, which we don't want to happen.
           throw XQUERY_EXCEPTION(
@@ -271,7 +272,8 @@
           );
         }
       }
-      catch (ZorbaException const& e) {
+      catch (ZorbaException const& e)
+      {
         TRACE("!!! ZorbaException: " << e );
         if ( e.diagnostic() == zerr::ZXQP0029_URI_ACCESS_DENIED ||
              e.diagnostic() == err::XQST0059 )
@@ -518,82 +520,71 @@
 
 
 /*******************************************************************************
-  For the given element name find out its declared schema type
+  Find a global element declaration for a given element name and return the name
+  of the associated schema type and whether the element can be nillable.
+  Raise an error if no global element declaration is found for the given name.
 *******************************************************************************/
-void Schema::getTypeNameFromElementName(
+void Schema::getInfoFromGlobalElementDecl(
     const store::Item* qname,
     store::Item_t& typeName,
+    bool& nillable,
     const QueryLoc& loc)
 {
-  XSTypeDefinition* typeDef = getTypeDefForElement(qname);
+  XSElementDeclaration* decl = getDeclForElement(qname);
 
-  if (!typeDef)
+  if (!decl)
   {
     RAISE_ERROR(err::XPST0008, loc,
     ERROR_PARAMS(ZED(XPST0008_SchemaElementName_2), qname->getStringValue()));
   }
 
-  const XMLCh* typeNameStr = typeDef->getName();
-  const XMLCh* typeUri = typeDef->getNamespace();
-
-  GENV_ITEMFACTORY->createQName(typeName,
-                                StrX(typeUri).localForm(),
-                                "",
-                                StrX(typeNameStr).localForm());
-}
-
-
-/*******************************************************************************
-  For a given global attribute find out its declared schema type
-*******************************************************************************/
-void Schema::getTypeNameFromAttributeName(
-    const store::Item* qname,
-    store::Item_t& typeName,
-    const QueryLoc& loc)
-{
-  XSTypeDefinition* typeDef = getTypeDefForAttribute(qname);
-
-  if (!typeDef)
-  {
-    RAISE_ERROR(err::XPST0008, loc,
-    ERROR_PARAMS(ZED(XPST0008_SchemaAttributeName_2), qname->getStringValue()));
-  }
-
-  const XMLCh* typeNameStr = typeDef->getName();
-  const XMLCh* typeUri = typeDef->getNamespace();
-
-  GENV_ITEMFACTORY->createQName(typeName,
-                                StrX(typeUri).localForm(),
-                                "",
-                                StrX(typeNameStr).localForm());
-}
-
-
-/*******************************************************************************
-  Returns an XQType for a global schema element definition if defined,
-  otherwise NULL
-*******************************************************************************/
-xqtref_t Schema::createXQTypeFromElementName(
+  XSTypeDefinition* typeDef = decl->getTypeDefinition();
+
+  const XMLCh* typeNameStr = typeDef->getName();
+  const XMLCh* typeUri = typeDef->getNamespace();
+
+  GENV_ITEMFACTORY->createQName(typeName,
+                                StrX(typeUri).localForm(),
+                                "",
+                                StrX(typeNameStr).localForm());
+
+  nillable = decl->getNillable();
+}
+
+
+/*******************************************************************************
+  Find a global element declaration for a given element name and return an
+  XQType for the associated schema type and whether the element can be nillable.
+  Raise an error if the raiseErrors param is true and no global element
+  declaration is found for the given name.
+*******************************************************************************/
+xqtref_t Schema::createXQTypeFromGlobalElementDecl(
     const TypeManager* typeManager,
     const store::Item* qname,
-    const bool riseErrors,
+    const bool raiseErrors,
+    bool& nillable,
     const QueryLoc& loc)
 {
   TRACE("qn:" << qname->getLocalName() << " @ " <<
         qname->getNamespace() );
 
-  XSTypeDefinition* typeDef = getTypeDefForElement(qname);
+  XSElementDeclaration* decl = getDeclForElement(qname);
 
-  if (!riseErrors && !typeDef)
+  if (!raiseErrors && !decl)
       return NULL;
 
-  if (!typeDef)
+  if (!decl)
   {
     RAISE_ERROR(err::XPST0008, loc,
     ERROR_PARAMS(ZED(XPST0008_SchemaElementName_2), qname->getStringValue()));
   }
 
+  nillable = decl->getNillable();
+
+  XSTypeDefinition* typeDef = decl->getTypeDefinition();
+
   xqtref_t res = createXQTypeFromTypeDefinition(typeManager, typeDef);
+
   TRACE("res:" << res->get_qname()->getLocalName() << " @ " <<
         res->get_qname()->getNamespace());
 
@@ -602,18 +593,46 @@
 
 
 /*******************************************************************************
+  Find a global attribute declaration for a given attribute name and return the
+  name of the associated schema type. Raise an error if no global attribute
+  declaration is found for the given name.
+*******************************************************************************/
+void Schema::getInfoFromGlobalAttributeDecl(
+    const store::Item* qname,
+    store::Item_t& typeName,
+    const QueryLoc& loc)
+{
+  XSTypeDefinition* typeDef = getTypeDefForAttribute(qname);
+
+  if (!typeDef)
+  {
+    RAISE_ERROR(err::XPST0008, loc,
+    ERROR_PARAMS(ZED(XPST0008_SchemaAttributeName_2), qname->getStringValue()));
+  }
+
+  const XMLCh* typeNameStr = typeDef->getName();
+  const XMLCh* typeUri = typeDef->getNamespace();
+
+  GENV_ITEMFACTORY->createQName(typeName,
+                                StrX(typeUri).localForm(),
+                                "",
+                                StrX(typeNameStr).localForm());
+}
+
+
+/*******************************************************************************
   Returns an XQType for a global schema attribute definition if defined,
   otherwise NULL
 *******************************************************************************/
-xqtref_t Schema::createXQTypeFromAttributeName(
+xqtref_t Schema::createXQTypeFromGlobalAttributeDecl(
     const TypeManager* typeManager,
     const store::Item* qname,
-    const bool riseErrors,
+    const bool raiseErrors,
     const QueryLoc& loc)
 {
   XSTypeDefinition* typeDef = getTypeDefForAttribute(qname);
 
-  if (!riseErrors && !typeDef)
+  if (!raiseErrors && !typeDef)
       return NULL;
 
   if (!typeDef)
@@ -744,12 +763,10 @@
 
 
 /*******************************************************************************
-  Get the type definition for a globally declared element
+  Get the declaration for a globally declared element
 *******************************************************************************/
-XSTypeDefinition* Schema::getTypeDefForElement(const store::Item* qname)
+XSElementDeclaration* Schema::getDeclForElement(const store::Item* qname)
 {
-  XSTypeDefinition* typeDef = NULL;
-
   TRACE(" element qname: " << qname->getLocalName() << "@" <<
         qname->getNamespace());
 
@@ -762,25 +779,7 @@
   bool xsModelWasChanged;
   XSModel* model = theGrammarPool->getXSModel(xsModelWasChanged);
 
-  XSElementDeclaration* decl = model->getElementDeclaration(local, uri);
-
-  if (decl)
-  {
-    typeDef = decl->getTypeDefinition();
-
-    // this works only on the element that is a substitution,
-    // not on substitution base element
-    //XSElementDeclaration * substGroup =
-    //  decl->getSubstitutionGroupAffiliation();
-
-    //if ( substGroup )
-    //{
-    //    TRACE(" substitutionGroup qname: " << StrX(substGroup->getName()) <<
-    //      "@" << StrX(substGroup->getNamespace()) << "\n");
-    //}
-  }
-
-  return typeDef;
+  return model->getElementDeclaration(local, uri);
 }
 
 
@@ -868,6 +867,7 @@
         xqtref_t baseXQType = createXQTypeFromTypeDefinition(tm, baseTypeDef);
 
         xqtref_t xqType = new UserDefinedXQType(tm,
+                                                xsTypeDef->getAnonymous(),
                                                 qname,
                                                 baseXQType,
                                                 TypeConstants::QUANT_ONE,
@@ -903,6 +903,7 @@
         //    << endl; cout.flush();
 
         xqtref_t xqType = new UserDefinedXQType(tm,
+                                                xsTypeDef->getAnonymous(),
                                                 qname,
                                                 NULL,
                                                 itemXQType.getp());
@@ -958,6 +959,7 @@
         //std::cout << std::endl; std::cout.flush();
 
         xqtref_t xqType = new UserDefinedXQType(tm,
+                                                xsTypeDef->getAnonymous(),
                                                 qname,
                                                 baseXQType,
                                                 TypeConstants::QUANT_ONE,
@@ -1059,6 +1061,7 @@
       }
 
       xqtref_t xqType = new UserDefinedXQType(tm,
+                                              xsTypeDef->getAnonymous(),
                                               qname,
                                               baseXQType,
                                               TypeConstants::QUANT_ONE,
@@ -1310,9 +1313,10 @@
   bool xsModelWasChanged;
   XSModel* model = theGrammarPool->getXSModel(xsModelWasChanged);
 
-  XSNamedMap<XSObject> * typeDefs =
-      model->getComponents(XSConstants::TYPE_DEFINITION);
-  for( uint i = 0; i<typeDefs->getLength(); i++)
+  XSNamedMap<XSObject>* typeDefs =
+  model->getComponents(XSConstants::TYPE_DEFINITION);
+
+  for( uint i = 0; i < typeDefs->getLength(); i++)
   {
     XSTypeDefinition* typeDef = (XSTypeDefinition*)(typeDefs->item(i));
     checkForAnonymousTypesInType(typeManager, typeDef);
@@ -1529,6 +1533,7 @@
 
       xqtref_t xqType =
         xqtref_t(new UserDefinedXQType(typeManager,
+                                       xsTypeDef->getAnonymous(),
                                        qname,
                                        baseXQType,
                                        TypeConstants::QUANT_ONE,
 
=== modified file 'src/types/schema/schema.h'
--- src/types/schema/schema.h	2013-02-07 17:24:36 +0000
+++ src/types/schema/schema.h	2013-04-23 20:40:48 +0000
@@ -43,6 +43,7 @@
 namespace XERCES_CPP_NAMESPACE {
   class InputSource;
   class XSTypeDefinition;
+  class XSElementDeclaration;
   class XSParticle;
   class XMLGrammarPool;
 }
@@ -106,31 +107,33 @@
 
   void registerXSD(
         const char* xsdURL,
-        static_context * aSctx,
-        internal::StreamResource* aStreamResource,
+        static_context* sctx,
+        internal::StreamResource* streamResource,
         const QueryLoc& loc);
 
   void getSubstitutionHeadForElement(
         const store::Item* qname,
         store::Item_t& result);
 
-  void getTypeNameFromElementName(
-        const store::Item* qname,
-        store::Item_t& typeName,
-        const QueryLoc& loc);
-
-  void getTypeNameFromAttributeName(
-        const store::Item* qname,
-        store::Item_t& typeName,
-        const QueryLoc& loc);
-
-  xqtref_t createXQTypeFromElementName(
+  void getInfoFromGlobalElementDecl(
+        const store::Item* qname,
+        store::Item_t& typeName,
+        bool& nillable,
+        const QueryLoc& loc);
+
+  xqtref_t createXQTypeFromGlobalElementDecl(
         const TypeManager* typeManager,
         const store::Item* qname,
-        const bool riseErrors,
-        const QueryLoc& loc);
-
-  xqtref_t createXQTypeFromAttributeName(
+        const bool raiseErrors,
+        bool& nillable,
+        const QueryLoc& loc);
+
+  void getInfoFromGlobalAttributeDecl(
+        const store::Item* qname,
+        store::Item_t& typeName,
+        const QueryLoc& loc);
+
+  xqtref_t createXQTypeFromGlobalAttributeDecl(
         const TypeManager* typeManager,
         const store::Item* qname,
         const bool riseErrors,
@@ -194,11 +197,11 @@
 private:
 
 #ifndef ZORBA_NO_XMLSCHEMA
-  XERCES_CPP_NAMESPACE::XSTypeDefinition*
-    getTypeDefForElement(const store::Item* qname);
+  XERCES_CPP_NAMESPACE::XSElementDeclaration* getDeclForElement(
+      const store::Item* qname);
 
-  XERCES_CPP_NAMESPACE::XSTypeDefinition*
-    getTypeDefForAttribute(const store::Item* qname);
+  XERCES_CPP_NAMESPACE::XSTypeDefinition* getTypeDefForAttribute(
+      const store::Item* qname);
 
   xqtref_t createXQTypeFromTypeDefinition(
         const TypeManager* typeManager,
 
=== modified file 'src/types/schema/validate.cpp'
--- src/types/schema/validate.cpp	2013-02-07 17:24:36 +0000
+++ src/types/schema/validate.cpp	2013-04-23 20:40:48 +0000
@@ -193,20 +193,22 @@
     {
       schemaValidator.startDoc();
       
-      // ask for the type of the root element to populate
-      // the cache with anonymous types
       store::Iterator_t children = sourceNode->getChildren();
       store::Item_t child;
       while ( children->next(child) )
       {
+        // ask for the type of the element. We don't really need this type here,
+        // but a side-effect of this call is to add the type to the cache.
         if ( child->isNode() &&
              child->getNodeKind()==store::StoreConsts::elementNode )
         {
+          bool nillable;
           typeManager->getSchema()->
-            createXQTypeFromElementName(typeManager,
-                                        child->getNodeName(),
-                                        false,
-                                        loc);
+          createXQTypeFromGlobalElementDecl(typeManager,
+                                            child->getNodeName(),
+                                            false,
+                                            nillable,
+                                            loc);
           break;
         }
       }
@@ -259,13 +261,15 @@
       //cout << "Validate element" << "\n"; cout.flush();
       schemaValidator.startDoc();
 
-      // ask for the type of the root element to populate the cache
-      // with anonymous types
+      // ask for the type of the element. We don't really need this type here,
+      // but a side-effect of this call is to add the type to the cache.
+      bool nillable;
       typeManager->getSchema()->
-        createXQTypeFromElementName(typeManager,
-                                    sourceNode->getNodeName(),
-                                    false,
-                                    loc);
+      createXQTypeFromGlobalElementDecl(typeManager,
+                                        sourceNode->getNodeName(),
+                                        false,
+                                        nillable,
+                                        loc);
     }
     
     store::Item_t newElem = processElement(sctx,
 
=== modified file 'src/types/typeimpl.cpp'
--- src/types/typeimpl.cpp	2013-03-22 00:38:18 +0000
+++ src/types/typeimpl.cpp	2013-04-23 20:40:48 +0000
@@ -29,6 +29,7 @@
 #include "zorbaserialization/serialize_template_types.h"
 #include "zorbaserialization/serialize_zorba_types.h"
 
+#include "store/api/iterator.h"
 
 namespace zorba
 {
@@ -718,11 +719,11 @@
     bool builtin)
   :
   XQType(manager, NODE_TYPE_KIND, quantifier, builtin),
-  m_node_kind(nodeKind),
-  m_node_name(nodeName),
+  theNodeKind(nodeKind),
+  theNodeName(nodeName),
   theContentType(contentType),
-  m_nillable(nillable),
-  m_schema_test(schematest)
+  theNillable(nillable),
+  theIsSchemaTest(schematest)
 {
   assert(contentType == NULL ||
          (nodeKind == store::StoreConsts::documentNode &&
@@ -754,11 +755,11 @@
     TypeConstants::quantifier_t quantifier)
   :
   XQType(source.theManager, NODE_TYPE_KIND, quantifier, false),
-  m_node_kind(source.m_node_kind),
-  m_node_name(source.m_node_name),
+  theNodeKind(source.theNodeKind),
+  theNodeName(source.theNodeName),
   theContentType(source.theContentType),
-  m_nillable(source.m_nillable),
-  m_schema_test(source.m_schema_test)
+  theNillable(source.theNillable),
+  theIsSchemaTest(source.theIsSchemaTest)
 {
 }
 
@@ -769,11 +770,11 @@
 void NodeXQType::serialize(::zorba::serialization::Archiver& ar)
 {
   serialize_baseclass(ar, (XQType*)this);
-  SERIALIZE_ENUM(store::StoreConsts::NodeKind, m_node_kind);
-  ar & m_node_name;
+  SERIALIZE_ENUM(store::StoreConsts::NodeKind, theNodeKind);
+  ar & theNodeName;
   ar & theContentType;
-  ar & m_nillable;
-  ar & m_schema_test;
+  ar & theNillable;
+  ar & theIsSchemaTest;
 }
 
 
@@ -791,15 +792,15 @@
 ********************************************************************************/
 bool NodeXQType::is_equal(const TypeManager* tm, const NodeXQType& other) const
 {
-  if (m_node_kind != other.m_node_kind)
+  if (theNodeKind != other.theNodeKind)
     return false;
 
-  if (m_node_name != other.m_node_name)
+  if (theNodeName != other.theNodeName)
   {
-    if (m_node_name == NULL || other.m_node_name == NULL)
+    if (theNodeName == NULL || other.theNodeName == NULL)
       return false;
 
-    if (!m_node_name->equals(other.m_node_name))
+    if (!theNodeName->equals(other.theNodeName))
       return false;
   }
 
@@ -829,7 +830,7 @@
     const NodeXQType& supertype,
     const QueryLoc& loc) const
 {
-  if (supertype.m_node_kind == store::StoreConsts::anyNode)
+  if (supertype.theNodeKind == store::StoreConsts::anyNode)
   {
     if (supertype.theContentType != NULL &&
         supertype.theContentType->type_kind() == XQType::UNTYPED_KIND)
@@ -841,17 +842,17 @@
     return true;
   }
 
-  if (supertype.m_node_kind != m_node_kind)
+  if (supertype.theNodeKind != theNodeKind)
     return false;
 
-  if (supertype.m_node_name != NULL)
+  if (supertype.theNodeName != NULL)
   {
-    if (m_node_name == NULL)
+    if (theNodeName == NULL)
       return false;
 
-    if (!m_node_name->equals(supertype.m_node_name))
+    if (!theNodeName->equals(supertype.theNodeName))
     {
-      if (supertype.m_schema_test)
+      if (supertype.theIsSchemaTest)
       {
         Schema* schema = supertype.theManager->getSchema();
         ZORBA_ASSERT(schema != NULL);
@@ -859,11 +860,11 @@
         store::Item_t headName;
 
 #ifndef ZORBA_NO_XMLSCHEMA
-        schema->getSubstitutionHeadForElement(m_node_name.getp(), headName);
+        schema->getSubstitutionHeadForElement(theNodeName.getp(), headName);
 
         while (headName != NULL)
         {
-          if (headName->equals(supertype.m_node_name))
+          if (headName->equals(supertype.theNodeName))
           {
             break;
           }
@@ -883,10 +884,18 @@
   }
 
   if (theContentType == supertype.theContentType)
+  {
+    if (supertype.theNillable == false && theNillable == true)
+      return false;
+
     return true;
+  }
 
   if (theContentType != NULL && supertype.theContentType != NULL)
   {
+    if (supertype.theNillable == false && theNillable == true)
+      return false;
+
     return TypeOps::is_subtype(tm, *theContentType, *supertype.theContentType);
   }
   else if (supertype.theContentType == NULL)
@@ -912,7 +921,7 @@
 {
   assert(subitem->isNode());
 
-  if (m_node_kind == store::StoreConsts::anyNode)
+  if (theNodeKind == store::StoreConsts::anyNode)
   {
     if (theContentType != NULL &&
         theContentType->type_kind() == XQType::UNTYPED_KIND)
@@ -923,74 +932,152 @@
     return true;
   }
 
-  if (m_node_kind != subitem->getNodeKind())
+  if (theNodeKind != subitem->getNodeKind())
     return false;
 
-  if (m_node_name != NULL)
-  {
-    if (!subitem->getNodeName()->equals(m_node_name))
-    {
-      if (m_schema_test)
+  switch (theNodeKind)
+  {
+  case store::StoreConsts::textNode:
+  case store::StoreConsts::commentNode:
+  case store::StoreConsts::namespaceNode:
+  {
+    return true;
+  }
+  case store::StoreConsts::piNode:
+  {
+    if (theNodeName != NULL && !subitem->getNodeName()->equals(theNodeName))
+      return false;
+
+    return true;
+  }
+  case store::StoreConsts::attributeNode:
+  {
+    assert(!theIsSchemaTest || (theNodeName && theContentType));
+
+    if (theNodeName != NULL && !subitem->getNodeName()->equals(theNodeName))
+      return false;
+
+    if (theContentType != NULL)
+    {
+      xqtref_t subContentType = 
+      tm->create_named_type(subitem->getType(), TypeConstants::QUANT_ONE, loc, true);
+
+      return TypeOps::is_subtype(tm, *subContentType, *theContentType);
+    }
+
+    return true;
+  }
+  case store::StoreConsts::elementNode:
+  {
+    if (theIsSchemaTest)
+    {
+      assert(theNodeName != NULL);
+
+      if (!subitem->getNodeName()->equals(theNodeName))
       {
         Schema* schema = theManager->getSchema();
         ZORBA_ASSERT(schema != NULL);
-
+          
         store::Item_t headName;
-
+          
 #ifndef ZORBA_NO_XMLSCHEMA
         schema->getSubstitutionHeadForElement(subitem->getNodeName(), headName);
-
+          
         while (headName != NULL)
         {
-          if (headName->equals(m_node_name))
-          {
+          if (headName->equals(theNodeName))
             break;
-          }
-
+          
           schema->getSubstitutionHeadForElement(headName.getp(), headName);
         }
 #endif // ZORBA_NO_XMLSCHEMA
-
+        
         if (headName == NULL)
           return false;
       }
-      else
+
+      if (theContentType == NULL ||
+          theContentType->type_kind() == XQType::ANY_TYPE_KIND)
+        return true;
+
+      xqtref_t subContentType = tm->create_named_type(subitem->getType(),
+                                                      TypeConstants::QUANT_ONE,
+                                                      loc,
+                                                      true);
+
+      if (!TypeOps::is_subtype(tm, *subContentType, *theContentType))
+        return false;
+
+      bool nillable;
+      store::Item_t typeName;
+      tm->get_schema_element_typeinfo(subitem->getNodeName(), typeName, nillable, loc);
+
+      if (!nillable && subitem->getNilled())
+        return false;
+
+      return true;
+    }
+    else
+    {
+      if (theNodeName != NULL && !subitem->getNodeName()->equals(theNodeName))
+        return false;
+
+      if (!theNillable && subitem->getNilled())
+        return false;
+
+      if (theContentType == NULL ||
+          theContentType->type_kind() == XQType::ANY_TYPE_KIND)
+        return true;
+
+      xqtref_t subContentType = 
+      tm->create_named_type(subitem->getType(), TypeConstants::QUANT_ONE, loc, true);
+
+      return TypeOps::is_subtype(tm, *subContentType, *theContentType);
+    }
+  }
+  case store::StoreConsts::documentNode:
+  {
+    if (theContentType == NULL ||
+        theContentType->type_kind() == XQType::ANY_TYPE_KIND)
+      return true;
+
+    if (theContentType->type_kind() == XQType::UNTYPED_KIND)
+    {
+      return !subitem->isValidated();
+    }
+
+    ZORBA_ASSERT(theContentType->type_kind() == XQType::NODE_TYPE_KIND);
+
+    store::Iterator_t childrenIte = subitem->getChildren();
+    store::Item_t child;
+    store::Item_t elemChild;
+    csize numElemChildren = 0;
+    childrenIte->open();
+    while (childrenIte->next(child))
+    {
+      if (child->getNodeKind() == store::StoreConsts::elementNode)
       {
-        return false;
+        if (numElemChildren == 0)
+          elemChild.transfer(child);
+
+        ++numElemChildren;
       }
     }
+    childrenIte->close();
+
+    if (numElemChildren != 1)
+      return false;
+
+    const NodeXQType* elemTestType = 
+    static_cast<const NodeXQType*>(theContentType.getp());
+
+    return elemTestType->is_supertype(tm, elemChild, loc);
   }
-
-  // document-node(E) matches any document node that contains exactly one element
-  // node, optionally accompanied by one or more comment and processing instruction
-  // nodes, if E is an ElementTest or SchemaElementTest that matches the element node.
-  bool is_element_test = (
-      m_node_kind == store::StoreConsts::documentNode &&
-      theContentType != NULL &&
-      theContentType->type_kind() == XQType::NODE_TYPE_KIND &&
-      static_cast<const NodeXQType*>(theContentType.getp())->m_schema_test == false);
-
-  if (m_node_kind != store::StoreConsts::elementNode &&
-      m_node_kind != store::StoreConsts::attributeNode &&
-      !is_element_test)
-    return true;
-
-  if (theContentType == NULL ||
-      theContentType->type_kind() == XQType::ANY_TYPE_KIND)
-    return true;
-
-  if (is_element_test)
+  default:
   {
-    xqtref_t documentNodeType = tm->create_value_type(subitem, loc);
-    return TypeOps::is_subtype(tm, *documentNodeType, *this);
-  }
-
-  xqtref_t subContentType = tm->create_named_type(subitem->getType(),
-                                                  TypeConstants::QUANT_ONE,
-                                                  loc,
-                                                  true);
-
-  return TypeOps::is_subtype(tm, *subContentType, *theContentType);
+    ZORBA_ASSERT(false);
+  }
+  }
 }
 
 
@@ -999,16 +1086,16 @@
 ********************************************************************************/
 std::ostream& NodeXQType::serialize_ostream(std::ostream& os) const
 {
-  store::StoreConsts::NodeKind node_kind = m_node_kind;
+  store::StoreConsts::NodeKind node_kind = theNodeKind;
   xqtref_t content_type = get_content_type();
 
   os << "[NodeXQType " << store::StoreConsts::toString(node_kind)
      << TypeOps::decode_quantifier(get_quantifier());
 
-  if (m_node_name != NULL)
+  if (theNodeName != NULL)
   {
-    os << " nametest=[uri: " << m_node_name->getNamespace()
-       << ", local: " << m_node_name->getLocalName() << "]";
+    os << " nametest=[uri: " << theNodeName->getNamespace()
+       << ", local: " << theNodeName->getLocalName() << "]";
   }
 
   if (content_type != NULL)
@@ -1025,7 +1112,7 @@
 {
   std::ostringstream os;
 
-  if (m_node_kind == store::StoreConsts::documentNode)
+  if (theNodeKind == store::StoreConsts::documentNode)
   {
     os << "document-node(";
     
@@ -1035,26 +1122,26 @@
       os << ", " << theContentType->toSchemaString();
     }
   }
-  else if (m_schema_test)
+  else if (theIsSchemaTest)
   {
     assert(theContentType != NULL);
 
     os << "schema-" << store::StoreConsts::toSchemaString(get_node_kind()) << "("
-       << m_node_name->getStringValue();
+       << theNodeName->getStringValue();
   }
   else
   {
     os << store::StoreConsts::toSchemaString(get_node_kind()) << "(";
     
-    if (m_node_name != NULL)
+    if (theNodeName != NULL)
     {
-      os << m_node_name->getStringValue();
+      os << theNodeName->getStringValue();
 
       if (theContentType != NULL)
       {
         os << ", " << theContentType->toSchemaString();
 
-        if (m_nillable)
+        if (theNillable)
           os << "?";
       }
     }
@@ -1062,7 +1149,7 @@
     {
       os << "*, " << theContentType->toSchemaString();
 
-      if (m_nillable)
+      if (theNillable)
         os << "?";
     }
   }
@@ -1238,6 +1325,7 @@
 ********************************************************************************/
 UserDefinedXQType::UserDefinedXQType(
     const TypeManager* manager,
+    bool isAnonymous,
     store::Item_t qname,
     const xqtref_t& baseType,
     TypeConstants::quantifier_t quantifier,
@@ -1246,8 +1334,9 @@
     bool builtin)
   :
   XQType(manager, USER_DEFINED_KIND, quantifier, builtin),
+  theIsAnonymous(isAnonymous),
   theQName(qname),
-  m_baseType(baseType),
+  theBaseType(baseType),
   theUDTKind(udtKind),
   m_contentKind(contentKind)
 {
@@ -1267,14 +1356,16 @@
 ********************************************************************************/
 UserDefinedXQType::UserDefinedXQType(
     const TypeManager* manager,
+    bool isAnonymous,
     store::Item_t qname,
     const xqtref_t& baseType,
     const XQType* listItemType,
     bool builtin)
   :
   XQType(manager, USER_DEFINED_KIND, TypeConstants::QUANT_STAR, builtin),
+  theIsAnonymous(isAnonymous),
   theQName(qname),
-  m_baseType(baseType),
+  theBaseType(baseType),
   theUDTKind(LIST_UDT),
   m_contentKind(SIMPLE_CONTENT_KIND),
   m_listItemType(listItemType)
@@ -1288,6 +1379,7 @@
 ********************************************************************************/
 UserDefinedXQType::UserDefinedXQType(
     const TypeManager* manager,
+    bool isAnonymous,
     store::Item_t qname,
     const xqtref_t& baseType,
     TypeConstants::quantifier_t quantifier,
@@ -1295,8 +1387,9 @@
     bool builtin)
   :
   XQType(manager, USER_DEFINED_KIND, quantifier, builtin),
+  theIsAnonymous(isAnonymous),
   theQName(qname),
-  m_baseType(baseType),
+  theBaseType(baseType),
   theUDTKind(UNION_UDT),
   m_contentKind(SIMPLE_CONTENT_KIND),
   m_unionItemTypes(unionItemTypes)
@@ -1317,7 +1410,7 @@
 {
   serialize_baseclass(ar, (XQType*)this);
   ar & theQName;
-  ar & m_baseType;
+  ar & theBaseType;
   SERIALIZE_ENUM(UDTKind, theUDTKind);
   SERIALIZE_ENUM(content_kind_t, m_contentKind);
   ar & m_listItemType;
@@ -1330,7 +1423,7 @@
 ********************************************************************************/
 xqtref_t UserDefinedXQType::getBaseBuiltinType() const
 {
-  xqtref_t builtinType = m_baseType;
+  xqtref_t builtinType = theBaseType;
 
   while (builtinType->type_kind() == XQType::USER_DEFINED_KIND)
   {
@@ -1501,7 +1594,7 @@
             << theQName->getNamespace() << " "
             << info.str()
             << " base:"
-            << ( m_baseType ? m_baseType->toString() : "NULL" )
+            << ( theBaseType ? theBaseType->toString() : "NULL" )
             << "]";
 }
 
 
=== modified file 'src/types/typeimpl.h'
--- src/types/typeimpl.h	2013-03-08 15:03:58 +0000
+++ src/types/typeimpl.h	2013-04-23 20:40:48 +0000
@@ -375,6 +375,8 @@
 
   int card() const;
 
+  virtual bool isAnonymous() const {  return false; }
+
   bool isComplex() const;
 
   bool isList() const;
@@ -567,11 +569,11 @@
   friend class XQType;
 
 private:
-  store::StoreConsts::NodeKind  m_node_kind;
-  store::Item_t                 m_node_name;
+  store::StoreConsts::NodeKind  theNodeKind;
+  store::Item_t                 theNodeName;
   xqtref_t                      theContentType;
-  bool                          m_nillable;
-  bool                          m_schema_test;
+  bool                          theNillable;
+  bool                          theIsSchemaTest;
 
 public:
   SERIALIZABLE_CLASS(NodeXQType)
@@ -589,19 +591,17 @@
       bool schematest,
       bool builtin = false);
 
-  NodeXQType(
-      const NodeXQType& source,
-      TypeConstants::quantifier_t quantifier);
-
-  store::StoreConsts::NodeKind get_node_kind() const { return m_node_kind; }
-
-  store::Item* get_node_name() const { return m_node_name.getp(); }
-
-  bool is_schema_test() const { return m_schema_test; }
+  NodeXQType(const NodeXQType& source, TypeConstants::quantifier_t quant);
+
+  store::StoreConsts::NodeKind get_node_kind() const { return theNodeKind; }
+
+  store::Item* get_node_name() const { return theNodeName.getp(); }
+
+  bool is_schema_test() const { return theIsSchemaTest; }
 
   const XQType* get_content_type() const { return theContentType.getp(); }
 
-  bool get_nillable() const { return m_nillable; }
+  bool get_nillable() const { return theNillable; }
 
   bool is_untyped() const;
 
@@ -718,7 +718,7 @@
   ------------
   The baseType of this type. NULL for list or union types.
 
-  m_typeCategory:
+  theUDTKind:
   ---------------
   Whether this is an atomic, list, union, or complex type.
 
@@ -743,9 +743,11 @@
 
 
 private:
+  bool                    theIsAnonymous;
+
   store::Item_t           theQName;
 
-  xqtref_t                m_baseType;
+  xqtref_t                theBaseType;
 
   UDTKind                 theUDTKind;
 
@@ -767,6 +769,7 @@
   // constructor for Atomic and Complex types
   UserDefinedXQType(
       const TypeManager* manager,
+      bool isAnonymous,
       store::Item_t qname,
       const xqtref_t& baseType,
       TypeConstants::quantifier_t quantifier,
@@ -777,6 +780,7 @@
   // Constructor for List types
   UserDefinedXQType(
       const TypeManager* manager,
+      bool isAnonymous,
       store::Item_t qname,
       const xqtref_t& baseType,
       const XQType* listItemType,
@@ -785,6 +789,7 @@
   // Constructor for Union types
   UserDefinedXQType(
       const TypeManager* manager,
+      bool isAnonymous,
       store::Item_t qname,
       const xqtref_t& baseType,
       TypeConstants::quantifier_t quantifier,
@@ -793,11 +798,13 @@
 
   virtual ~UserDefinedXQType() {}
 
+  virtual bool isAnonymous() const {  return theIsAnonymous; }
+
   virtual content_kind_t content_kind() const { return m_contentKind; };
 
   UDTKind getUDTKind() const { return theUDTKind; }
 
-  xqtref_t getBaseType() const { return m_baseType; }
+  xqtref_t getBaseType() const { return theBaseType; }
 
   xqtref_t getBaseBuiltinType() const;
 
 
=== modified file 'src/types/typemanager.h'
--- src/types/typemanager.h	2013-02-07 17:24:36 +0000
+++ src/types/typemanager.h	2013-04-23 20:40:48 +0000
@@ -159,17 +159,18 @@
         TypeConstants::quantifier_t quant,
         const QueryLoc& loc) const = 0;
 
-  virtual void get_schema_element_typename(
+  virtual void get_schema_element_typeinfo(
         const store::Item* elemName,
         store::Item_t& typeName,
-        const QueryLoc& loc) = 0;
+        bool& nillable,
+        const QueryLoc& loc) const = 0;
 
   virtual xqtref_t create_schema_attribute_type(
         const store::Item_t& aName,
         TypeConstants::quantifier_t quant,
         const QueryLoc& loc) const = 0;
 
-  virtual void get_schema_attribute_typename(
+  virtual void get_schema_attribute_typeinfo(
         const store::Item* attrName,
         store::Item_t& typeName,
         const QueryLoc& loc) = 0;
 
=== modified file 'src/types/typemanagerimpl.cpp'
--- src/types/typemanagerimpl.cpp	2013-04-16 07:39:27 +0000
+++ src/types/typemanagerimpl.cpp	2013-04-23 20:40:48 +0000
@@ -893,14 +893,16 @@
     ERROR_PARAMS(ZED(XPST0008_SchemaElementName_2), elemName->getStringValue()));
   }
 
+  bool nillable;
+
   xqtref_t contentType =
-  m_schema->createXQTypeFromElementName(this, elemName, true, loc);
+  m_schema->createXQTypeFromGlobalElementDecl(this, elemName, true, nillable, loc);
 
   return create_node_type(store::StoreConsts::elementNode,
                           elemName,
                           contentType,
                           quant,
-                          false, // nillable
+                          nillable,
                           true); // schematest
 }
 
@@ -908,10 +910,11 @@
 /***************************************************************************//**
   Get the name of the type associated with a given globally declared element name.
 ********************************************************************************/
-void TypeManagerImpl::get_schema_element_typename(
+void TypeManagerImpl::get_schema_element_typeinfo(
     const store::Item* elemName,
     store::Item_t& typeName,
-    const QueryLoc& loc)
+    bool& nillable,
+    const QueryLoc& loc) const
 {
   if (m_schema == NULL)
   {
@@ -919,7 +922,7 @@
     ERROR_PARAMS(ZED(XPST0008_SchemaElementName_2), elemName->getStringValue()));
   }
 
-  m_schema->getTypeNameFromElementName(elemName, typeName, loc);
+  m_schema->getInfoFromGlobalElementDecl(elemName, typeName, nillable, loc);
 }
 
 
@@ -941,7 +944,7 @@
   }
 
   xqtref_t contentType =
-  m_schema->createXQTypeFromAttributeName(this, attrName, true, loc);
+  m_schema->createXQTypeFromGlobalAttributeDecl(this, attrName, true, loc);
 
   return create_node_type(store::StoreConsts::attributeNode,
                           attrName,
@@ -956,7 +959,7 @@
   Get the name of the type associated with a given globally declared attribute
   name.
 ********************************************************************************/
-void TypeManagerImpl::get_schema_attribute_typename(
+void TypeManagerImpl::get_schema_attribute_typeinfo(
     const store::Item* attrName,
     store::Item_t& typeName,
     const QueryLoc& loc)
@@ -967,7 +970,7 @@
     ERROR_PARAMS(ZED(XPST0008_SchemaAttributeName_2), attrName->getStringValue()));
   }
 
-  m_schema->getTypeNameFromAttributeName(attrName, typeName, loc);
+  m_schema->getInfoFromGlobalAttributeDecl(attrName, typeName, loc);
 }
 
 
@@ -1062,6 +1065,7 @@
     if (udt.isList())
     {
       return new UserDefinedXQType(this,
+                                   udt.isAnonymous(),
                                    udt.getQName(),
                                    udt.getBaseType(),
                                    udt.getListItemType());
@@ -1069,6 +1073,7 @@
     else if (udt.isUnion())
     {
       return new UserDefinedXQType(this,
+                                   udt.isAnonymous(),
                                    udt.getQName(),
                                    udt.getBaseType(),
                                    quantifier,
@@ -1077,6 +1082,7 @@
     else
     {
       return new UserDefinedXQType(this,
+                                   udt.isAnonymous(),
                                    udt.getQName(),
                                    udt.getBaseType(),
                                    quantifier,
 
=== modified file 'src/types/typemanagerimpl.h'
--- src/types/typemanagerimpl.h	2013-02-07 17:24:36 +0000
+++ src/types/typemanagerimpl.h	2013-04-23 20:40:48 +0000
@@ -148,17 +148,18 @@
       TypeConstants::quantifier_t quant,
       const QueryLoc& loc) const;
 
-  void get_schema_element_typename(
+  void get_schema_element_typeinfo(
       const store::Item* elemName,
       store::Item_t& typeName,
-      const QueryLoc& loc);
+      bool& nillable,
+      const QueryLoc& loc) const;
 
   xqtref_t create_schema_attribute_type(
       const store::Item_t& attrName,
       TypeConstants::quantifier_t quant,
       const QueryLoc& loc) const;
   
-  void get_schema_attribute_typename(
+  void get_schema_attribute_typeinfo(
       const store::Item* attrName,
       store::Item_t& typeName,
       const QueryLoc& loc);
 
=== modified file 'src/types/typeops.cpp'
--- src/types/typeops.cpp	2013-03-16 08:48:16 +0000
+++ src/types/typeops.cpp	2013-04-23 20:40:48 +0000
@@ -131,20 +131,32 @@
         return false;
 
 #ifndef ZORBA_NO_XMLSCHEMA
-      if (ntype.get_node_kind() == store::StoreConsts::elementNode)
-      {
-        return (schema->createXQTypeFromElementName(tm,
-                                                    ntype.get_node_name(),
-                                                    false,
-                                                    QueryLoc::null) != NULL);
-      }
-      else
-      {
-        return (schema->createXQTypeFromAttributeName(tm,
-                                                      ntype.get_node_name(),
-                                                      false,
-                                                      QueryLoc::null) != NULL);
-      }
+      try
+      {
+        bool nillable;
+        store::Item_t typeName;
+        if (ntype.get_node_kind() == store::StoreConsts::elementNode)
+        {
+          schema->getInfoFromGlobalElementDecl(ntype.get_node_name(),
+                                               typeName,
+                                               nillable,
+                                               QueryLoc::null);
+        }
+        else
+        {
+          schema->getInfoFromGlobalAttributeDecl(ntype.get_node_name(),
+                                                 typeName,
+                                                 QueryLoc::null);
+        }
+      }
+      catch (ZorbaException& e)
+      {
+        if (e.diagnostic() == err::XPST0008)
+          return false;
+
+        throw;
+      }
+
 #else
       throw ZORBA_EXCEPTION(err::XQST0009);
 #endif
 
=== modified file 'test/fots/CMakeLists.txt'
--- test/fots/CMakeLists.txt	2013-04-23 20:25:27 +0000
+++ test/fots/CMakeLists.txt	2013-04-23 20:40:48 +0000
@@ -187,21 +187,6 @@
 EXPECTED_FOTS_FAILURE (fn-generate-id generate-id-017 0)
 EXPECTED_FOTS_FAILURE (fn-last last-24 0)
 EXPECTED_FOTS_FAILURE (fn-matches cbcl-matches-038 1131304)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-33 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-35 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-37 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-38 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-39 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-41 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-44 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-45 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-46 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-47 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-50 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-51 0)
-EXPECTED_FOTS_FAILURE (fn-nilled fn-nilled-52 0)
-EXPECTED_FOTS_FAILURE (fn-nilled cbcl-nilled-002 0)
-EXPECTED_FOTS_FAILURE (fn-nilled cbcl-nilled-005 0)
 EXPECTED_FOTS_FAILURE (fn-normalize-space fn-normalize-space-23 0)
 EXPECTED_FOTS_FAILURE (fn-normalize-space fn-normalize-space-25 0)
 EXPECTED_FOTS_FAILURE (fn-normalize-unicode cbcl-fn-normalize-unicode-001 0)
 
=== modified file 'test/rbkt/Queries/zorba/schemas/books.xsd'
--- test/rbkt/Queries/zorba/schemas/books.xsd	2013-02-07 17:24:36 +0000
+++ test/rbkt/Queries/zorba/schemas/books.xsd	2013-04-23 20:40:48 +0000
@@ -5,8 +5,8 @@
            elementFormDefault="qualified">
            
  <!-- importing the XML namespace makes xml:id an ID attribute under lax validation -->
- <xs:import namespace="http://www.w3.org/XML/1998/namespace"/>          
-
+ <xs:import namespace="http://www.w3.org/XML/1998/namespace"
+              schemaLocation="http://www.w3.org/2001/xml.xsd"/>       
 
  <xs:element name="BOOKLIST">
   <xs:complexType>
 
=== modified file 'test/update/Scripts/Readme.txt'
--- test/update/Scripts/Readme.txt	2013-02-07 17:24:36 +0000
+++ test/update/Scripts/Readme.txt	2013-04-23 20:40:48 +0000
@@ -12,7 +12,8 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-To generate a report for submitting to the W3C:
+
+To generate a report for submitting to the W3C be sure to use at least Xerces 3.1.1
 
 0. For submitting reports to W3C one should compile Zorba with:
     ZORBA_WITH_BIG_INTEGER=ON
@@ -21,6 +22,8 @@
     ZORBA_TEST_W3C_TO_SUBMIT_RESULTS=ON
     ZORBA_WITH_JSON=OFF
 
+Update the import_w3c_update_testsuite.sh by removing lines 136, 139 and 140.
+
 1.  Import XQUTS.
 
 2.  Run a CTest dashboard from your build directory:
 
=== modified file 'test/update/Scripts/import_w3c_update_testsuite.sh'
--- test/update/Scripts/import_w3c_update_testsuite.sh	2013-02-07 17:24:36 +0000
+++ test/update/Scripts/import_w3c_update_testsuite.sh	2013-04-23 20:40:48 +0000
@@ -101,7 +101,7 @@
   for $src in //source return concat ("%src ", $src/@ID, " ", $src/@FileName),
 
   for $tc in //test-case
-  return 
+  return
   (
     concat("case=", $tc/@FilePath, $tc/@name),
 
@@ -132,9 +132,13 @@
 
       for $error in $state/expected-error
       return concat("Error: ",
-                    if ($error/text() eq "*")
+                    if ($error/text() eq "*"
+                       or ($tc/@name = "revalidate-valtrans-ins-003")
+                       )
                       then "" else "http://www.w3.org/2005/xqt-errors:",
-                    $error/text())
+                    if($tc/@name = "revalidate-valtrans-ins-003")
+                    then ""
+                    else $error/text())
     ),
 
     "end"
 
=== modified file 'test/update/updtestdriver.cpp'
--- test/update/updtestdriver.cpp	2013-03-14 08:01:06 +0000
+++ test/update/updtestdriver.cpp	2013-04-23 20:40:48 +0000
@@ -44,6 +44,9 @@
 #include "system/properties.h"
 #include "testdriver_comparator.h"
 
+//#define ZORBA_TEST_PLAN_SERIALIZATION
+
+
 bool isErrorExpected(zorba::ZorbaException& e, State* aState) 
 {
   if ( aState->hasErrors)