สามารถเชื่อมต่อแบบขนานได้หรือไม่?


9

สมมติว่าเราต้องการเข้าร่วมความสัมพันธ์สองเรื่องในภาคแสดง อยู่ใน NC หรือเปล่า

ฉันรู้ว่าการพิสูจน์ว่ามันไม่ได้อยู่ในอร์ทแคโรไลนาก็เท่ากับการพิสูจน์ว่าดังนั้นฉันจึงยอมรับหลักฐานว่ามันเป็นปัญหาแบบเปิดเป็นคำตอบPNC

ฉันสนใจกรณีทั่วไปและกรณีเฉพาะ (เช่นอาจมีโครงสร้างข้อมูลเฉพาะบางอย่างที่สามารถขนานกันได้)

แก้ไข: เพื่อนำคำชี้แจงบางอย่างจากความคิดเห็นมาไว้ในโพสต์นี้:

  • เราสามารถพิจารณา equijoin A.x=B.yโดย ในโปรเซสเซอร์เดียวอัลกอริทึมแบบแฮชจะทำงานในO(|A|+|B|)และนี่คือวิธีที่ดีที่สุดที่เราสามารถทำได้เนื่องจากเราต้องอ่านแต่ละชุด
  • ถ้าภาคแสดงเป็น "กล่องดำ" ที่เราต้องตรวจสอบแต่ละคู่จะมีคู่และแต่ละคนสามารถอยู่ในหรือไม่ดังนั้นความเป็นไปได้ การตรวจสอบแต่ละคู่แบ่งความเป็นไปได้ในช่วงครึ่งดังนั้นดีที่สุดที่เราสามารถทำได้คือ(AB)|A||B|2abO(ab)

สามารถเข้าร่วม (หรือประเภทที่สามบางส่วน) เหล่านี้เพื่อปรับปรุงเป็นในโปรเซสเซอร์หลายตัวได้หรือไม่?logkn


หากคำถามนี้ได้รับแรงบันดาลใจจากปัญหาการปฏิบัติโปรดจำไว้ว่า NC อาจไม่ใช่แนวคิดที่เหมาะสมที่สุดสำหรับ "ขนาน"
กราฟิลส์

@ ราฟาเอล: มันไม่ได้ แต่คุณสามารถเชื่อมโยงกับบางสิ่งบางอย่างเกี่ยวกับสาเหตุ? ฉันสามารถถามคำถามนี้เป็นคำถามแยกต่างหากหากเหมาะสมกว่า
Xodarap

มันไม่ชัดเจนสำหรับฉันในสิ่งที่คุณถาม ภาษาคิวรี่ฐานข้อมูลเชิงสัมพันธ์พื้นฐานที่คุณเพิ่มผู้ประกอบการเข้าร่วมนั้นคืออะไร? หรือคุณกำลังถามความซับซ้อนของข้อความค้นหาที่มีตัวดำเนินการเข้าร่วมเท่านั้น หรือคำถามที่แท้จริงของคุณคือไม่ว่าจะเป็นไปได้หรือไม่ที่จะเรียกใช้โอเปอร์เรเตอร์ "ขนาน" เพื่อให้เกิดความซับซ้อนของเวลา (คล้ายกับวิธีที่บอกว่าและสามารถทำได้พร้อมกัน) โปรดทราบว่า (ปลอดภัย) แบบสอบถาม SQL สอดคล้องกับ FOL (นับ)
Kaveh

หรือคุณกำลังถามว่าอะไรคือขอบเขตบนและล่างที่รู้จักกันดีที่สุด (คลาสความซับซ้อน) เกี่ยวกับความซับซ้อนในการคำนวณการเข้าร่วมของฐานข้อมูลเชิงสัมพันธ์ทั้งสองนั้นเป็นอินพุต
Kaveh

2
@Xodarap: คุณอาจพบคำตอบและความคิดเห็นเกี่ยวกับคำถามนี้ของฉันให้คำแนะนำ; ฉันรู้ว่าฉันทำ Kruskal et al. (1990)ก็อ่านดี
กราฟิลส์

คำตอบ:


1

n2โปรเซสเซอร์สามารถเปรียบเทียบความเป็นไปได้ทั้งหมดในระดับความลึกคงที่ดังนั้นใช่ใน NC(n2)


หากคุณจะใช้ OR ความลึกจะเป็นลอการิทึม
sdcvvc

@sdcvvc: ยุติธรรมเพียงพอ ที่สุดขีดคุณสามารถเข้ารหัส 3SAT ในแคลคูลัสเชิงสัมพันธ์ได้ดังนั้นผลลัพธ์นี้จะถือได้ต่อเมื่อการเลือกของคุณนั้นง่าย (เช่นเวลาคงที่)
Xodarap
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.