Full functional verification of linked data structures.

Karen Zee Viktor Kuncak Martin C. Rinard

Published in: PLDI (2008)

Keyphrases

linked data
functional verification
linked open data
semantic web
semantic data
data integration
structured data
data sources
open data
open government data
semantic search
rdf data
structured information
world wide
formal verification
database
data analysis
information systems
databases