{"id":"https://openalex.org/W1988714410","doi":"https://doi.org/10.1145/2594538.2594542","title":"Containment and equivalence of well-designed SPARQL","display_name":"Containment and equivalence of well-designed SPARQL","publication_year":2014,"publication_date":"2014-06-18","ids":{"openalex":"https://openalex.org/W1988714410","doi":"https://doi.org/10.1145/2594538.2594542","mag":"1988714410"},"language":"en","primary_location":{"id":"doi:10.1145/2594538.2594542","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594538.2594542","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091683403","display_name":"Reinhard Pichler","orcid":"https://orcid.org/0000-0002-1760-122X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Reinhard Pichler","raw_affiliation_strings":["Vienna University of Technology, Vienna, Austria","Vienna University of technology, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088801808","display_name":"Sebastian Skritek","orcid":"https://orcid.org/0000-0003-3054-7683"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sebastian Skritek","raw_affiliation_strings":["Vienna University of Technology, Vienna, Austria","Vienna University of technology, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sparql","display_name":"SPARQL","score":0.9731392860412598},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7432002425193787},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6999799013137817},{"id":"https://openalex.org/keywords/named-graph","display_name":"Named graph","score":0.6961050033569336},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.6137939691543579},{"id":"https://openalex.org/keywords/rdf-query-language","display_name":"RDF query language","score":0.4858250617980957},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.47558748722076416},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.46185362339019775},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4374632239341736},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.4361932873725891},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.433298259973526},{"id":"https://openalex.org/keywords/rdf-schema","display_name":"RDF Schema","score":0.4271022081375122},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.4144125282764435},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.40648046135902405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3748894929885864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3748394250869751},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.3303758502006531},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.2936835289001465},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.2490856945514679},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22439652681350708},{"id":"https://openalex.org/keywords/web-query-classification","display_name":"Web query classification","score":0.2162102460861206},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.18788591027259827},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.1302221119403839}],"concepts":[{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.9731392860412598},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7432002425193787},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6999799013137817},{"id":"https://openalex.org/C110893760","wikidata":"https://www.wikidata.org/wiki/Q3115590","display_name":"Named graph","level":5,"score":0.6961050033569336},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.6137939691543579},{"id":"https://openalex.org/C96956885","wikidata":"https://www.wikidata.org/wiki/Q6138701","display_name":"RDF query language","level":5,"score":0.4858250617980957},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.47558748722076416},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.46185362339019775},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4374632239341736},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.4361932873725891},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.433298259973526},{"id":"https://openalex.org/C15657843","wikidata":"https://www.wikidata.org/wiki/Q1751819","display_name":"RDF Schema","level":5,"score":0.4271022081375122},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.4144125282764435},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.40648046135902405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3748894929885864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3748394250869751},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.3303758502006531},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2936835289001465},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.2490856945514679},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22439652681350708},{"id":"https://openalex.org/C118689300","wikidata":"https://www.wikidata.org/wiki/Q7978614","display_name":"Web query classification","level":4,"score":0.2162102460861206},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18788591027259827},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.1302221119403839},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2594538.2594542","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2594538.2594542","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2302291902","display_name":null,"funder_award_id":"P25207-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8516376255","display_name":null,"funder_award_id":"ICT12-15","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1560159331","https://openalex.org/W1566263758","https://openalex.org/W1572495409","https://openalex.org/W1847214366","https://openalex.org/W1979514837","https://openalex.org/W1989038407","https://openalex.org/W2005032394","https://openalex.org/W2024243714","https://openalex.org/W2028864278","https://openalex.org/W2033267049","https://openalex.org/W2056660085","https://openalex.org/W2076631482","https://openalex.org/W2126717690","https://openalex.org/W2131785201","https://openalex.org/W2136793698","https://openalex.org/W2144044428","https://openalex.org/W2752197104","https://openalex.org/W4290884829","https://openalex.org/W6634131421","https://openalex.org/W7015712883"],"related_works":["https://openalex.org/W2416869599","https://openalex.org/W3086848874","https://openalex.org/W2363838908","https://openalex.org/W2079781157","https://openalex.org/W3033347047","https://openalex.org/W2092512344","https://openalex.org/W2105571961","https://openalex.org/W3150241097","https://openalex.org/W42434468","https://openalex.org/W2944742503"],"abstract_inverted_index":{"Query":[0],"containment":[1,52],"and":[2,16,53,73],"query":[3,14,38],"equivalence":[4,54],"constitute":[5],"important":[6],"computational":[7],"problems":[8,20],"in":[9,81],"the":[10,35,63,71,82,85],"context":[11],"of":[12,27,51,58,66,84],"static":[13],"analysis":[15,50],"optimization.":[17],"While":[18],"these":[19],"have":[21],"been":[22],"intensively":[23],"studied":[24],"for":[25,34,55],"fragments":[26,57],"relational":[28],"calculus,":[29],"almost":[30],"no":[31],"works":[32],"exist":[33],"semantic":[36],"web":[37],"language":[39],"SPARQL.":[40],"In":[41],"this":[42],"paper,":[43],"we":[44,60],"carry":[45],"out":[46],"a":[47],"comprehensive":[48],"complexity":[49],"several":[56],"SPARQL:":[59],"start":[61],"with":[62],"fundamental":[64],"fragment":[65],"well-designed":[67],"SPARQL":[68],"restricted":[69],"to":[70,96],"AND":[72],"OPTIONAL":[74],"operator.":[75],"We":[76],"then":[77],"study":[78],"basic":[79],"extensions":[80],"form":[83],"UNION":[86],"operator":[87],"and/or":[88],"projection.":[89],"The":[90],"results":[91],"obtained":[92],"range":[93],"from":[94],"NP-completeness":[95],"undecidability.":[97]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":6}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}