Back to Search
Start Over
Containment of Shape Expression Schemas for RDF
- Source :
- PODS, PODS 2019-38th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS, PODS 2019-38th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS, Jun 2019, Amsterdam, Netherlands. pp.303-319, ⟨10.1145/3294052.3319687⟩
- Publication Year :
- 2019
- Publisher :
- ACM, 2019.
-
Abstract
- International audience; We study the problem of containment of shape expression schemas (ShEx) for RDF graphs. We identify a subclass of ShEx that has a natural graphical representation in the form of shape graphs and whose semantics is captured with a tractable notion of embedding of an RDF graph in a shape graph. When applied to pairs of shape graphs, an embedding is a sufficient condition for containment, and for a practical subclass of deterministic shape graphs, it is also a necessary one, thus yielding a subclass with tractable containment. Containment for general shape graphs is EXP-complete. Finally , we show that containment for arbitrary ShEx is decid-able. CCS CONCEPTS • Information systems → Graph-based database models ; Resource Description Framework (RDF); • Theory of computation → Database theory; Database interoper-ability.
- Subjects :
- FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Computer science
counter-example
02 engineering and technology
01 natural sciences
RDF
containment
Schema (psychology)
Schema
0202 electrical engineering, electronic engineering, information engineering
Rdf graph
Computer Science::Databases
Discrete mathematics
[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
010401 analytical chemistry
ShEx
computer.file_format
Graph
Logic in Computer Science (cs.LO)
0104 chemical sciences
Decidability
Embedding
020201 artificial intelligence & image processing
computer
MathematicsofComputing_DISCRETEMATHEMATICS
Counterexample
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
- Accession number :
- edsair.doi.dedup.....f5323d225b0f649e9ef756bcd2734703
- Full Text :
- https://doi.org/10.1145/3294052.3319687