3
个编辑
Pimgeek
于2020年4月3日 (星期五)加入
建立内容为“== What You Always Wanted to Know About Datalog (And Never Dared to Ask) == Abstract-Datalog is a database query language based on the logic programming paradigm…”的新页面
== What You Always Wanted to Know About Datalog (And Never Dared to Ask) ==
Abstract-Datalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied over the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods. Finally, we discuss various exhancements of Datalog, currently under study, and indicate what is still needed in order to extend Datalog’s applicability to the solution of real-life problems. The aim of this paper is to provide a survey of research performed on Datalog, also addressed to those members of the database community who are not too familiar with logic programming concepts.
Index Terms-Deductive databases, logic programming, recursive queries, relational databases, query optimization.
Abstract-Datalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied over the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods. Finally, we discuss various exhancements of Datalog, currently under study, and indicate what is still needed in order to extend Datalog’s applicability to the solution of real-life problems. The aim of this paper is to provide a survey of research performed on Datalog, also addressed to those members of the database community who are not too familiar with logic programming concepts.
Index Terms-Deductive databases, logic programming, recursive queries, relational databases, query optimization.