under OWA. In the relational case, an anomaly is observed when the que การแปล - under OWA. In the relational case, an anomaly is observed when the que ไทย วิธีการพูด

under OWA. In the relational case,

under OWA. In the relational case, an anomaly is observed when the query involves
negation [Arenas et al. 2004; Fagin et al. 2005]. As a remedy to such unintuitive
behavior, the notion of solutions under CWA was proposed in Libkin [2006], further
extended in Afrati and Kolaitis [2008], Hernich et al. [2011], and Libkin and Sirangelo
[2011]. This direction is hardly explored for XML: it is not even clear how to define the
notion of CWA in the XML context.
We also would like to work further on operations on schema mappings. We have
identified a natural class that is closed under composition, but we do not know anything
about its maximality, nor do we know anything about other operations such as inverse
[Arenas et al. 2009; Fagin et al. 2008] or merge [Bernstein and Melnik 2007]. And we
would like to extend structural results of ten Cate and Kolaitis [2010] from relational
to XML mappings.
ELECTRONIC APPENDIX
The electronic appendix for this article can be accessed in the ACM Digital Library.
ACKNOWLEDGMENTS
The authors thank the anonymous reviewers for their helpful comments.
REFERENCES
Serge Abiteboul, Paris C. Kanellakis, and G¨osta Grahne. 1991. On the representation and querying of sets
of possible worlds. Theor. Comput. Sci. 78, 1, 158–187.
Foto N. Afrati and Phokion G. Kolaitis. 2008. Answering aggregate queries in data exchange. In Proceedings
of the ACM Symposium on Principles of Database Systems (PODS). 129–138.
Shun’ichi Amano, Claire David, Leonid Libkin, and Filip Murlak. 2010. On the tradeoff between mapping
and querying power in XML data exchange. In Proceedings of the International Conference on Database
Theory (ICDT). 155–164.
Shun’ichi Amano, Leonid Libkin, and Filip Murlak. 2009. XML schemamappings. In Proceedings of the ACM
Symposium on Principles of Database Systems (PODS). 33–42.
Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, and Divesh Srivastava. 2002. Tree pattern query
minimization. VLDB J. 11, 4, 315–331.
Marcelo Arenas, Pablo Barcel´o, Ronald Fagin, and Leonid Libkin. 2004. LocAlly consistent transformations
and query answering in data exchange. In Proceedings of the ACM Symposium on Principles of Database
Systems (PODS). 229–240.
Marcelo Arenas, Pablo Barcel´o, Leonid Libkin, and Filip Murlak. 2010. Relational and XML Data Exchange.
Morgan & Claypool Publishers.
Marcelo Arenas, Pablo Barcel´o, and Juan L. Reutter. 2011. Query languages for data exchange: Beyond
unions of conjunctive queries. Theory Comput. Syst. 49, 2, 489–564.
Marcelo Arenas and Leonid Libkin. 2008. XML data exchange: Consistency and query answering. J. ACM
55, 2.
Marcelo Arenas, Jorge P´erez, and Cristian Riveros. 2009. The recovery of a schema mapping: Bringing
exchanged data back. ACM Trans. Datab. Syst. 34, 4.
Denilson Barbosa, Juliana Freire, and Alberto O. Mendelzon. 2005. Designing information-preserving mapping
schemes for xml. In Proceedings of the International Conference on Very Large Data Bases (VLDB).
109–120.
Pablo Barcel´o. 2009. Logical foundations of relational data exchange. SIGMOD Record 38, 1, 49–58.
Pablo Barcel´o, Leonid Libkin, Antonella Poggi, and Cristina Sirangelo. 2010. XML with incomplete information.
J. ACM 58, 1, 4.
Michael Benedikt,Wenfei Fan, and Floris Geerts. 2008. XPath satisfiability in the presence of DTDs. J. ACM
55, 2.
Philip A. Bernstein and Sergey Melnik. 2007. Model management 2.0: manipulating richer mappings. In
Proceedings of the SIGMOD Conference. 1–12.
Henrik Bj¨orklund, Wim Martens, and Thomas Schwentick. 2008. Optimizing conjunctive queries over trees
using schema information. In Proceedings of the International Symposium on Mathematical Foundations
of Computer Science (MFCS). 132–143.
Journal of the ACM, Vol. 61, No. 2, Article 12, Publication date: April 2014.
XML Schema Mappings: Data Exchange and Metadata Management 12:47
Henrik Bj¨orklund,Wim Martens, and Thomas Schwentick. 2011. Conjunctive query containment over trees.
J. Comput. Syst. Sci. 77, 3, 450–472.
Mikołaj Boja ´ nczyk, Leszek Aleksander Kołodziejczyk, and Filip Murlak. 2013. Solutions in XML data exchange.
J. Comput. Syst. Sci. 79, 6, 785–815.
Mikołaj Boja ´ nczyk, Anca Muscholl, Thomas Schwentick, and Luc Segoufin. 2009. Two-variable logic on data
trees and XML reasoning. J. ACM 56, 3.
Rada Chirkova, Leonid Libkin, and Juan Reutter. 2012. Tractable XMLdata exchange via relations. Frontiers
Comput. Sci. 6, 3, 243–263.
Laura Chiticariu and Wang Chiew Tan. 2006. Debugging schema mappings with routes. In Proceedings of
the International Conference on Very Large Data Bases (VLDB). 79–90.
Claire David. 2008. Complexity of data tree patterns over XMLdocuments. In Proceedings of the International
Symposium on Mathematical Foundations of Computer Science (MFCS). 278–289.
Claire David, Am´elie Gheerbrant, Leonid Libkin, and Wim Martens. 2013. Containment of pattern-based
queries over data trees. In Proceedings of the International Conference on Database Theory (ICDT).
201–212.
Claire David, Leonid Libkin, and Filip Murlak. 2010. Certain answers for XML queries. In Proceedings of
the ACM Symposium on Principles of Database Systems (PODS). 191–202.
Ronald Fagin, Laura M. Haas, Mauricio A. Hern´andez, Ren´ee J. Miller, Lucian Popa, and Yannis Velegrakis.
2009. Clio: Schema mapping creation and data exchange. In Conceptual Modeling: Foundations and
Applications, 198–236.
Ronald Fagin, Phokion G. Kolaitis, Ren´ee J. Miller, and Lucian Popa. 2005. Data exchange: Semantics and
query answering. Theor. Comput. Sci. 336, 1, 89–124.
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, andWang Chiew Tan. 2004. Composing Schema Mappings:
Second-Order Dependencies to the Rescue. In Proceedings of the ACM Symposium on Principles of
Database Systems (PODS). 83–94.
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, and Wang Chiew Tan. 2008. Quasi-inverses of schema
mappings. ACM Trans. Datab. Syst. 33, 2 , 11:1–11:52.
Wenfei Fan and Philip Bohannon. 2008. Information preserving XMLschema embedding. ACMTrans. Datab.
Syst. 33, 1.
Wenfei Fan and Leonid Libkin. 2002. On XML integrity constraints in the presence of DTDs. J. ACM 49, 3,
368–406.
Am´elie Gheerbrant, Leonid Libkin, and Tony Tan. 2012. On the complexity of query answering over incomplete
XML documents. In Proceedings of the International Conference on Database Theory (ICDT).
169–181.
Georg Gottlob, Christoph Koch, and Klaus U. Schulz. 2006. Conjunctive queries over trees. J. ACM 53, 2,
238–272.
Georg Gottlob and Pierre Senellart. 2010. Schema mapping discovery from data instances. J. ACM 57, 2.
Andr´e Hernich, Leonid Libkin, and Nicole Schweikardt. 2011. Closed world data exchange. ACM Trans.
Datab. Syst. 36, 2, 14.
Jan Hidders. 2003. Satisfiability of XPath expressions. In Proceedings of the International Symposium on
Database Programming Languages (DBPL). 21–36.
Phokion G. Kolaitis. 2005. Schema mappings, data exchange, and metadata management. In Proceedings of
the ACM Symposium on Principles of Database Systems (PODS). 61–75.
Phokion G. Kolaitis, Jonathan Panttaja, and Wang Chiew Tan. 2006. The complexity of data exchange. In
Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 30–39.
Harry R. Lewis. 1980. Complexity results for classes of quantificational formulas. J. Comput. Syst. Sci. 21,
3, 317–353.
Leonid Libkin. 2006. Data exchange and incomplete information. In Proceedings of the ACM Symposium on
Principles of Database Systems (PODS). 60–69.
Leonid Libkin and Cristina Sirangelo. 2011. Data exchange and schemamappings in open and closed worlds.
J. Comput. Syst. Sci. 77, 3, 542–571.
Jayant Madhavan and Alon Y. Halevy. 2003. Composing mappings among data sources. In Proceedings of
the International Conference on Very Large Data Bases (VLDB). 572–583.
Aleksander Ma¸dry. 2005. Data exchange: On the complexity of answering queries with inequalities. Inform.
Process. Lett. 94, 6, 253–257.
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti, Salvatore Raunich, and Donatello Santoro. 2011.
++Spicy: An OpenSource tool for second-generation schema mapping and data exchange. Proc. VLDB 4,
12, 1438–1441.
Journal of the ACM, Vol. 61, No. 2, Article 12, Publication date: April 2014.
12:48 S. Amano et al.
Sergey Melnik, Hector Garcia-Molina, and Erhard Rahm. 2002. Similarity flooding: A versatile graph matching
algorithm and its application to schema matching. In Proceedings of the International Conference on
Data Engineering (ICDE). 117–128.
Gerome Miklau and Dan Suciu. 2004. Containment and equivalence for a fragment of XPath. J. ACM 51, 1,
2–45.
Tova Milo and Sagit Zohar. 1998. Using schema matching to simplify heterogeneous data translation. In
Proceedings of the International Conference on Very Large Data Bases (VLDB). 122–133.
Alan Nash, Philip A. Bernstein, and Sergey Melnik. 2007. Composition of mappings given by embedded
dependencies. ACM Trans. Datab. Syst. 32, 1, 4:1–4:51.
Christos Papadimitriou. 1994. Computational Complexity. Addison-Wesley.
Reinhard Pichler and Sebastian Skritek. 2011. The complexity of evaluating tuple generating dependencies.
In Proceedings of the International Conference on Database Theory (ICDT). 244–255.
Lucian Popa, Yannis Velegrakis, Ren´ee J. Miller, Mauricio A. Hern´andez, and Ronald Fagin. 2002. Translating
web data. In Proceedings of the International Conference on Very Large Data Bases (VLDB).
598–609.
Luc Segoufin. 2006. Automata and logics for words and trees over an infinite alphabet. In Computer Science
Logic (CSL), 41–57.
Balder ten Cate and Phokion G. Kolaitis. 2010. Structural characterizations of schema-mapping languages.
Commun. ACM 53, 1, 101–110.
Cong Yu and Lucian Popa. 2004. Constraint-based XML query rewriting for data integration. In Proceedings
of the SIGMOD Conference. 371–382.
Received September 2012; revised August 2013 and October 2013; accepted November 2013
0/5000
จาก: -
เป็น: -
ผลลัพธ์ (ไทย) 1: [สำเนา]
คัดลอก!
ภายใต้การ OWA ในกรณีเชิง ความผิดปกติจะสังเกตเมื่อแบบสอบถามที่เกี่ยวข้องกับปฏิเสธ [สถาน et al. 2004 Fagin et al. 2005] เป็นการแก้ไปเช่น unintuitiveลักษณะการทำงาน แนวคิดของโซลูชั่นภายใต้ CWA ถูกนำเสนอใน Libkin [2006], เพิ่มเติมเพิ่มเติมใน Afrati และ Kolaitis [2008], Hernich และ al. [2011], Libkin และ Sirangelo[2011] . แทบไม่มีสำรวจทิศทางนี้สำหรับ XML: มันไม่ได้ชัดเจนในวิธีการกำหนดแนวคิดของ CWA ใน XMLเรายังอยากทำงานเพิ่มเติมในการดำเนินงานในการแม็ปเค้าร่าง เรามีระบุระดับธรรมชาติที่ปิดภายใต้องค์ประกอบ แต่เราไม่รู้อะไรเกี่ยวกับ maximality ของ หรือเราไม่รู้อะไรเกี่ยวกับการดำเนินงานอื่น ๆ เช่นค่าผกผัน[สถาน et al. 2009 Fagin et al. 2008] หรือผสาน [นาร์ดเบิร์นสไตน์และ Melnik 2007] และเราต้องการขยายผลโครงสร้างของ Cate สิบและ Kolaitis [2010] จากเชิงการแมป XMLอิเล็กทรอนิกส์ภาคผนวกภาคผนวกอิเล็กทรอนิกส์สำหรับบทความนี้สามารถเข้าถึงในพลอากาศดิจิตอลไลบรารีตอบผู้เขียนขอขอบคุณทานแบบไม่ระบุชื่อสำหรับข้อคิดเห็นของพวกเขาดีการอ้างอิงSerge Abiteboul ปารีส C. Kanellakis และ G¨osta Grahne 1991 บนตัวอย่างและสอบถามชุดของโลกได้ Theor Comput Sci. 78, 1, 158 – 187Foto N. Afrati และ Phokion กรัม Kolaitis 2008 ตอบแบบสอบถามในการแลกเปลี่ยนข้อมูล ในตอนของวิชาการพลอากาศหลักของระบบฐานข้อมูล (ฝัก) 129-138Shun'ichi อะมะโนะ แคลร์ David, Libkin เลโอ ก Filip Murlak 2010 บนข้อดีข้อเสียระหว่างการแม็ปและสอบถามในการแลกเปลี่ยนข้อมูล XML ในรายงานการประชุมนานาชาติในฐานข้อมูลทฤษฎี (ICDT) 155-164อะมะโนะ Shun'ichi เลโอ Libkin และ Filip Murlak 2009. XML schemamappings ในตอนนี้พลอากาศวิชาการหลักการของระบบฐานข้อมูล (ฝัก) 33 – 42Sihem เอเมอร์ Yahia, SungRan Cho, Laks V. S. กร และ Divesh Srivastava 2002. แผนภูมิรูปแบบสอบถามลดภาระการ VLDB เจ 11, 4, 315-331Marcelo สถาน ปาโบล Barcel´o โรนัลด์ Fagin และเลโอ Libkin 2004 แปลงในท้องถิ่นที่สอดคล้องกันและตอบแบบสอบถามในการแลกเปลี่ยนข้อมูล ในวิชาการวิชาการพลอากาศหลักของฐานข้อมูลระบบ (ฝัก) 229-240Marcelo สถาน Barcel´o ปาโบล เลโอ Libkin และ Filip Murlak 2010 สัมพันธ์กัน และแลกเปลี่ยนข้อมูล XMLมอร์แกนและ Claypool ผู้เผยแพร่Marcelo สถาน ปาโบล Barcel´o และ Reutter Juan L. 2011. สอบถามภาษาสำหรับแลกเปลี่ยนข้อมูล: เกินสหภาพแรงงานถาม conjunctive ทฤษฎี Comput Syst. 49, 2, 489-564Marcelo สถานและเลโอ Libkin 2008 แลกเปลี่ยนข้อมูล XML: ความสอดคล้องและตอบแบบสอบถาม เจ.พลอากาศ55, 2Marcelo สถาน Jorge P´erez และ Cristian Riveros 2009. การฟื้นตัวของการแม็ปเค้าร่าง: นำแลกเปลี่ยนข้อมูลกลับ Datab โอนย้ายพลอากาศ Syst. 34, 4Denilson Barbosa, Freire จูเลียนา และ Alberto โอ Mendelzon 2005 การแม็ปข้อมูลรักษาออกโครงร่างสำหรับ xml ในรายงานการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก (VLDB)109-120ปาโบล Barcel´o. 2009 รากฐานการแลกเปลี่ยนข้อมูลเชิงตรรกะ SIGMOD คอร์ด 38, 1, 49-58Barcel´o ปาโบล เลโอ Libkin, Antonella Poggi และ Sirangelo เรจ 2010. XML มีข้อมูลที่ไม่สมบูรณ์J. พลอากาศ 58, 1, 4Benedikt Michael พัดลม Wenfei และ Floris Geerts 2008 satisfiability XPath ในต่อหน้าของ DTDs J. พลอากาศ55, 2ฟิลิป A. นาร์ดเบิร์นสไตน์และ Sergey Melnik 2007 รุ่นจัดการ 2.0: จัดการแมปขึ้น ในรายงานการประชุม SIGMOD 1 – 12Bj¨orklund เฮนริก Wim Martens และ Thomas Schwentick 2008. conjunctive ถามเพิ่มประสิทธิภาพผ่านต้นไม้โดยใช้เค้าร่างข้อมูล ในวิชาการวิชาการสากลบนรากฐานทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์ (เดอร์) 132-143สมุดรายวันของพลอากาศ 61 ปี หมายเลข 2 บทความ 12 วันเผยแพร่: 2014 เมษายนแมป XML Schema: แลกเปลี่ยนข้อมูลและจัดการข้อมูลเมตา 12:47Bj¨orklund เฮนริก Wim Martens และ Thomas Schwentick 2011. บรรจุสอบถาม conjunctive ผ่านต้นไม้J. Comput Syst. Sci. 77, 3, 450-472Mikołaj Boja ´ nczyk, Kołodziejczyk Leszek อเล็คซานเดอร์ และ Filip Murlak 2013. โซลูชั่นในการแลกเปลี่ยนข้อมูล XMLJ. Comput Syst. Sci. 79, 6, 785-815Nczyk Mikołaj Boja ´ Anca Muscholl, Thomas Schwentick และ Luc Segoufin 2009 ด้วยสองตัวแปรลอจิกข้อมูลต้นไม้และการใช้เหตุผล XML เจพลอากาศ 56, 3Rada Chirkova เลโอ Libkin และ Juan Reutter 2012. tractable แลกเปลี่ยน XMLdata ผ่านความสัมพันธ์ ขอบเขตComput Sci. 6, 3, 243-263ลอร่า Chiticariu และวังตาล Chiew 2006 การดีบักการแม็ปเค้าร่าง ด้วยเส้นทาง ในวิชาการการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก (VLDB) 79-90แคลร์ David 2008. ความซับซ้อนของข้อมูลแผนภูมิรูปแบบผ่าน XMLdocuments ในวิชาการนานาชาติที่วิชาการบนรากฐานทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์ (เดอร์) 278-289แคลร์ David, Am´elie Gheerbrant, Libkin เลโอ ก Wim Martens 2013. บรรจุของตามรูปแบบสอบถามผ่านข้อมูลต้นไม้ ในรายงานการประชุมนานาชาติในฐานข้อมูลทฤษฎี (ICDT)201-212แคลร์ David, Libkin เลโอ และ Filip Murlak 2010 บางคำตอบสำหรับแบบสอบถามของ XML ในวิชาการวิชาการพลอากาศหลักของระบบฐานข้อมูล (ฝัก) 191-202โรนัลด์ Fagin ลอร่าม.ทาง Mauricio A. Hern´andez มิ ลเลอร์ J. Ren´ee, Popa ลูเชียน ก Yannis Velegrakis2009. คลีโอ: สร้างการแม็ปเค้าร่างและข้อมูลแลกเปลี่ยนกัน ในแนวคิดสร้างโมเดล: รากฐาน และโปรแกรมประยุกต์ 198 – 236โรนัลด์ Fagin, Phokion G. Kolaitis มิ ลเลอร์ J. Ren´ee กลูเชียน Popa 2005 แลกเปลี่ยนข้อมูล: ความหมาย และถามตอบ Theor Comput Sci. 336, 1, 89-124โรนัลด์ Fagin, andWang Kolaitis Phokion G. ลูเชียน Popa ตาล Chiew 2004 สร้างการแม็ปเค้าร่าง:อ้างอิงใบสั่งที่สองเพื่อช่วยเหลือ ในวิชาการวิชาการพลอากาศหลักการระบบฐานข้อมูล (ฝัก) 83-94โรนัลด์ Fagin, Phokion G. Kolaitis, Popa ลูเชียน และวัง Chiew ตาล 2008. quasi-inverses ของเค้าร่างแม็ป Datab โอนย้ายพลอากาศ Syst. 33, 2, 11:1 11:52Wenfei พัดลมและฟิลิป Bohannon 2008 ข้อมูลรักษา XMLschema ฝัง ACMTrans DatabSyst. 33, 1Wenfei พัดลมและเลโอ Libkin 2002 บนข้อจำกัดของ XML ในต่อหน้าของ DTDs J. พลอากาศ 49, 3368 – 406Am´elie Gheerbrant, Libkin เลโอ และโทนี่ตัน 2012. กับความซับซ้อนของแบบสอบถามที่ตอบไปไม่สมบูรณ์เอกสาร XML ในรายงานการประชุมนานาชาติในฐานข้อมูลทฤษฎี (ICDT)169-181จอร์จ Gottlob คอ Christoph และสหรัฐคลัส Schulz 2006. สอบถามที่ conjunctive ผ่านต้นไม้ J. พลอากาศ 53, 2238-272จอร์จ Gottlob และ Pierre Senellart 2010 ค้นพบการแมป schema จากข้อมูลอินสแตนซ์ เจพลอากาศ 57, 2Andr´e Hernich เลโอ Libkin และ Schweikardt นิโคล 2011 แลกเปลี่ยนข้อมูลของโลกปิด ทรานส์พลอากาศDatab Syst. 36, 2, 14Jan Hidders 2003. satisfiability ของนิพจน์ XPath ในวิชาการวิชาการนานาชาติในภาษาการเขียนโปรแกรมฐานข้อมูล (DBPL) 21 – 36Phokion G. Kolaitis 2005 แม็ปแผน แลกเปลี่ยนข้อมูล และการจัดการข้อมูลเมตา ในวิชาการวิชาการพลอากาศหลักของระบบฐานข้อมูล (ฝัก) 61-75Phokion G. Kolaitis, Jonathan Panttaja และวัง Chiew ตาล 2006.ความซับซ้อนของการแลกเปลี่ยนข้อมูล ในวิชาการวิชาการพลอากาศหลักของระบบฐานข้อมูล (ฝัก) 30 – 39แฮร์รี่ R. Lewis 1980. ความซับซ้อนส่งผลเรียนของ quantificational สูตร J. Comput Syst. Sci. 213, 317-353เลโอ Libkin 2006 แลกเปลี่ยนข้อมูลและข้อมูลไม่สมบูรณ์ ในวิชาการวิชาการพลอากาศบนหลักการของระบบฐานข้อมูล (ฝัก) 60 – 69เลโอ Libkin และ Sirangelo เรจ 2011 แลกเปลี่ยนข้อมูลและ schemamappings ในโลกเปิด และปิดJ. Comput Syst. Sci. 77, 3, 542-571Jayant Madhavan และ Alon Y. Halevy 2003 สร้างการแม็ประหว่างแหล่งข้อมูล ในวิชาการการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก (VLDB) 572-583อเล็คซานเดอร์ Ma¸dry 2005 แลกเปลี่ยนข้อมูล: บนความซับซ้อนของการตอบแบบสอบถาม มีความเหลื่อมล้ำทางการ แจ้งกระบวนการ Lett 94, 6, 253-257Bruno Marnette เมกกะ Giansalvatore เปาโล Papotti, Salvatore Raunich และ Santoro โดนาเทลโล 2011++ เผ็ด: การโอเพนซอร์สเครื่องมือสำหรับการแลกเปลี่ยนการแม็ปและข้อมูลเค้าร่าง second-generation VLDB proc. 412, 1438-1441สมุดรายวันของพลอากาศ 61 ปี หมายเลข 2 บทความ 12 วันเผยแพร่: 2014 เมษายน12:48 S. อะมะโนะ et alSergey Melnik นางการ์เซีย-Molina ก Erhard Rahm 2002 น้ำท่วมคล้าย: จับคู่กราฟเอนกประสงค์อัลกอริทึมและการประยุกต์ให้ตรงกับเค้าร่าง ในวิชาการนานาชาติข้อมูลวิศวกรรม (ICDE) 117-128Gerome Miklau และ Dan Suciu 2004. บรรจุและเทียบเท่าในส่วนของ XPath J. พลอากาศ 51, 12 – 45ไม Tova และ Sagit Zohar ปี 1998 ใช้แผนจับคู่เพื่อทำการแปลข้อมูลที่แตกต่างกันในการ ในรายงานการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก (VLDB) 122-133Alan แนช ฟิลิป A. นาร์ดเบิร์นสไตน์ และ Sergey Melnik 2007. โปรแกรมส่วนประกอบของแม็ปที่กำหนดโดยการอ้างอิง Datab โอนย้ายพลอากาศ Syst. 32, 1, 4:1 4:51Christos Papadimitriou ปี 1994 การคำนวณที่ซับซ้อน แอดดิสัน-WesleyReinhard Pichler และ Sebastian Skritek 2011.ความซับซ้อนของการประเมินทูเพิลที่สร้างขึ้นในรายงานการประชุมนานาชาติในฐานข้อมูลทฤษฎี (ICDT) 244-255ลูเชียน Popa, Yannis Velegrakis มิ ลเลอร์ J. Ren´ee, Mauricio A. Hern´andez และโรนัลด์ Fagin 2002. แปลเว็บข้อมูล ในรายงานการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก (VLDB)598 – 609Luc Segoufin 2006. ออโตมาตาและ logics คำและต้นไม้เหนืออักษรมีอนันต์ ในวิทยาการคอมพิวเตอร์ตรรกะ (CSL), 41-57บัลเดอร์ Cate สิบและ Phokion G. Kolaitis 2010. characterizations โครงสร้างภาษาการแม็ปเค้าร่างได้แก่Commun พลอากาศ 53, 1, 101-110Cong Yu และ Popa ลูเชียน 2004 ตามข้อจำกัด XML สอบถามเขียนสำหรับการรวมข้อมูล ในตอนการประชุม SIGMOD 371-382รับ 2555 กันยายน ฉบับปรับปรุงปี 2013 เดือนสิงหาคมและเดือน 2013 ตุลาคม ยอมรับ 2013 พฤศจิกายน
การแปล กรุณารอสักครู่..
ผลลัพธ์ (ไทย) 2:[สำเนา]
คัดลอก!
ภายใต้ OWA ในกรณีสัมพันธ์, ความผิดปกติเป็นที่สังเกตเมื่อคำที่เกี่ยวข้องกับการ
ปฏิเสธ [สเตเดียมและคณะ 2004; Fagin และคณะ 2005] ในฐานะที่เป็นวิธีการรักษาดังกล่าว unintuitive
พฤติกรรมความคิดของการแก้ปัญหาภายใต้คถูกนำเสนอใน Libkin [2006] ต่อ
ขยายใน Afrati และ Kolaitis [2008], Hernich และคณะ [2011] และ Libkin และ Sirangelo
[2011] ทิศทางนี้คือการสำรวจแทบจะไม่สำหรับ XML: มันเป็นไม่ได้ชัดเจนถึงวิธีการกำหนด
. ความคิดของคในบริบท XML
นอกจากนี้เรายังต้องการที่จะทำงานต่อไปในการดำเนินงานในแมปสคี เราได้
ระบุชั้นธรรมชาติที่ถูกปิดภายใต้องค์ประกอบ แต่เราไม่รู้อะไรเลย
เกี่ยวกับ Maximality ของเราไม่ได้รู้อะไรเกี่ยวกับการดำเนินงานอื่น ๆ เช่นผกผัน
[สเตเดียมและคณะ 2009; Fagin และคณะ 2008] หรือรวม [Bernstein และ Melnik 2007] และเรา
ต้องการที่จะขยายผลของโครงสร้างของสิบ Cate และ Kolaitis [2010] จากเชิงสัมพันธ์
ในการแมป XML.
อิเล็กทรอนิกส์ภาคผนวก
ภาคผนวกอิเล็กทรอนิกส์สำหรับบทความนี้สามารถเข้าถึงได้ในห้องสมุดดิจิตอล ACM.
กิตติกรรมประกาศ
ผู้เขียนขอขอบคุณผู้แสดงความคิดเห็นที่ไม่ระบุชื่อสำหรับความคิดเห็นที่เป็นประโยชน์ของพวกเขา .
อ้างอิง
เสิร์จ Abiteboul, ปารีส C. Kanellakis และGösta Grahne 1991 ในการแสดงและการสอบถามของชุด
ของโลกที่เป็นไปได้ Theor คอมพิวเต วิทย์ 78, 1, 158-187.
Foto N. Afrati และ Phokion G. Kolaitis 2008 ตอบแบบสอบถามรวมในการแลกเปลี่ยนข้อมูล ในการดำเนินการ
ของการประชุมวิชาการ ACM หลักการระบบฐานข้อมูล (ฝัก) 129-138.
Shun'ichi อะมาโนะ, แคลร์เดวิด Leonid Libkin และฆา Murlak ปี 2010 เมื่อวันที่ถ่วงดุลอำนาจระหว่างการทำแผนที่
และอำนาจการสอบถามในการแลกเปลี่ยนข้อมูล XML ในการประชุมวิชาการนานาชาติในฐานข้อมูล
ทฤษฎี (ICDT) 155-164.
Shun'ichi อะมาโนะ Leonid Libkin และฆา Murlak 2009 schemamappings XML ในการดำเนินการของ ACM
ประชุมวิชาการเกี่ยวกับหลักการระบบฐานข้อมูล (ฝัก) 33-42.
Sihem Amer-Yahia, SungRan โช Laks VS Lakshmanan และ Divesh Srivastava 2002 รูปแบบต้นไม้แบบสอบถาม
ลด VLDB เจ 11, 4, 315-331.
มาร์เซโลสิ้นเชิง Barcel'o ปาโบล, โรนัลด์ Fagin และ Leonid Libkin ปี 2004 การเปลี่ยนแปลงที่สอดคล้องกันทั้งในประเทศ
และการตอบแบบสอบถามในการแลกเปลี่ยนข้อมูล ในการดำเนินการของการประชุมวิชาการ ACM เกี่ยวกับหลักการของฐานข้อมูล
ระบบ (ฝัก) 229-240.
มาร์เซโลสิ้นเชิงปาโบล Barcel'o, Leonid Libkin และฆา Murlak 2010 เชิงสัมพันธ์และข้อมูล XML แลกเปลี่ยน.
มอร์แกนและ Claypool สำนักพิมพ์.
มาร์เซโลสิ้นเชิงปาโบล Barcel'o และ Juan L. Reutter 2011 ภาษาแบบสอบถามสำหรับการแลกเปลี่ยนข้อมูล: Beyond
สหภาพแรงงานของแบบสอบถามที่เชื่อมต่อ ทฤษฎี Comput ส 49, 2, 489-564.
สเตเดียมและมาร์เซโล Leonid Libkin 2008 การแลกเปลี่ยนข้อมูล XML: ความสอดคล้องและตอบแบบสอบถาม เจ ACM
55, 2.
มาร์เซโลสิ้นเชิง Jorge P'erez และคริสเตียน Riveros ปี 2009 การฟื้นตัวของการทำแผนที่คีมา: นำ
การแลกเปลี่ยนข้อมูลกลับ ACM ทรานส์ Datab ส 34, 4.
เดนิลสันแปจูเลียแฟรร์และอัลเบอร์ทุม Mendelzon ปี 2005 การออกแบบข้อมูลการทำแผนที่การรักษา
รูปแบบสำหรับ XML ในการประชุมวิชาการนานาชาติเกี่ยวกับฐานข้อมูลขนาดใหญ่มาก (VLDB).
109-120.
ปาโบล Barcel'o 2009 มูลนิธิตรรกะของการแลกเปลี่ยนข้อมูลเชิงสัมพันธ์ SIGMOD ระเบียน 38, 1, 49-58.
ปาโบล Barcel'o, Leonid Libkin, Antonella Poggi และคริสตินา Sirangelo 2010 XML ที่มีข้อมูลที่ไม่สมบูรณ์.
เจ ACM 58, 1, 4.
ไมเคิลดิก, Wenfei พัดลมและ Floris Geerts 2008 XPath satisfiability ในการปรากฏตัวของ DTDs เจ ACM
55, 2.
ฟิลิปเอสเตนและเซอร์เกย์ Melnik 2007 การจัดการรุ่น 2.0: การจัดการกับการแมปที่ดียิ่งขึ้น ใน
การประชุมวิชาการ SIGMOD 1-12.
เฮนริกBjörklund, Wim Martens และโธมัส Schwentick ปี 2008 การเพิ่มประสิทธิภาพคำสั่งเชื่อมต่อมากกว่าต้นไม้
โดยใช้ข้อมูลสคี ในการดำเนินการของการประชุมวิชาการนานาชาติเกี่ยวกับพื้นฐานทางคณิตศาสตร์
วิทยาศาสตร์คอมพิวเตอร์ (Mfcs) 132-143.
วารสาร ACM ฉบับ 61, ฉบับที่ 2, มาตรา 12, วันที่ประกาศ: เมษายน 2014.
XML Schema แมป: การแลกเปลี่ยนข้อมูลและการบริหารจัดการ Metadata 00:47
เฮนริกBjörklund, Wim Martens และโธมัส Schwentick 2011 บรรจุแบบสอบถามเยื่อตากว่าต้นไม้.
เจ คอมพิวเต ส วิทย์ 77, 3, 450-472.
Mikołaj Boja 'nczyk, Leszek ซานเดอKołodziejczykและฆา Murlak ปี 2013 โซลูชั่นในการแลกเปลี่ยนข้อมูล XML.
เจ คอมพิวเต ส วิทย์ 79, 6, 785-815.
Mikołaj Boja 'nczyk, Anca Muscholl โทมัส Schwentick และลัค Segoufin 2009 ตรรกะสองตัวแปรกับข้อมูล
ต้นไม้และเหตุผล XML เจ ACM 56, 3.
Rada Chirkova, Leonid Libkin และฆ Reutter 2012. แลกเปลี่ยน XMLDATA สอนง่ายผ่านทางความสัมพันธ์ พรมแดน
Comput วิทย์ 6, 3, 243-263.
ลอร่า Chiticariu และวังชิวตาล ปี 2006 การแก้จุดบกพร่องแมปสคีกับเส้นทาง ในการดำเนินการของ
การประชุมระหว่างประเทศเกี่ยวกับฐานข้อมูลขนาดใหญ่มาก (VLDB) 79-90.
แคลร์เดวิด 2008 ความซับซ้อนของรูปแบบต้นไม้ข้อมูลผ่าน XMLdocuments ในการดำเนินการของนานาชาติ
ประชุมวิชาการเกี่ยวกับมูลนิธิคณิตศาสตร์วิทยาการคอมพิวเตอร์ (Mfcs) 278-289.
แคลร์เดวิด Am'elie Gheerbrant, Leonid Libkin และ Martens Wim 2013. บรรจุของรูปแบบการใช้
คำสั่งในช่วงต้นข้อมูล ในการประชุมวิชาการนานาชาติเกี่ยวกับทฤษฎีฐานข้อมูล (ICDT).
201-212.
แคลร์เดวิด Leonid Libkin และฆา Murlak 2010 คำตอบบางอย่างสำหรับการค้นหา XML ในการดำเนินการของ
การประชุมวิชาการ ACM หลักการระบบฐานข้อมูล (ฝัก) 191-202.
โรนัลด์ Fagin, ลอร่าเมตรฮาส, เมาริซิโอเอ Hern'andez, Ren'ee เจมิลเลอร์, ลูเชีย Popa และ Yannis Velegrakis.
2009 คลีโอ: การสร้างการทำแผนที่ Schema และการแลกเปลี่ยนข้อมูล ในการสร้างแบบจำลองแนวคิด: ฐานรากและ
. การประยุกต์ใช้งาน, 198-236
โรนัลด์ Fagin, Phokion G. Kolaitis, Ren'ee เจมิลเลอร์และลูเชีย Popa ปี 2005 การแลกเปลี่ยนข้อมูลความหมายและ
ตอบแบบสอบถาม Theor คอมพิวเต วิทย์ 336, 1, 89-124.
โรนัลด์ Fagin, Phokion G. Kolaitis, ลูเชีย Popa, andWang ชิวตาล ปี 2004 ประกอบด้วย Schema แมป:
พึ่งพาสองเพื่อช่วย ในการดำเนินการของการประชุมวิชาการ ACM เกี่ยวกับหลักการของ
ระบบฐานข้อมูล (ฝัก) 83-94.
โรนัลด์ Fagin, Phokion G. Kolaitis, ลูเชีย Popa และชิววังตาล 2008 Quasi-แปรผกผันของสคี
แมป ACM ทรานส์ Datab ส 33, 2, 11: 1-11: 52.
Wenfei พัดลมและฟิลิป Bohannon ปี 2008 ข้อมูลการรักษาฝัง xmlschema ACMTrans Datab.
Syst 33 1.
Wenfei พัดลมและ Leonid Libkin 2002 ในการ จำกัด ของความสมบูรณ์ XML ในการแสดงตนของ DTDs เจ ACM 49, 3,
368-406.
Am'elie Gheerbrant, Leonid Libkin และโทนี่ตาล ปี 2012 กับความซับซ้อนของแบบสอบถามตอบมากกว่าไม่สมบูรณ์
เอกสาร XML ในการประชุมวิชาการนานาชาติเกี่ยวกับทฤษฎีฐานข้อมูล (ICDT).
169-181.
เฟรด Gottlob, คริสโคช์สและเคลาส์ U. ชัลส์ ปี 2006 คำสั่งเยื่อตากว่าต้นไม้ เจ ACM 53, 2,
238-272.
เฟรด Gottlob และปิแอร์ Senellart 2010 Schema การค้นพบการทำแผนที่จากกรณีข้อมูล เจ ACM 57, 2.
Andr'e Hernich, Leonid Libkin, และนิโคล Schweikardt ปี 2011 การแลกเปลี่ยนข้อมูลโลกปิด ACM ทรานส์.
Datab ส 36, 2, 14.
ม.ค. Hidders 2003 Satisfiability ของการแสดงออก XPath ในการดำเนินการของการประชุมวิชาการนานาชาติเกี่ยวกับการ
เขียนโปรแกรมฐานข้อมูลภาษา (DBPL) 21-36.
Phokion G. Kolaitis ปี 2005 แมปแบบแผนการแลกเปลี่ยนข้อมูลและการจัดการข้อมูลเมตา ในการดำเนินการของ
การประชุมวิชาการ ACM หลักการระบบฐานข้อมูล (ฝัก) 61-75.
Phokion G. Kolaitis, โจนาธาน Panttaja และชิววังตาล ปี 2006 ความซับซ้อนของการแลกเปลี่ยนข้อมูล ใน
การดำเนินการของการประชุมวิชาการ ACM หลักการระบบฐานข้อมูล (ฝัก) 30-39.
แฮร์รี่อาร์ลูอิส 1980 ผลการซับซ้อนสำหรับการเรียนของสูตร quantificational เจคอมพิวเต ส วิทย์ 21,
3, 317-353.
Leonid Libkin ปี 2006 การแลกเปลี่ยนข้อมูลและข้อมูลที่ไม่สมบูรณ์ ในการดำเนินการของการประชุมวิชาการ ACM บน
หลักการของระบบฐานข้อมูล (ฝัก) 60-69.
Leonid Libkin และคริสตินา Sirangelo ปี 2011 การแลกเปลี่ยนข้อมูลและ schemamappings ในโลกเปิดและปิด.
เจ คอมพิวเต ส วิทย์ 77, 3, 542-571.
ไชยันต์ธาและ Alon Halevy วาย 2003 แมปเขียนในหมู่แหล่งข้อมูล ในการดำเนินการของ
การประชุมระหว่างประเทศเกี่ยวกับฐานข้อมูลขนาดใหญ่มาก (VLDB) 572-583.
คซานเดอMądry ปี 2005 การแลกเปลี่ยนข้อมูลเกี่ยวกับความซับซ้อนของการตอบแบบสอบถามที่มีความไม่เท่าเทียมกัน แจ้ง.
กระบวนการ เลท 94, 6, 253-257.
บรูโน่ Marnette, Giansalvatore เมกกะเปาโล Papotti ซัลวาต Raunich และ Donatello ซาน 2011.
++ เผ็ด: OpenSource เครื่องมือสำหรับการทำแผนที่สคีรุ่นที่สองและการแลกเปลี่ยนข้อมูล พร VLDB 4,
12, 1438-1441.
วารสาร ACM ฉบับ 61, ฉบับที่ 2, มาตรา 12, วันที่ประกาศ:. เมษายน 2014
00:48 เอสอะมาโนะ et al.
Sergey Melnik, เฮคเตอร์การ์เซียโมลินาและศูนย์ Rahm ความคล้ายคลึงกันน้ำท่วมปี 2002: การจับคู่กราฟหลากหลาย
ขั้นตอนวิธีการและการประยุกต์ใช้การจับคู่สคี ในการประชุมวิชาการนานาชาติเรื่อง
วิศวกรรมข้อมูล (ICDE) 117-128.
Gerome Miklau และแดน Suciu 2004 บรรจุและความเท่าเทียมกันสำหรับส่วนของ XPath เจ ACM 51, 1,
2-45.
Tova ไมโลและ Sagit โซฮาร์ ปี 1998 การใช้การจับคู่คีมาเพื่อให้ง่ายต่อการแปลข้อมูลต่างกัน ใน
การประชุมวิชาการนานาชาติเกี่ยวกับฐานข้อมูลขนาดใหญ่มาก (VLDB) 122-133.
อลันแนช, ฟิลิป A. Bernstein, และเซอร์เกย์ Melnik 2007 องค์ประกอบของแมปที่ได้รับจากการฝังตัว
อ้างอิง ACM ทรานส์ Datab ส 32, 1, 4: 1-4:. 51
Christos Papadimitriou ปี 1994 การคำนวณซับซ้อน แอดดิสัน-เวสลีย์.
ฮาร์ด Pichler และเซบาสเตียน Skritek 2011 ความซับซ้อนของการประเมินอ้างอิงที่ก่อให้เกิด tuple.
ในการประชุมวิชาการนานาชาติเกี่ยวกับทฤษฎีฐานข้อมูล (ICDT) 244-255.
ลู Popa, Yannis Velegrakis, Ren'ee เจมิลเลอร์, เมาริซิโอเอ Hern'andez และโรนัลด์ Fagin 2002 แปล
ข้อมูลเว็บ ในการประชุมวิชาการนานาชาติเกี่ยวกับฐานข้อมูลขนาดใหญ่มาก (VLDB).
598-609.
ลัค Segoufin 2006 ออโตและตรรกะสำหรับคำและต้นไม้มากกว่าตัวอักษรที่ไม่มีที่สิ้นสุด วิทยาการคอมพิวเตอร์
ลอจิก (CSL), 41-57.
บอลเดสิบ Cate และ Phokion G. Kolaitis 2010 การตรวจสอบของโครงสร้างของภาษาสคีทำแผนที่.
Commun ACM 53, 1, 101-110.
ยดกงยูและลูเชีย Popa 2004 XML ข้อ จำกัด ที่ใช้เขียนแบบสอบถามเพื่อบูรณาการข้อมูล ในการดำเนินการ
ของการประชุม SIGMOD 371-382.
ที่ได้รับกันยายน 2012; ปรับปรุงสิงหาคม 2013 และตุลาคม 2013; ได้รับการยอมรับพฤศจิกายน 2013
การแปล กรุณารอสักครู่..
ผลลัพธ์ (ไทย) 3:[สำเนา]
คัดลอก!
under OWA. In the relational case, an anomaly is observed when the query involves
negation [Arenas et al. 2004; Fagin et al. 2005]. As a remedy to such unintuitive
behavior, the notion of solutions under CWA was proposed in Libkin [2006], further
extended in Afrati and Kolaitis [2008], Hernich et al. [2011], and Libkin and Sirangelo
[2011]. This direction is hardly explored for XML:มันไม่ได้ชัดเจนว่าจะกำหนด
ความคิดของความสุภาพเรียบร้อยใน XML บริบท
นอกจากนี้เรายังต้องการที่จะทำงานเพิ่มเติมเกี่ยวกับการดำเนินการใน schema แมป . เราต้องระบุชั้นเรียน
ธรรมชาติที่ปิดภายใต้องค์ประกอบ แต่เราไม่ทราบอะไรเกี่ยวกับมัน maximality
และเราไม่ได้รู้อะไรเกี่ยวกับการดำเนินงานอื่น ๆเช่นผกผัน
[ Arenas et al . 2009 ; เฟกิ้น et al .2008 ] หรือ [ และผสานงานเมลนิค 2007 ] และเรา
ต้องการขยายโครงสร้างและผลสิบเคท kolaitis [ 2010 ] จากการแมป XML ฐานข้อมูล
.

ภาคผนวกภาคผนวกอิเล็กทรอนิกส์อิเล็กทรอนิกส์สำหรับบทความนี้สามารถเข้าถึงได้ในห้องสมุดดิจิตอล ACM

ขอบคุณผู้เขียนขอขอบคุณความคิดเห็นที่ไม่ระบุชื่อสำหรับความคิดเห็นที่เป็นประโยชน์ของพวกเขา อ้างอิง

เพื่อน abiteboul , ปารีส kanellakis C ,และ G ตั้งซื้อ grahne . 1991 ในการเป็นตัวแทนและสอบถามชุด
ของโลกที่เป็นไปได้ theor . คอมพิวเตอร์ . สภาวะโลกร้อน 78 , 1 , 158 – 187 .
โฟโต้เอ็น afrati phokion กรัมและ kolaitis . 2008 ตอบแบบสอบถามแลกเปลี่ยนข้อมูล ในเรื่องของวิชาการ
ACM ในหลักการของระบบฐานข้อมูล ( ฝัก ) 129 - 138 .
shun'ichi อามาโนะ แคลร์ เดวิด ลีโอนิด libkin และฟิลิป murlak . 2010บนข้อเสียระหว่างการทำแผนที่
และสอบถามอำนาจใน XML ข้อมูลแลกเปลี่ยน ในการดำเนินการของการประชุมระหว่างประเทศเกี่ยวกับทฤษฎีฐานข้อมูล
( icdt ) 155 - 164 .
shun'ichi อามาโนะ ลีโอนิด libkin และฟิลิป murlak . 2009 schemamappings XML ในเรื่องของการประชุมสัมมนา ACM
บนหลักการของระบบฐานข้อมูล ( ฝัก ) 33 - 42 .
sihem AMER Yahia sungran , โช laks V . S . อาจมองเห็นได้ที่ และ divesh ศรีวัสทวา . 2002. Tree pattern query
minimization. VLDB J. 11, 4, 315–331.
Marcelo Arenas, Pablo Barcel´o, Ronald Fagin, and Leonid Libkin. 2004. LocAlly consistent transformations
and query answering in data exchange. In Proceedings of the ACM Symposium on Principles of Database
Systems (PODS). 229–240.
Marcelo Arenas, Pablo Barcel´o, Leonid Libkin, and Filip Murlak. 2010. Relational and XML Data Exchange.
Morgan & Claypool Publishers.
Marcelo Arenas, Pablo Barcel´o, and Juan L. Reutter. 2011. Query languages for data exchange: Beyond
unions of conjunctive queries. Theory Comput. Syst. 49, 2, 489–564.
Marcelo Arenas and Leonid Libkin. 2008. XML data exchange: Consistency and query answering. J. ACM
55, 2.
Marcelo Arenas, Jorge P´erez, and Cristian Riveros. 2009.การกู้คืนของไก่ตัวผู้ : นำ
แลกเปลี่ยนข้อมูลกลับ พลอากาศเอก trans . datab . ระบบ . 34 , 4 .
denilson บาร์โบซ่า จูเลียน่า Freire และล . mendelzon . 2005 การออกแบบข้อมูลรักษาแผนที่
โครงการ XML ในการดำเนินการของการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก ( vldb ) .
109 – 120 .
- O barcel ใหม่ 2552 รากฐานทางตรรกะของการแลกเปลี่ยนเชิงข้อมูล sigmod บันทึก 38 1, 49–58.
Pablo Barcel´o, Leonid Libkin, Antonella Poggi, and Cristina Sirangelo. 2010. XML with incomplete information.
J. ACM 58, 1, 4.
Michael Benedikt,Wenfei Fan, and Floris Geerts. 2008. XPath satisfiability in the presence of DTDs. J. ACM
55, 2.
Philip A. Bernstein and Sergey Melnik. 2007. Model management 2.0: manipulating richer mappings. In
Proceedings of the SIGMOD Conference. 1–12.
Henrik Bj¨orklund, Wim Martens, and Thomas Schwentick. 2008. Optimizing conjunctive queries over trees
using schema information. In Proceedings of the International Symposium on Mathematical Foundations
of Computer Science (MFCS). 132–143.
Journal of the ACM, Vol. 61, No. 2, Article 12, Publication date: April 2014.
XML Schema Mappings: Data Exchange and Metadata Management 12:47
Henrik Bj¨orklund,Wim Martens, and Thomas Schwentick. 2011. Conjunctive query containment over trees.
J. Comput. Syst. Sci. 77, 3, 450–472.
Mikołaj Boja ´ nczyk, Leszek Aleksander Kołodziejczyk, and Filip Murlak. 2013. Solutions in XML data exchange.
J. Comput. Syst. Sci. 79, 6, 785–815.
Mikołaj Boja ´ nczyk, Anca Muscholl, Thomas Schwentick, and Luc Segoufin. 2009. Two-variable logic on data
trees and XML reasoning. J. ACM 56, 3.
Rada Chirkova, Leonid Libkin, and Juan Reutter. 2012. Tractable XMLdata exchange via relations. Frontiers
Comput. Sci. 6, 3, 243–263.
Laura Chiticariu and Wang Chiew Tan. 2006. Debugging schema mappings with routes. In Proceedings of
the International Conference on Very Large Data Bases (VLDB). 79–90.
Claire David. 2008.ความซับซ้อนของรูปแบบต้นไม้ข้อมูลผ่าน xmldocuments . ในรายงานการประชุมทางวิชาการนานาทัศนะ
บนรากฐานทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์ ( MFCs ) 278 - 289 .
แคลร์ เดวิด เป็นใหม่ gheerbrant Elie , เลโอนิด libkin และวิมมาร์เทน . 2013 . การควบคุมรูปแบบตาม
แบบสอบถามผ่านต้นไม้ข้อมูล ในการดำเนินการของการประชุมระหว่างประเทศเกี่ยวกับทฤษฎีฐานข้อมูล ( icdt ) .
201 - 212 .
แคลร์ เดวิด Leonid Libkin, and Filip Murlak. 2010. Certain answers for XML queries. In Proceedings of
the ACM Symposium on Principles of Database Systems (PODS). 191–202.
Ronald Fagin, Laura M. Haas, Mauricio A. Hern´andez, Ren´ee J. Miller, Lucian Popa, and Yannis Velegrakis.
2009. Clio: Schema mapping creation and data exchange. In Conceptual Modeling: Foundations and
Applications, 198–236.
โรแนลด์ ฟาจิน phokion กรัม , kolaitis เรนใหม่ อี เจ มิลเลอร์ และ ลูเซียน โปปา . 2005 แลกเปลี่ยนข้อมูล : ความหมายและ
ถามตอบ theor . คอมพิวเตอร์ . สภาวะโลกร้อน 336 , 1 , 89 ) 124 .
โรแนลด์ ฟาจิน phokion กรัม , kolaitis , ลูเซียนโปปา andwang หน่วยงานราชการ , ตาล 2004 เขียน schema แมป :
คำสั่งการอ้างอิงเพื่อช่วยเหลือ ในเรื่องของการประชุม โดยในหลักการ
ระบบฐานข้อมูล ( ฝัก ) 83 - 94 .
โรนัลด์เฟกิ้น ,phokion กรัม kolaitis ลูเชียน โปปา และหน่วยงานราชการ , วังแทน 2008 ความตรงกันข้ามของ schema แมป
. พลอากาศเอก trans . datab . ระบบ . 33 , 2 , 11 : 1 - 11 : 52 .
แฟน wenfei และ Philip โบ นน . 2008 ข้อมูลการรักษา xmlschema ฝังตัว . acmtrans . datab .
SYST . 33 , 1 .
แฟน wenfei และ Leonid libkin . 2002 ความสมบูรณ์ใน XML ข้อจำกัดในการแสดงตนของ dtds . เจ ACM 49 3 , 368 – 406
.
ฉันใหม่ gheerbrant Elie , Leonid Libkin, and Tony Tan. 2012. On the complexity of query answering over incomplete
XML documents. In Proceedings of the International Conference on Database Theory (ICDT).
169–181.
Georg Gottlob, Christoph Koch, and Klaus U. Schulz. 2006. Conjunctive queries over trees. J. ACM 53, 2,
238–272.
Georg Gottlob and Pierre Senellart. 2010. Schema mapping discovery from data instances. J. ACM 57, 2.
Andr´e Hernich, Leonid Libkin, and Nicole Schweikardt. 2011. Closed world data exchange. ACM Trans.
Datab. Syst. 36, 2, 14.
Jan Hidders. 2003. Satisfiability of XPath expressions. In Proceedings of the International Symposium on
Database Programming Languages (DBPL). 21–36.
Phokion G. Kolaitis. 2005. Schema mappings, data exchange, and metadata management. In Proceedings of
the ACM Symposium on Principles of Database Systems (PODS). 61–75.
Phokion G. Kolaitis, Jonathan Panttaja, and Wang Chiew Tan. 2006. The complexity of data exchange. In
Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 30–39.
Harry R. Lewis. 1980. Complexity results for classes of quantificational formulas. J. Comput. Syst. Sci. 21,
3, 317–353.
Leonid Libkin. 2006. Data exchange and incomplete information. In Proceedings of the ACM Symposium on
Principles of Database Systems (PODS). 60–69.
Leonid Libkin and Cristina Sirangelo. 2011. Data exchange and schemamappings in open and closed worlds.
J. Comput. Syst. Sci. 77, 3, 542–571.
Jayant Madhavan and Alon Y. Halevy. 2003. Composing mappings among data sources. In Proceedings of
the International Conference on Very Large Data Bases (VLDB). 572–583.
Aleksander Ma¸dry. 2005. Data exchange: On the complexity of answering queries with inequalities. Inform.
Process. Lett. 94, 6, 253–257.
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti, Salvatore Raunich, and Donatello Santoro. 2011.
Spicy: An OpenSource tool for second-generation schema mapping and data exchange. Proc. VLDB 4,
12, 1438–1441.
Journal of the ACM, Vol. 61, No. 2, Article 12, Publication date: April 2014.
12:48 S. Amano et al.
Sergey Melnik, Hector Garcia-Molina, and Erhard Rahm. 2002. Similarity flooding: A versatile graph matching
algorithm and its application to schema matching. In Proceedings of the International Conference on
Data Engineering (ICDE). 117–128.
Gerome Miklau and Dan Suciu.2004 การบรรจุและการเป็นเบสของ XPath . เจ ACM 51 , 1
2 – 45 .
tova ไมโลและซาจิทโศหาร์ . 1998 โดยใช้รูปแบบการจับคู่เพื่อลดความซับซ้อนของการแปลข้อมูลที่แตกต่างกัน ใน
รายงานการประชุมทางวิชาการนานาชาติบนฐานข้อมูลขนาดใหญ่มาก ( vldb ) 122 – 133 .
อลันแนช , ฟิลิป . Bernstein และ Sergey เมลนิค . 2007 องค์ประกอบของการแมปให้โดย
การอ้างอิงแบบฝังตัว พลอากาศเอก trans .datab . ระบบ . 32 , 1 , 4 : 1 – 4:51 .
คริสตอฟ papadimitriou . 1994 ความซับซ้อนในการคำนวณ แอดดิสัน เวสลีย์ pichler
ไรน์ฮาร์ด และ เซบาสเตียน skritek . 2011 ความซับซ้อนของการประเมิน tuple สร้างการอ้างอิง .
ในการดําเนินการของการประชุมระหว่างประเทศเกี่ยวกับทฤษฎีฐานข้อมูล ( icdt ) 244 - 255
ลูเซียนโปปา Yannis velegrakis , เรนใหม่ อี เจ มิลเลอร์ , เมาริซิโอ เอ เอร์นันเดซ ใหม่ andez และโรนัลด์ เฟกิ้น . 2002
ข้อมูลจากเว็บ ในการดำเนินการของการประชุมนานาชาติในฐานข้อมูลขนาดใหญ่มาก ( vldb )
ฉัน– 75 .
ลุค segoufin . 2006 ออโตมาตาและตรรกะสำหรับคำและต้นไม้ผ่านตัวอักษรที่อนันต์ ใน
ตรรกะวิทยาศาสตร์คอมพิวเตอร์ ( CSL ) 41 - 57 .
Balder Cate สิบและ phokion กรัม kolaitis . 2010 การศึกษาคุณสมบัติทางโครงสร้างของไก่ตัวผู้ภาษา .
การสื่อสาร . พลอากาศเอก 53 1 , 101 - 110 .
กงยู และ ลูเซียน โปปา . 2004. Constraint-based XML query rewriting for data integration. In Proceedings
of the SIGMOD Conference. 371–382.
Received September 2012; revised August 2013 and October 2013; accepted November 2013
การแปล กรุณารอสักครู่..
 
ภาษาอื่น ๆ
การสนับสนุนเครื่องมือแปลภาษา: กรีก, กันนาดา, กาลิเชียน, คลิงออน, คอร์สิกา, คาซัค, คาตาลัน, คินยารวันดา, คีร์กิซ, คุชราต, จอร์เจีย, จีน, จีนดั้งเดิม, ชวา, ชิเชวา, ซามัว, ซีบัวโน, ซุนดา, ซูลู, ญี่ปุ่น, ดัตช์, ตรวจหาภาษา, ตุรกี, ทมิฬ, ทาจิก, ทาทาร์, นอร์เวย์, บอสเนีย, บัลแกเรีย, บาสก์, ปัญจาป, ฝรั่งเศส, พาชตู, ฟริเชียน, ฟินแลนด์, ฟิลิปปินส์, ภาษาอินโดนีเซี, มองโกเลีย, มัลทีส, มาซีโดเนีย, มาราฐี, มาลากาซี, มาลายาลัม, มาเลย์, ม้ง, ยิดดิช, ยูเครน, รัสเซีย, ละติน, ลักเซมเบิร์ก, ลัตเวีย, ลาว, ลิทัวเนีย, สวาฮิลี, สวีเดน, สิงหล, สินธี, สเปน, สโลวัก, สโลวีเนีย, อังกฤษ, อัมฮาริก, อาร์เซอร์ไบจัน, อาร์เมเนีย, อาหรับ, อิกโบ, อิตาลี, อุยกูร์, อุสเบกิสถาน, อูรดู, ฮังการี, ฮัวซา, ฮาวาย, ฮินดี, ฮีบรู, เกลิกสกอต, เกาหลี, เขมร, เคิร์ด, เช็ก, เซอร์เบียน, เซโซโท, เดนมาร์ก, เตลูกู, เติร์กเมน, เนปาล, เบงกอล, เบลารุส, เปอร์เซีย, เมารี, เมียนมา (พม่า), เยอรมัน, เวลส์, เวียดนาม, เอสเปอแรนโต, เอสโทเนีย, เฮติครีโอล, แอฟริกา, แอลเบเนีย, โคซา, โครเอเชีย, โชนา, โซมาลี, โปรตุเกส, โปแลนด์, โยรูบา, โรมาเนีย, โอเดีย (โอริยา), ไทย, ไอซ์แลนด์, ไอร์แลนด์, การแปลภาษา.

Copyright ©2024 I Love Translation. All reserved.

E-mail: