คำถามติดแท็ก relational-structures

1
มีความสัมพันธ์ระหว่างพีชคณิตเชิงสัมพันธ์ / แคลคูลัสและทฤษฎีหมวดหมู่หรือไม่?
ฉันตระหนักถึงวิธีการเชิงทฤษฎีอย่างน้อยสองวิธีในการทำความเข้าใจฐานข้อมูลเชิงสัมพันธ์: พีชคณิต / แคลคูลัสเชิงสัมพันธ์และทฤษฎีหมวดหมู่ มีความสัมพันธ์ระหว่างสองแนวทางนี้หรือไม่? พวกเขามีความรู้สึกที่เท่าเทียมกันบ้างไหม? มีงานเบื้องต้นอธิบายว่ากรอบงานทั้งสองอธิบายฐานข้อมูลเชิงสัมพันธ์ได้อย่างไร ข้อมูลประกอบ: ไม่นานมานี้ฉันอ่านทฤษฎีหมวดหมู่ของ David Spivak สำหรับนักวิทยาศาสตร์ซึ่งใช้เวลาค่อนข้างนานในการอภิปรายว่าจะใช้ทฤษฎีหมวดหมู่เพื่อทำความเข้าใจทฤษฎีฐานข้อมูลเชิงสัมพันธ์ได้อย่างไร อย่างไรก็ตามการมีประสบการณ์ส่วนตัวเล็กน้อยเกี่ยวกับฐานข้อมูลเชิงสัมพันธ์คืออะไรหรือเหตุใดจึงมีประโยชน์ในขณะนั้นฉันไม่ได้ชื่นชมความลึกของข้อมูลเชิงลึกที่พบในหนังสือ อย่างไรก็ตามเมื่อเร็ว ๆ นี้ผมได้เรียนรู้เกี่ยวกับSQLคำสั่งและสองRแพคเกจสำหรับการจัดการข้อมูล: dplyrและdata.table เห็นได้ชัดว่า SQL สามารถแสดงมากความคิดของของ Codd สัมพันธ์พีชคณิต / แคลคูลัส / รุ่น แต่ไม่ทั้งหมด นอกจากนี้ผู้เขียน dplyr นาย Hadley Wickham ได้กล่าวอย่างชัดเจนว่าปรัชญาของเขาที่มีพื้นฐานมาจากบรรจุภัณฑ์นั้นมาจากการทำงานของ Codd ในพีชคณิตเชิงสัมพันธ์และคำสั่งพื้นฐานของdata.table map ค่อนข้างดีสำหรับคำสั่งใน SQL และ dplyr ฉันยังรู้ว่าทฤษฎีหมวดหมู่มีอิทธิพลต่อโปรแกรมเมอร์จำนวนมากที่ใช้ภาษาโปรแกรมการทำงานเช่น Haskell แต่ฉันไม่ได้จริงๆตระหนักถึงการมีการใช้งานของโปรแกรมการทำงานสำหรับการจัดการข้อมูลหรือวิทยาศาสตร์ข้อมูลนอกเหนือจากฮัดลีย์วิคแฮมใด ๆpurrrแพคเกจสำหรับ R, ความจริงที่ว่าApache SparkถูกเขียนในScalaและเทคโนโลยีที่เกี่ยวข้องกับการMapReduce ทั้งหมดนี้แสดงให้ฉันเห็นว่าควรมีความสัมพันธ์ระหว่างทฤษฎีหมวดหมู่กับพีชคณิต / แคลคูลัสเชิงสัมพันธ์ของ …

6
คุณสมบัติระดับโลกของชั้นเรียนทางพันธุกรรม?
คลาสของโครงสร้างทางพันธุกรรม (เช่นกราฟ) เป็นสิ่งที่ถูกปิดภายใต้โครงสร้างย่อยที่เหนี่ยวนำหรือปิดอย่างเท่าเทียมกันภายใต้การกำจัดจุดสุดยอด คลาสของกราฟที่ยกเว้นผู้เยาว์มีคุณสมบัติที่ดีที่ไม่ขึ้นอยู่กับผู้เยาว์ที่ยกเว้น Martin Grohe แสดงให้เห็นว่าสำหรับคลาสกราฟที่ยกเว้นผู้เยาว์มีอัลกอริทึมพหุนามสำหรับ isomorphism และตรรกะจุดคงที่ที่มีการนับจับเวลาพหุนามสำหรับคลาสกราฟเหล่านี้ (Grohe การ กำหนดจุดคงที่และเวลาพหุนามบนกราฟที่มีผู้เยาว์ที่ไม่รวม LICS, 2010) สิ่งเหล่านี้ถือได้ว่าเป็นคุณสมบัติ "ทั่วโลก" มีคุณสมบัติ "ทั่วโลก" ที่คล้ายกันซึ่งเป็นที่รู้จักกันในชั้นเรียนทางพันธุกรรม (กราฟหรือโครงสร้างทั่วไปมากขึ้น)? มันจะเป็นการดีถ้าเห็นคำตอบแต่ละข้อเน้นไปที่คุณสมบัติเฉพาะอย่างใดอย่างหนึ่งเท่านั้น

3
ความก้าวหน้าล่าสุดในฐานข้อมูลเชิงสัมพันธ์คืออะไร?
ฉันสงสัยว่าความก้าวหน้าล่าสุดในทฤษฎีฐานข้อมูลเชิงสัมพันธ์และโดเมนที่เกี่ยวข้องคืออะไร ฉันสนใจวิธีการใหม่ ๆ , ภาษาคิวรี (ทางเลือกของ SQL และ / หรือส่วนขยายของมัน), ผลิตภัณฑ์ (กรรมสิทธิ์และโอเพ่นซอร์สแม้ว่าฉันจะสนใจโอเพนซอร์สมากขึ้น) และโครงการวิจัยที่พัฒนาในปีที่ผ่านมา

2
ทฤษฎีลำดับแรกของโครงสร้าง จำกัด มีขอบเขตของตัวระบุปริมาณหรือไม่?
ให้เป็นโครงสร้างที่ จำกัด ทฤษฎีลำดับแรกได้ จำกัด จำนวนตำแหน่งในแง่ที่ว่ามีเช่นนั้นสำหรับกับมีกับและ ?T : = T H ( ) Q ∈ N φ ∈ T Q R ( φ ) > Q φ ' ∈ T Q R ( φ ' ) ≤ Q φ ' ≡ φAA\mathfrak{A} T: = TH ( A )T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.