Introduction to Datalog

Re:Introduction to Datalog by refset on Thursday February 16, 2023 @09:54AM (#34819400)

Agreed, my understanding is that Datalog has a distinct (though related) lineage that directly emerged from Prolog (i.e. logic programming, not relational algebra / database theory) - skimming the introduction of "Horn Clauses and the Fixpoint Query Hierarchy (1982)" seems to confirm this: https://dl.acm.org/doi/pdf/10.1145/588111.588137

[ Parent | on HN ]

Re:Introduction to Datalog by felixyz on Friday February 17, 2023 @06:10PM (#34841861)

Thanks!

[ Parent | on HN ]

Re:Introduction to Datalog by conor-23 on Monday February 20, 2023 @01:24AM (#34865536)

Yeah I'm not up on the Prolog history side of things. My info is based on the Wikipedia article for Fixed Point Logic: "Least fixed-point logic was first studied systematically by Yiannis N. Moschovakis in 1974,[1] and it was introduced to computer scientists in 1979, when Alfred Aho and Jeffrey Ullman suggested fixed-point logic as an expressive database query language.[2]" [2] = Universality of Data Retrieval Languages : https://dl.acm.org/doi/10.1145/567752.567763

[ Parent | on HN ]