Predefined queries should be sorted to ensure consistent results between releases

ge-high-assurance / RACK

DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)

BSD 3-Clause "New" or "Revised" License

20 stars 6 forks source link

Predefined queries should be sorted to ensure consistent results between releases #451

Open Robert-Adelard opened 3 years ago

Robert-Adelard commented 3 years ago

The predefined nodegroup queries are not sorted - this means the order in which the results are returned can vary between releases.

As a result, our ASCE tool detected spurious changes to the RACK evidence about the Turnstile example.

This would not happen if the SPARQL query included an ORDER BY clause.

Robert-Adelard commented 3 years ago

More generally, it would be good if the result of a nodegroup query was predictable, but it would appear that SemTK or the underlying datastore can reorder the rows in the result - is this expected / normal behaviour?

cuddihyge commented 3 years ago

SPARQL does not guarantee order of results unless you use ORDER BY. So, yes, that is expected / normal behavior on the w3c semantic web stack.