We propose a new computational para

We propose a new computational paradigm for the eval-
uation of recursive Datalog queries, which is based on
a pushdown automaton (PDA) model. By extending to
these automata a dynamic programming technique de-
veloped for PDAs in context-free parsing, we obtain a
general and simple technique for constructing efficient
polynomial query evaluators.

Kết quả (Việt) 1:

Chúng tôi đề xuất một mô hình tính toán mới cho các eval-uation của đệ quy Datalog truy vấn, mà dựa trênmột mô hình automaton (PDA) pushdown. Bằng cách mở rộng đểCác automata một năng động lập trình kỹ thuật de-veloped cho PDA trong bối cảnh miễn phí phân tích, chúng tôi có được mộtkỹ thuật nói chung và đơn giản để xây dựng efficientthẩm định đa thức truy vấn.

Kết quả (Việt) 2:

Chúng tôi đề xuất một mô hình tính toán mới cho các eval-
uation truy vấn Datalog đệ quy, mà là dựa trên
một (PDA) mô hình đẩy xuống máy tự động. Bằng cách mở rộng
các thiết bị tự động kỹ thuật lập trình năng động de-
veloped cho PDA trong phân tích bối cảnh tự do, chúng ta có được một
kỹ thuật nói chung và đơn giản để xây dựng e ffi cient
đánh giá truy vấn đa thức.