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 ทั้งหมดนี้แสดงให้ฉันเห็นว่าควรมีความสัมพันธ์ระหว่างทฤษฎีหมวดหมู่กับพีชคณิต / แคลคูลัสเชิงสัมพันธ์ของ …