A man who killed a store owner by sawing at his neck with a pocket-knife during a 1997 robbery has been executed in Virginia.