Most query languages for graph data

Most query languages for graph databases rely on exploring the topological properties of the data by using paths. However, many applications require more complex patterns to be matched against the graph to obtain desired results. For this reason a version of the standard XML query language XPath has been adapted to work over graphs. In this paper we study static analysis aspects of this language, concentrating on problems such as containment, equivalence and satisfiability. We show that for the full language all of the problems are undecidable. By restricting the language we then obtain several natural fragments whose complexity ranges from PSpace-complete to ExpTime-complete.

ผลลัพธ์ (ไทย) 1:

ภาษาส่วนใหญ่ของแบบสอบถามสำหรับฐานข้อมูลกราฟพึ่งสำรวจคุณสมบัติ topological ของข้อมูลโดยใช้เส้นทาง อย่างไรก็ตาม โปรแกรมประยุกต์จำนวนมากจำเป็นต้องมีรูปแบบซับซ้อนมีการจับคู่กับกราฟเพื่อให้ได้ผลลัพธ์ที่ต้องการ ด้วยเหตุนี้รุ่นของแบบสอบถามภาษามาตรฐานของ XML XPath ได้รับการดัดแปลงให้ทำงานผ่านกราฟ ในเอกสารนี้ เราศึกษาวิเคราะห์คงลักษณะของภาษานี้ มุ่งเน้นปัญหาเช่นบรรจุ สมมูล และ satisfiability เราแสดงว่า ภาษาเต็ม ทั้งหมดปัญหาจะ undecidable โดยการจำกัดภาษา เราแล้วรับเศษธรรมชาติหลายช่วงที่มีความซับซ้อนจาก PSpace ทำให้ ExpTime เสร็จสมบูรณ์

ผลลัพธ์ (ไทย) 2:

ส่วนใหญ่ภาษาสอบถามสำหรับฐานข้อมูลกราฟพึ่งพาการสำรวจคุณสมบัติทอพอโลยีของข้อมูลโดยใช้เส้นทาง อย่างไรก็ตามการใช้งานมากจำเป็นต้องมีรูปแบบที่ซับซ้อนมากขึ้นที่จะจับคู่กับกราฟเพื่อให้ได้ผลลัพธ์ที่ต้องการ ด้วยเหตุนี้เป็นรุ่นของ XPath ภาษาแบบสอบถามมาตรฐาน XML ได้รับการปรับให้เข้ากับการทำงานมากกว่ากราฟ ในบทความนี้เราศึกษาด้านการวิเคราะห์คงที่ของภาษานี้มุ่งเน้นที่ปัญหาเช่นการบรรจุและเท่าเทียม satisfiability เราแสดงให้เห็นว่าภาษาเต็มรูปแบบทั้งหมดของปัญหาที่เป็นที่ตัดสินไม่ได้ โดยการ จำกัด ภาษาที่เรานั้นได้รับชิ้นส่วนทางธรรมชาติหลายประการที่มีความซับซ้อนจากช่วง PSPACE สมบูรณ์เพื่อ ExpTime สมบูรณ์

ผลลัพธ์ (ไทย) 3:

ภาษาสอบถามฐานข้อมูลมากที่สุดสำหรับกราฟพึ่งพาการสำรวจคุณสมบัติของรูปแบบของข้อมูล โดยใช้เส้นทาง อย่างไรก็ตาม การใช้งานหลายรูปแบบซับซ้อนมากขึ้น จะต้องจับคู่กับกราฟเพื่อให้ได้ผลลัพธ์ที่ต้องการ เหตุผลนี้เป็นรุ่นมาตรฐานของ XML ภาษาแบบสอบถาม XPath ที่ได้รับการดัดแปลงเพื่องานกราฟ ในกระดาษนี้เราศึกษาแบบวิเคราะห์ลักษณะของภาษานี้มุ่งเน้นที่ปัญหา เช่น การแก้ไข สมมูลและความสอดคล้อง . เราแสดงให้เห็นว่าเต็มภาษาทั้งหมดของปัญหา undecidable . โดย จำกัด ภาษาเราแล้วรับเศษหลายธรรมชาติที่มีความซับซ้อนในช่วง pspace exptime เสร็จสมบูรณ์